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

Ausführliche Beschreibung

Bibliographische Detailangaben
Veröffentlicht in:	Software engineering notes. 31, 1 (2006).
1. Verfasser:	Oquendo, Flavio
Format:	Artikel
Sprache:	English
Schlagworte:	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.