A new formalism for mathematical description and verification of component-based systems
The Journal of Supercomputing
A new formalism for describing concurrent systems
ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking
Hi-index | 0.00 |
In this article we contribute to the issue of documenting architectural description with UML. Describing the architecture of a software system using UML notations is a tricky task due to the lack of explicit support for architectural description concepts. Thus, we try to define a strategy to map any ADL into UML, particularly UML 2.0. Our strategy is based on constructing a meta ADL that next can be mapped into MOF. We show how this strategy can be used by mapping COSA architectural description concepts into UML 2.0.