IA163 Model Driven Development for Service Oriented Platforms

Fakulta informatiky
podzim 2008
Rozsah
20. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
Dr. Georg Jung (přednášející), prof. RNDr. Luboš Brim, CSc. (zástupce)
Ing. Radka Brolíková (pomocník)
RNDr. Zdenko Staníček, Ph.D. (pomocník)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luboš Brim, CSc.
Rozvrh
Po 24. 11. 18:00–19:50 C511, Út 25. 11. 8:00–9:50 B011, Čt 27. 11. 12:00–15:50 A104, Pá 28. 11. 14:00–17:50 B011, Po 1. 12. 16:00–19:50 A104, Út 2. 12. 8:00–9:50 B011, Čt 4. 12. 18:00–19:50 B411, Pá 5. 12. 12:00–15:50 B116
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 19 mateřských oborů, zobrazit
Cíle předmětu
The class follows two parallel and synergetic threads that elucidate themes in (1) Model Driven Design (MDD) and service oriented development (2) Formal verification of service oriented design Further, the class is accompanied by an example project which puts the concepts communicated in both threads into practice.
Osnova
  • (1) MDD and applications: - introduction to MDD - overview over the aspects of modeling - distinction between simple, model-based, design (MBD) and extreme model driven design (XMDD) - discussion on the extent to which MDD ideals are implemented in current approaches (eg., UML) - introduction of a service-oriented modeling/development paradigm together with the jABC tool and its advantages for XMDD - construction of a practical model that includes the use of web-services as modeling elements (2) Verification: - validation/verification of service-oriented models - introduction/recapitulation of calculi/formalisms for the description of temporal properties and Model Checking (MC) - application of these formalisms to verify the example model using different actual model checkers (built-in in the jABC and accessed as remote services)
Vyučovací jazyk
Angličtina
Další komentáře
Předmět je vyučován jednorázově.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2008/IA163