Formally modelling software architectures with the UML 2.0 profile for π-ADL.

Formally modelling software architectures with the UML 2.0 profile for π-ADL.

A key aspect of the design of any software system is its architecture. An architecture description, from a runtime perspective, should provide a formal model of the architecture in terms of components and connectors, their ports and behaviours, and how they are composed together. The Unified Modelli...

Full description

Bibliographic Details
Published in:Software engineering notes. 31, 1 (2006).
Main Author: Oquendo, Flavio
Format: Article
Language:English
Subjects:
Software.
Software engineering.
Software architectures.
Languages (e.g., description, interconnection, definition).
Software / Program Verification.
Model checking.
Programming languages.
Language classifications.
Object oriented languages.
Computing methodologies.
Simulation and modeling.
Model development.
Modeling technologies.
Design.
Languages.
Theory.
π-ADL.
UML 2.0 profile.
Architecture description language.
Software architecture modelling.