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
Objective: Acquiring ability in developing Paradigm models, both for “normal” coordination and for self-adaptive situations. Getting some experience with formal model verification.
*Material: * Transparencies, papers, reports
Remarks: Active involvement, student presentations