Process algebra
Handbook of Process Algebra
Operational Semantics for Coordination in Paradigm
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A formal approach to software architecture
A formal approach to software architecture
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
TITAN: a Framework for Aspect Oriented System Evolution
ICSEA '07 Proceedings of the International Conference on Software Engineering Advances
Integrating a formal method into a software engineering process with UML and Java
Formal Aspects of Computing
Paradigm as Organization-Oriented Coordination Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolution on-the-fly with paradigm
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards dynamic adaptation of probabilistic systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
| Hi-index | 0.00 |
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.