This paper presents an approach to describe business process in production systems using workflow concepts. In this sense, we define an extension of the UML activity diagram called workflow activity ...

This paper presents a new event-B based approach to reasoning about workflow applications. We show how an event-B model can be structured from UML Activity diagrams (UML AD) and then used to give a ...

Transformation from UML activity diagram to a formal workflow language YAWL (Yet Another Workflow Language) by implementing set of model transformation types and mapping rules in order to bridge ...

M. Dumas and A. H. M. ter Hofstede, “UML Activity Diagrams as a Workflow Specification Language,” In M. Gogolla and C. Kobryn, Eds., UML 2001—The Unified Modeling Language, 4th International ...

UML 2.0 activity diagrams (ADs) are largely used as a modeling language for flow-oriented behaviors in software and business processes. Unfortunately, their place/transition operational semantics is ...