A Formalization and Transformation Method of UML Model

Abstract

The UML (Unified Modeling Language) language uses the graphical representation for a system, which has been widely used as an industrial standard in software engineering. However, many UML concepts are based on informal semantics, it is difficult to achieve accurate definitions of target models. On the basis of the existing TEGG grammar, this paper extends the TEGG to construct a formal method for UML state diagrams, and proposes productions for the transformation from UML state diagrams to TEGG graphs. Finally, a case is shown to illustrate the implementation of the proposed method.