IA163 Model Driven Development for Service Oriented Platforms

Faculty of Informatics
Autumn 2008
Extent and Intensity
0/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
Dr. Georg Jung (lecturer), prof. RNDr. Luboš Brim, CSc. (deputy)
Ing. Radka Brolíková (assistant)
RNDr. Zdenko Staníček, Ph.D. (assistant)
Guaranteed by
prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Luboš Brim, CSc.
Timetable
Mon 24. 11. 18:00–19:50 C511, Tue 25. 11. 8:00–9:50 B011, Thu 27. 11. 12:00–15:50 A104, Fri 28. 11. 14:00–17:50 B011, Mon 1. 12. 16:00–19:50 A104, Tue 2. 12. 8:00–9:50 B011, Thu 4. 12. 18:00–19:50 B411, Fri 5. 12. 12:00–15:50 B116
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
there are 19 fields of study the course is directly associated with, display
Course objectives
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.
Syllabus
  • (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)
Language of instruction
English
Further comments (probably available only in Czech)
The course is taught only once.
Information on the extent and intensity of the course: 20.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2008/IA163