FI:IA163 Model Driven Development - Informace o předmětu
IA163 Model Driven Development for Service Oriented Platforms
Fakulta informatikypodzim 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