A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams

Unified modeling language (UML) is a standardized modeling language enabling to specify, construct and document artifacts of a software system based on graphical notations. However, UML lacks a firm semantics which reduces the quality of system models produced and leads to difficulties in automatic analysis and verification. In this paper, we propose an automatic translation from UML 2.0 Interaction Overview Diagrams (IOD) into Maude rewriting logic 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.