Recent approaches to service-oriented systems engineering start by capturing the interactions between services from the perspective of a global observer, leading to so-called service choreographies. The rationale is that such choreographies allow stakeholders to agree on the overall structure and behaviour of the system prior to developing new services or adapting existing ones. However, existi...

Service Oriented Architecture (SOA) is a paradigm for developing distributed and heterogeneous software applications within and across organizational boundaries. Choreography is a coordination model of SOA in which service collaborations to achieve a common goal are described from global point of view. One of the most important issues in SOA is identifying required services and their interfaces...

Application of service-oriented architecture, which builds the entire system by a combination of independent software components, to a wide variety of computer systems is expected. The problem to synthesize state machine models of the services from a communication diagram representing the overall specifications of service interaction is known as the choreography realization problem. It should b...

Application of service-oriented architecture, in which the entire system is built by a combination of independent software components, to a wide variety of computer systems is expected. The problem to synthesize state machine models of the services from a communication diagram representing the overall specifications of service interaction is known as the choreography realization problem. It sho...

Application of service-oriented architecture, which builds the entire system by a combination of independent software components, to a wide variety of computer systems is expected. The problem to synthesize state machine models of the services from a communication diagram representing the overall specifications of service interaction is known as the choreography realization problem. It should b...

Composite services commonly expose the choreography of message exchanges realized by their constituent services through appropriate descriptions and interfaces. Such information is very useful in deciding whether a composite service fully meets the behavioral requirements of a specific application or not. However, expressing behavioral requirements towards a service is currently a challenging t...

Web Services technologies are a natural candidate for Business-to-Business integration (B2Bi). For crossorganizational processes, the concepts of “choreography” and “orchestration” are important. The term choreography denotes a model of a global view over message exchange scenarios, whereas the term orchestration focuses on models of the local implementation. While WS-BPEL is already kind of a ...

A typical problem of the research area on Service-Oriented Architectures is the composition of a set of existing services with the aim of executing a complex task. The selection and composition of the services are based on a description of the services themselves and can exploit an abstract description of their interactions. Interaction protocols (or choreographies) capture the interaction as a...

This paper describes the research activities carried out in the context of the Italian MIUR Project PRIN 2005 “Specification and verification of agent interaction protocols”, concerning the area of modeling, verification and reasoning about web services. Web services are an emergent paradigm for implementing business collaborations over the web. Each service has an interface that is accessible ...

Process choreographies are part of daily business. While the correct ordering of exchanged messages can be modeled and enacted with current choreography techniques, no approach exists to describe and automate the exchange of data between processes in a choreography using messages. This paper describes an entirely model-driven approach for BPMN introducing a few concepts that suffice to model da...