π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
A key aspect of the design of any software system is its architecture. An architecture description, from a runtime perspective, provides a formal representation of the architecture in terms of its components and connectors, their ports and behaviours, and how they are composed together. In the past...
| Published in: | Software engineering notes. 31, 2 (2006). |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Subjects: |