In the last years we are observing a growing interest in verification of business process
models that, despite their lack of formal characterization, are widely adopted in industry and …

In this chapter we present an Abstract State Machine (ASM) ground model designed to
rigorously specify the semantics of Business Process Model and Notation (BPMN) Process …

CONTEXT: The Business Process Model and Notation (BPMN) standard informally defines a
precise execution semantics. It defines how process instances should be updated in a …

Business Process Modelling has acquired increasing relevance in software development.
Available notations, such as BPMN, permit to describe activities of complex organisations …

Data protection legislation requires personal data to be collected and processed only for
lawful and legitimate purposes. Unfortunately, existing protection mechanisms are not …

The BPMN standard has a huge uptake in modelling business processes within the same
organisation or collaborations involving multiple interacting participants. It is widely …

The use of business process models has gone far beyond documentation purposes. In the
development of business applications, they can play the role of an artifact on which high …

We present the first direct formalization of the semantics of inclusive gateways as described
in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal …

BPMN collaboration models are commonly used to describe the behaviour and interactions
of processes in an inter-organisational context. An important role in this kind of models is …

This paper presents a formalization of a subset of the BPMN 2.0 execution semantics in
terms of graph rewrite rules. The formalization is supported by graph rewrite tools and …