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

Descripción completa

Detalles Bibliográficos
Publicado en:	Software engineering notes. 31, 1 (2006).
Autor principal:	Oquendo, Flavio
Formato:	Artículo
Lenguaje:	English
Materias:	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.