A UML Profile to Support the Formal Presentation of Software Architecture

Authors:
Amjad Hudaib;Carlo Montangero
Affiliations:
-;-
Venue:
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Year:
2002

Citing 0
Cited 1

Validating UML models against architectural profiles

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an UML profile that accommodates the specialized dynamic models that support the Oikos_adtl approach to software architecture. The profile reflects some core modeling Oikos_adtl concepts in the UML framework. We propose the related notations and diagrams, which map into the new models. Since we rely on the standard UML extension mechanisms, we are also setting the requirements for add-ins to the standard UML tools, to support our approach to the formal specification and analysis of software architectures.