Petri nets: an introduction
Communications of the ACM
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
SOCCA: Specifications of Coordinated and Cooperative Activities
Software process modelling and technology
Three logics for branching bisimulation
Journal of the ACM (JACM)
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Coordination models and languages as software integrators
ACM Computing Surveys (CSUR)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Introduction to Process Algebra
Introduction to Process Algebra
Handbook of Process Algebra
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Parallel Control Processes: Modular Parallelism and Communication
Intelligent Autonomous Systems, An International Conference
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
ACM Transactions on Software Engineering and Methodology (TOSEM)
Team automata for spatial access control
ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work
Integrating a formal method into a software engineering process with UML and Java
Formal Aspects of Computing
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecting Security with Paradigm
Architecting Dependable Systems VI
Architectural Prototyping: From CCS to .Net
Electronic Notes in Theoretical Computer Science (ENTCS)
Delegation modeling with paradigm
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Behavioural models for hierarchical components
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Evolution on-the-fly with paradigm
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
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
Distributed adaption of dining philosophers
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
| 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. The operational semantics of Paradigm is given. For a large, general subclass of Paradigm models a translation into process algebra is provided. Once expressed in process algebra, relying on a correctness result, Paradigm models are amenable to process algebraic reasoning and to verification via the mCRL2 toolset. Examples of a scheduling problem illustrate the approach.