Abstr act. When set of basic web service is built, the next step is to create more complex one. A programmatic approach uses declarative language such as BPEL. This kind of representation is verbose and needs assistance for the creation of business process. We defined a generative strategy leading by formal specification. Because, web service composition languages use standard operators like se...

This paper presents results of the analysis of security-relevant semantics of business processes being defined by WS-BPEL (Web Services Business Process Execution Language, BPEL for short) scripts. In particular, security issues arising when such scripts defining cross-organisational business processes on top of Web services are deployed across security domain boundaries, give rise to this inve...

Web services paradigm is allowing applications to electronically interact with one another over the Internet. BPEL facilitates this interaction by providing a platform with which Web services can be integrated. Using RobustBPEL-1, we demonstrated how an aggregate Web service, defined as a BPEL process, can be instrumented automatically to monitor its partner Web services at runtime and replace ...

Web services have become the leading technology in business processes management. Business Process Execution Language (BPEL), the standard technology to compose services, assumes a single "orchestrator" that controls the execution flow and coordinates the interactions with selected services. Once its specification has been developed, the composite service may be orchestrated either in a central...

WS-BPEL, or simply BPEL (Business Process Execution Language), is becoming a de facto standard for web services composition. It is natural to anticipate that the compositions are performed dynamically by a large number of end-users. However, the current process technology based on central process engines impedes the adoption of BPEL for this purpose. We propose an approach to execution of BPEL ...

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...

BPEL is the de facto standard for business process modeling in today’s enterprises and is a promising candidate for the integration of business and scientific applications that run in Grid or Cloud environments. In this paper, selected components of BPEL4Grid, a scientific workflow system for developing service-oriented Grid applications based on BPEL, are presented. The focus of the paper is o...

In this paper, we show how Web services descriptions can be extended with simple declarative behavior specification using interface expressions, a form of regular expressions that describe the possible sequences of externally observable events that a WS-BPEL process can perform. We describe how a concrete (executable) WS-BPEL process can be monitored with respect to such interface expressions, ...

Business processes constitute an integral part of today’s IT applications. They contain transactions as essential building blocks to ensure integrity and all-or-nothing behavior. The Business Process Execution Language is the dominant standard for modeling and execution of business processes in a Web service environment. BPEL itself contains a transaction model based on compensation, that descr...

Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the Bpel language. The discrete-time transition systems modeling the behavior of Bpel descriptions are obtained by an exhaustive si...