4 Recently, the term Web services orchestration has been introduced to address some issues related to Web services composition, 5 that is the way of defining a complex service out of simpler ones. Several proposals for describing orchestration for business 6 processes have been presented in the last years and many of these languages make use of concepts as long-running transactions and 7 compen...

Recently, the term Web services orchestration has been introduced to address some issues related to Web services composition, that is the way of defining a complex service out of simpler ones. Several proposals for describing orchestration for business processes have been presented in the last years and many of these languages make use of concepts as long-running transactions and compensations ...

An approach to system specification defined by the Model-Driven Architecture (MDA) separates the specification of system functionality from the specification of the implementation of that functionality on a specific platform. To this end, the MDA proposes a framework for transforming a model into another model of the same system. The framework can also be used to transform a model into code for...

In previous work, we proposed the prototype environment SNet for the representation and dynamic evaluation of agent-based designs for inter-organizational networks. A key feature of SNet is the automatic translation of extended i* models into the action language ConGolog. An issue we have not yet considered is how to arrive at the foundational and hopefully realistic i* model. Currently there i...

In the world of Web services composition languages, Business Process Execution Language for Web Services (BPEL or BPEL4WS), proposed by major vendors such as BEA, IBM or Microsoft has become the standard. However, its definition has not been formalized and this is penalizing for verification of correct behaviour of business processes. Several works have been dedicated to this purpose. Petri net...

The Web Service Choreography Description Language (WSCDL) is a novel specification for describing multiple party collaboration based on web services from a global point of view. WS-CDL is designed to be used in conjunction with the Web Services Business Process Execution Language (WS-BPEL or BPEL), but up to now work on conceptual mappings between both languages is missing. This paper closes th...

The workflow of enterprises usually involves the integration of multiple applications from various systems. To lower the difficulty of integration, Enterprise Integration Patterns could be helpful. Each pattern poses a specific design problem, discusses the considerations surrounding the problem, and presents an elegant solution that balances the various forces. The BPEL language is used to mod...

The OASIS WS-BPEL 2.0 standard language for Web Service composition eases the creation of advanced services based on others. However, its dynamic and asynchronous nature presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyses execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composi...