Generating Maude Specifications from UML Interaction Overview Diagrams: A Graph Transformation Based Approach

UML Interaction Overview Diagrams (IODs) are newly introduced in the second generation of UML to define interactions through a variant of activity diagrams in a way that promotes overview of the control flow. However, IODs lack a firm semantics which decrease the quality of system models produced and lead to difficulties in automatic analysis and verification. In this paper, we propose an automatic translation of UML 2.0 Interaction Overview Diagrams (IODs) into rewriting logic Maude Language. Maude is used as a formal notation for specifying models and their firm semantics make models analysis and simulation easier. The approach is based on Graph Transformation and the Meta-Modeling tool AToM3 is used. The approach is illustrated through an example.