Transformation of UML State Machine To YAWL

Nowadays the variety and complexity of applications arise the requirement for the creation of new flexible models that are more complex than the existing models. The transformation between models becomes more important. Several approaches of model transformation are proposed for the Unified Modeling Language (UML) that aim to make models more formal and abstract. In our paper, we present a transformation from the basic components of the UML state machine diagram to a formal workflow language YAWL. This transformation simplifies the semantics of the state machine diagram via a mapping to YAWL, which makes the verification and analysis of state machine models easier and provides a chance to operationalize the model.