A framework for transforming, analyzing, and realizing software designs in unified modeling language

Abstract

Dong, Zhijiang, "A framework for transforming, analyzing, and realizing software designs in unified modeling language" (2006 and industrial production quality tool support. However, there is a lack of precise definition of the semantics of individual UML notations as well as the relationships among multiple UML models, which often introduces incomplete and inconsistent problems for software designs in UML, especially for complex systems. Furthermore, there is a lack of methodologies to ensure a correct implementation from a given UML design. The purpose of this investigation is to verify and validate software designs in UML, and to provide dependability assurance for the realization of a UML design.In my research, an approach is proposed to transform UML diagrams into a semantic domain, which is a formal component-based framework. The framework Iproposed consists of components and interactions through message passing, which are modeled by two-layer algebraic high-level nets and transformation rules respectively.In the transformation approach, class diagrams, state machine diagrams and activity vi