Title :
A UML profile to support the formal presentation of software architecture
Author :
Hudaib, Amjad ; Montangero, Carlo
Author_Institution :
Dipt. di Inf., Pisa Univ., Italy
Abstract :
We present a 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.
Keywords :
formal specification; software architecture; specification languages; Oikos_adtl approach; UML profile; formal presentation; formal specification; software architecture; Computer architecture; Connectors; Electrical capacitance tomography; Large-scale systems; Logic; Performance analysis; Performance gain; Software architecture; Unified modeling language; Visualization;
Conference_Titel :
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International
Print_ISBN :
0-7695-1727-7
DOI :
10.1109/CMPSAC.2002.1044555
