The objective of the proposed PhD research is to investigate and contribute in the area of rigorous/formal modeling of SWS (Semantic Web Service) composition, using a multi-layer approach that takes advantage of e.g. logic-based, process algebraic and petri-net based formalisms. Roughly, the composition problem for SWSs is (a) the problem of recognition of an appropriate integration pattern and...

Business-to-Business integration (B2Bi) as a core concept of Supply Chain Management (SCM) is a key success factor for enterprises today. Frequently, choreography models are used for agreeing about the overall message exchanges among integration partners while executable orchestration models derived from the choreography govern the local message flow of each individual participant. Today, ebXML...

The Web Services Choreography Description Language (WS-CDL) is a specification of W3C developed for the description of peer-to-peer collaborations of participants from a global viewpoint. For the rigorous definition and tools support for the language, the formal semantics of WS-CDL is worth investigating. This paper proposes a small language CDL as a formal model of simplified WSCDL, which incl...

WS-CDL is a choreography language that describes peer-to-peer collaborations of participants by defining their common and complementary observable behaviors from a global viewpoint. The main use of a choreography description is to precisely define the sequence of interactions between a set of cooperating web services in order to promote a common understanding between participants and to make it...

Methods for service specification should be simple and intuitive. At the same time they should be precise and allow early validation and detection of inconsistencies. UML 2.0 collaborations enable a systematic and structured way to provide overview of distributed services, and decompose cross-cutting service behaviour into features and interfaces by means of collaboration-uses. To fully take ad...

The Future Internet envisions a ubiquitous world where available services can be easily discovered and coordinated so as to fit users needs. Service choreographies will play a central role in this vision as an effective means to allow heterogeneous services to suitably collaborate. This deliverable defines the CHOReOS Dynamic Development Process Model by refining and completing the artefacts/ac...

Today, service-oriented architectures (SOA) can be used for supporting the implementation of cross-organizational workflows with autonomous and heterogeneous participants. In this context, the concept of choreographies is well established, introducing a new viewpoint on interacting services. A choreography model describes interactions from the perspective of an ideal observer who is able to see...

In this paper we describe our ongoing work in developing a choreography for IRS-III. IRS-III is a framework and platform for developing WSMO based semantic web services. Our choreography framework is based on the KADS system-user co-operation model and distinguishes between the direction of messages within a conversation and which actor has the initiative. The implementation of the framework is...

In this paper we briefly describe the challenges related to Serviceoriented computing (SOC). SOC is a novel architectural approach to building complex applications in terms of composition of simple services. A number of challenges arise from the need of coordinating the composed services. We describe approaches based on service orchestration and on service choreography. We also introduce coordi...