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

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:	Software engineering notes. 31, 1 (2006).
Tác giả chính:	Oquendo, Flavio
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	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.