Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Style-based refinement for software architecture
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Communication and Concurrency
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A brief history of process algebra
Theoretical Computer Science - Process algebra
A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
| Hi-index | 0.00 |
The complexity of interactions governing the coordination of loosely-coupled services, which forms the core of current software, brought behavioural issues up to the front of architectural concerns. This paper takes such a challenge seriously by lifting typical behaviour modelling techniques to the specification of both types and instances of architectural patterns in which the later ones are connected by ports that behave according to a water flow metaphor. A specific language is introduced for this purpose as well as a translator to mCRL2 so that the simulation and analysis techniques available in the corresponding toolset can be used to reason about (the behavioural layer of) software architectures. The approach is illustrated in a few examples.