Prospectus

nl en

Seminar Coordination and Self-Adaptation

Course
2012-2013

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.