Admission requirements
will follow
Description
The seminar addresses a link between two active research fields in computer science: coordination and adaptive systems. The link consists of the Paradigm-McPal tandem.Paradigm is a coordination modeling language, transition-system-based.Coordination is specified per collaboration as a protocol configured from component roles. Protocols are of two types: orchestration, with additional conductor(s) driving it; choreography, without any conductor. Characteristic for Paradigm is, it has operational semantics guaranteeing within any component of a Paradigm model: vertical dynamic consistency between ongoing component dynamics and ongoing role dynamics. McPal is a special, pattern-like component, written in Paradigm. In its hibernating form, McPal can be added to any Paradigm model, to enable later, originally unforeseen change of the model. Such changes range from alignment and improvement to aspect-weaving, reorganization, evolution and drastic swing. Characteristic for McPal is, change is realized through migration coordination, on-the-fly of ongoing system and component dynamics, without temporary halting or quiescence of system parts. Via process algebra translation of a Paradigm model, model analysis and model verfication can be carried out through theorem proving by hand and through automated model checking. Thus, formal analysis of migration trajectories can be undertaken.
Course objectives
Acquiring insight in and experience with coordination modeling language Paradigm. Understanding of architectural component McPal, a pattern for coordinating on-the-fly self-adaptation from a Paradigm model towards an originally unforeseen new model. Acquiring some experience with modeling coordination of self-adaptation. Basic understanding of Paradigm’s operational semantics and of a process algebra translation of Paradigm models enabling model checking of such models.
Timetable
The most recent timetable can be found at the LIACS website
Mode of instruction
will follow
Assessment method
Research report or oral exam.
Reading list
Papers, reports.
Registration
You have to sign up for classes and examinations (including resits) in uSis. Check this link for more information and activity codes.
There is a limited capacity for students from outside the master Computer Science programme. Please contact the study-advisor.
Contact information
Study coordinator Computer Science, Riet Derogee
Remarks
Active involvement, assignments, student presentations.