Vanwege het Corona virus is het nog onduidelijk hoe het onderwijs precies verzorgd gaat worden. Zie voor de actuele informatie de betreffende vakpagina’s op Blackboard/Brightspace.

Studiegids

nl en

Seminar Coordination and Self-Adaptation

Vak
2010-2011

Goal

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.

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.

Examination

Research report or oral exam.

Material

Papers, reports.

Remarks

Active involvement, assignments, student presentations.