Date and Time: Thursday, 22 October 2009, 15:45 - 16:45

Location: HG 6.96

Speaker: Suzana Andova (FM)

Title: Dynamic Consistency in Process Algebra: From Paradigm to ACP

Abstract:

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various levels of abstraction. To enable automated verification of Paradigm models, a translation of Paradigm into process algebra is provided. Examples are given and guidelines for a systematic translation into the process algebra are discussed. Verification results building on the mCRL2 toolset will be presented as well.

(joint work with Luuk Groenewegen (LIACS, Leiden University) and Erik de Vink)