We investigate three approaches describing models of business processes: the OMG
standard BPMN in its recent version 2.0, the workflow patterns of the Workflow Pattern …

Modeling languages are concerned with providing techniques and tool support for the
design, synthesis and analysis of the models resulting from a given modeling activity, this …

The design and verification of distributed software systems is often hindered by their ever-
increasing complexity and their asynchronous operational semantics. This article considers …

One of the key interests in web services is the ability to compose them in order to build more
powerful and complex ones running in an interoperable and distributed setting. Several …

One of the key interests in web services is the ability to compose them in order to build more
powerful and complex ones running in an interoperable and distributed setting. Several …

All software systems execute within an environment or context. Reasoning about the correct
behavior of such systems is a ternary relation linking the requirements, system and context …

In this paper we describe our experience in applying the Event-B formalism for specifying
the dynamic semantics of a real-life industrial DSL. The main objective of this work is to …

Several languages for describing Web service compositions, like BPEL (Business Process
Execution Language), make use of fault and compensation constructs to handle internal …

The ability to compose existing services to provide more complex features is one of the main
benefits of Service Oriented Architecture (SOA). This services composition process …

Abstract The Web Services Choreography Description Language (WS-CDL) is an XML-
based language that describes web service composition in the view point of choreography …