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

Deskribapen osoa

Xehetasun bibliografikoak
Argitaratua izan da:	Software engineering notes. 31, 1 (2006).
Egile nagusia:	Oquendo, Flavio
Formatua:	Artikulua
Hizkuntza:	English
Gaiak:	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.