π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.

π-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...

詳細記述

書誌詳細
出版年:Software engineering notes. 31, 2 (2006).
第一著者: Mateescu, Radu
フォーマット: 論文
言語:English
主題:
Software.
Software Engineering.
Software architectures.
Languages (e.g., description, interconnection, definition).
Requirements / Specifications.
Domain-specific architectures.
Design.
Languages.
Architectural analysis languages.
Formal development techniques.
Property specification.
Property verification.