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 …

BPMN collaboration models have acquired increasing relevance in software development
since they shorten the communication gap between domain experts and IT specialists and …

Business Process Model and Notation is known as a widely used standard for business
processes modeling. However, its main drawback is that it lacks formal semantics, leading to …

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

In order to improve the flexibility of information systems, an increasing amount of business
processes is being automated by implementing tasks as modular services in service …

We present a new declarative model with composition and hierarchical definition of
processes, featuring (a) incremental refinement,(b) adaptation of processes, and (c) dynamic …

Concurrent business processes frequently suffer from mutual interference, especially in
highly distributed service environments, where resources are shared among different …

Purpose Business process (BP) reengineering is defined as reinventing BPs either
structurally or technically to achieve dramatic improvements in performance. In any business …

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 …

A wealth of techniques have been developed to help organizations understand their
processes, verify correctness against requirements and diagnose potential problems. In …