Results 121 to 130 of about 464,671 (149)
Some of the next articles are maybe not open access.
Modeling Control Flow in WS-BPEL with Chu Spaces
International Journal of Information Systems in the Service Sector, 2011This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present a Chu spaces process algebra. This algebra allows faults to be thrown at any point of execution and take
Xutao Du +3 more
openaire +3 more sources
Behavioral Consistency Measurement and Analysis of WS-BPEL Processes
2013With the development of services and cloud computing, service-based business processes (e.g., WS-BPEL processes) are paid more attention by practitioners. Business parties usually keep their BPEL processes in a process repository. In order to facilitate the retrieval, maintenance, and reuse of BPEL processes in the repository, we need an appropriate ...
Xuewei Zhang +5 more
openaire +2 more sources
Choreography Design Using WS-BPEL.
IEEE Data Eng. Bull., 2008Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an agreed standard to describe the behavior of a single process (WS-BPEL), there is no agreed standard to describe choreographies.
Kopp, Oliver, Leymann, Frank
openaire +1 more source
Model-Checking Behavioral Specification of BPEL Applications
Electronic Notes in Theoretical Computer Science, 2006Shin Nakajima
exaly
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming, 2007Wil van der Aalst +2 more
exaly
Hierarchical verification of WS-BPEL
2014 International Computer Science and Engineering Conference (ICSEC), 2014openaire +1 more source
Modeling and Analysis of the Execution Context in WS-BPEL
2009 2nd International Conference on Computer Science and its Applications, 2009Zhao Wu +4 more
openaire +1 more source