Process Modelling Languages

This Chapter looks at process modelling languages by first discussing control flow patterns. The meaning of these patterns is expressed by properties of process instances using these patterns. A metamodel is used to specify the semantics of control flow patterns. An important part of this book deals with process modelling techniques and notations. The most important ones are discussed in a concise manner, including Petri nets, event-driven process chains, workflow nets, YAWL, and the modelling elements of the Business Process Model and Notation (BPMN), which are related to process orchestrations. Sections on directly follows graphs and declarative approaches to modelling business processes complete this chapter.