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

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Software engineering notes. 31, 1 (2006).
المؤلف الرئيسي:	Oquendo, Flavio
التنسيق:	مقال
اللغة:	English
الموضوعات:	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.