When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions are defined on nested ’scopes’ that group activities, this requires a model of nested compensation–based transactions. The model must enable the automatic determination of compensation order by considering not only th...

We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WSDL and WS-BPEL, two of the most used XML-based standard languages for web services. We focus on a simplified fragment of WS-BPEL sufficiently expressive to model asynchronous interactions among web services in a network context. We present this langua...

In recent years, there has been an ever increasing acceptance of WS-BPEL as a standard language for orchestration of web services. However, there are still some well-known difficulties that make programming in WS-BPEL a tricky task. In this paper, we firstly point out major loose points of the WS-BPEL specification by means of many examples, some of which are also exploited to test and compare ...

In today’s companies, business processes are increasingly supported by IT systems. They can be implemented as service orchestrations, for example in WS-BPEL, running on Business Process Management (BPM) systems. A service orchestration implements a business process by orchestrating a set of services. These services can be arbitrary IT functionality, human tasks, or again service orchestrations....

We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WS-BPEL, one of the most used XML-based standard languages for web services. We focus on a subset of WS-BPEL sufficiently expressive to model the interactions among web service instances in a network context. We present this language as a process calcul...

Changing business environments are forcing organizations to develop flexible and adaptable enterprise systems. To accomplish this and to solve associated systems integration issues, many are moving towards web service technology. Two key ingredients of web services based solution are service composition and service choreography. While there has been lot of advancement in respect to service comp...

In this paper, we address the challenge of deriving both, executable WSBPEL processes and their respective WSDL interface specifications from choreographies written in WS-CDL for business processes in Virtual Organizations (VOs). The major issues hereby are the differences in the vocabulary of WS-CDL andWSBPEL as well as the information gap between a choreography and an executable orchestration...

We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL. To this aim, first we select an expressive subset of WS-BPEL, with special concern for modeling the interactions among web service instances in a network context, and define its oper...

Using biocomposites containing wheat straw (WS) and synthetic polymers like polyethylene (PE) has gained tremendous popularity, but its application in the packaging industry is not substantial. Due to the prevalence of raw WS color which manifests itself in the WS/LDPE biocomposite, the present investigation is dedicated to fabricate a bleached WS/LDPE composite. Thus, raw WS and the pulp of WS...

P. Niblett S. Graham The OASIS Web Services Notification (WSN) family of specifications defines a standard interoperable protocol through which Web services can disseminate events. We present here a summary of three WSN specification documents that are currently available: WS-Base Notification, WS-Topics, and WS-Brokered Notification. We conclude with a brief discussion on the use of the notifi...