Goal
Acquiring ability in developing Paradigm models, both for “normal” coordination and for self-adaptive situations. Getting some experience with formal model verification.
Description
Behaviour behaviour expresses global dynamics of more detailed behaviour. The coordination specification language Paradigm offers behaviour behaviour based on two notions: a subprocess expressing a phase of the more detailed behaviour; a connecting trap expressing a final stage of a subprocess and overlapping with a next subprocess. A Paradigm model thus architectures the detailed dynamics of components on suitable global levels corresponding to the various relevant collaborations. In addition, coordination for such a collaboration is specified. All this is done in a consistent manner. On the basis of operational semantics such a coordination can be analysed. Furthermore, the same notions of subprocess and connecting trap serve as a basis for extending Paradigm’s operational semantics, such that JIT-modelling (Just-In-Time) and self-adaptation can be expressed in a well-structured and analysable manner.
Examination
Oral
Material
Transparencies, papers, reports
Remarks
Active involvement, student presentations