Choreographies are contracts specifying from a global point of view the legal interactions
that must take place among a set of services. Such a contract may serve as a reference in …

Business processes support the design and implementation of software as workflows of
local and inter-organisation activities. Tools provide the business process designer with …

The BPMN 2.0 standard is nowadays largely used to model distributed informative systems
in both academic and industrial contexts. The notation makes possible to represent these …

The BPMN standard notation allows business process designers to model both intra-
organizational processes and inter-organizational collaborations. A great effort has been …

BPMN is suitable to model not only intra-organization workflows but also inter-organization
collaborations. There has been a great effort in providing a formal semantics for BPMN, and …

Verification of business processes typically relies on Petri net–based process models. While
they allow for natural modeling and analysis of aspects such as parallelism and message …

A customizable web service is a service that enables service consumers to dynamically
determine variants of the service they receive. Provisioning customizable services helps to …

Abstract The Business Process Model and Notation (BPMN BPMN) is the standard notation
for modeling business processes. It relies on a workflow-based language that allows for the …

Service-oriented engineering is an emerging software development paradigm for distributed
collaborative applications. Services are developed independently and are composed to …

Nowadays web services composition that presents capabilities in response to customers'
complex requirements has a special importance in real businesses. However, service …