From UML 2 Sequence Diagrams to State Machines by Graph Transformation.

Abstract

Algebraic graph transformation has been promoted by several authors as a means to specify model transformations. This paper explores how we can specify graph transformation-based rules for a classical problem of transforming from sequence diagrams to state machines. The specifica-tion of the transformation rules is based on the concrete syntax of sequence diagrams and state machines. We introduce tailored transformation sup-port for sequence diagrams and a novel graphical operator to match and transform combined fragments.