Results 1 - 10 of 117,401

A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN

by Niels Lohmann - In WS-FM 2007, LNCS , 2007
"... Abstract. We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics to a ..."
Abstract - Cited by 73 (22 self) - Add to MetaCart
Abstract. We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics

Towards modelling WS-BPEL using ws-calculus

by Ro Lapadula, Rosario Pugliese, Francesco Tiezzi
"... Abstract. 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 lan-guages for web services. We focus on a subset of WS-BPEL sufficiently expressive to model the ..."
Abstract - Add to MetaCart
extend the ws-calculus to define an operational semantics for a more complete set of WS-BPEL functionalities. Keywords:

BPELscript: A Simplified Script Syntax for WS-BPEL 2.0

by Marc Bischof, Oliver Kopp, Tammo van Lessen, Frank Leymann - 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2009) , 2009
"... Business processes are usually modeled using graphical notations such as BPMN. As a first step towards execution as workflow, a business process is transformed to an abstract WS-BPEL process. Technical details required for execution are added by an IT expert. While IT experts expect Java-like syntax ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Business processes are usually modeled using graphical notations such as BPMN. As a first step towards execution as workflow, a business process is transformed to an abstract WS-BPEL process. Technical details required for execution are added by an IT expert. While IT experts expect Java

A standard-driven implementation of WS-BPEL 2.0

by Tim Hallwyl, Fritz Henglein, Thomas Hildebrandt
"... We present a systematic study of the WS-BPEL 2.0 standard based on two complementary methods: the process of constructing a new high-level WS-BPEL implementation driven by the structure of the standard, and an empirical evaluation of existing interpretations of the standard reflected in five widely ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
We present a systematic study of the WS-BPEL 2.0 standard based on two complementary methods: the process of constructing a new high-level WS-BPEL implementation driven by the structure of the standard, and an empirical evaluation of existing interpretations of the standard reflected in five widely

Analysis of the WS-BPEL 2.0 standard using standard-driven implementation

by Tim Hallwyl, Fritz Henglein, Thomas Hildebr
"... Abstract. We present a systematic study of the OASIS WS-BPEL 2.0 standard (henceforth simply called BPEL) based on two complementary methods: the process of constructing a new high-level BPEL implementation driven by the structure of the standard, and an empirical evaluation of existing interpretati ..."
Abstract - Add to MetaCart
Abstract. We present a systematic study of the OASIS WS-BPEL 2.0 standard (henceforth simply called BPEL) based on two complementary methods: the process of constructing a new high-level BPEL implementation driven by the structure of the standard, and an empirical evaluation of existing

A formal semantics for the ws-bpel recovery framework - the pi-calculus way

by Nicola Dragoni, Manuel Mazzara - In WS-FM’09 , 2009
"... Abstract. While current studies on Web services composition are mostly focused — from the technical viewpoint — on standards and protocols, this work investigates the adoption of formal methods for dependable composition. The Web Services Business Process Execution Language (WS-BPEL) — an OASIS sta ..."
Abstract - Cited by 8 (7 self) - Add to MetaCart
Abstract. While current studies on Web services composition are mostly focused — from the technical viewpoint — on standards and protocols, this work investigates the adoption of formal methods for dependable composition. The Web Services Business Process Execution Language (WS-BPEL) — an OASIS

From AUML to WS-BPEL

by Viviana Mascardi , 2001
"... The Web Services (WS) technology is currently gaining a wider and wider consensus. The features that characterise WSs, namely heterogeneity, distribution, openness, highly dynamic interactions, are some among the key characteristics of another emerging technology, that of intelligent agents and Mult ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
infrastructure. Based on our claim, we suggest to use an agentoriented extension of UML 2.0 named AUML to model agent interaction protocols, and a business protocol execution language for WSs named WS-BPEL, to publish the specification of these protocols on the Web. To demonstrate the feasibility of our approach

Formal Semantics and Analysis of Control Flow in WS-BPEL

by Chun Ouyang, Eric Verbeek, Wil M. P. Van Der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. Ter Hofstede - PROGRAMMING 67(2/3):PP. 162-198. © COPYRIGHT 2007 ELSEVIER , 2007
"... Web service composition refers to the creation of new (Web) services by combining functionality provided by existing ones. A number of domain-specific languages for service composition have been proposed with consensus being formed around a process-oriented language known as WS-BPEL (or BPEL). The ..."
Abstract - Cited by 31 (6 self) - Add to MetaCart
Web service composition refers to the creation of new (Web) services by combining functionality provided by existing ones. A number of domain-specific languages for service composition have been proposed with consensus being formed around a process-oriented language known as WS-BPEL (or BPEL

Choreography Design Using WS-BPEL

by Oliver Kopp, Frank Leymann - BULLETIN OF THE IEEE COMPUTER SOCIETY TECHNICAL COMMITTEE ON DATA ENGINEERING , 2008
"... Web 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 choreogra ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
Web 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

AFormalSemanticsforthe WS-BPEL Recovery Framework The π-Calculus Way

by Nicola Dragoni, Manuel Mazzara
"... Abstract. While current studies on Web services composition are mostly focused — from the technical viewpoint — on standards and protocols, this work investigates the adoption of formal methods for dependable composition. The Web Services Business Process Execution Language (WS-BPEL) — an OASIS sta ..."
Abstract - Add to MetaCart
Abstract. While current studies on Web services composition are mostly focused — from the technical viewpoint — on standards and protocols, this work investigates the adoption of formal methods for dependable composition. The Web Services Business Process Execution Language (WS-BPEL) — an OASIS
Results 1 - 10 of 117,401