Deriving workflow enactment rules from UML activity diagrams: a case study

In the last years, there has been a growing interest in enhancing the semantics of UML diagrams to automatically derive executable process models. We present a case study of mapping UML activity diagrams with object flow onto the process modeling language of a distributed process support system called GENESIS. UML activity diagrams do not support all the GENESIS control flow and dataflow rules. As a consequence, the syntax and semantics of this type of UML diagrams need to be enriched to make them suitable for process modeling in GENESIS.