Formally modelling software architectures with the UML 2.0 profile for pi-ADL

Abstract

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 Modelling Language (UML) is widely used in the design of software… (More)
DOI: 10.1145/1108768.1108773

23 Figures and Tables

Topics

  • Presentations referencing similar topics