| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422241 | Electronic Notes in Theoretical Computer Science | 2009 | 18 Pages |
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 ACP are discussed. Verification results building on the mCRL2 toolset are presented as well.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
