Results 1 - 10
of
132,155
A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN
- 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
Formal Semantics and Analysis of Control Flow in WS-BPEL
- 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 30 (5 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
A formal account of WS-BPEL
"... We introduce Blite, a lightweight language for web services orchestration designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers. Blite formal presentation helps clarifying some amb ..."
Abstract
-
Cited by 15 (3 self)
- Add to MetaCart
We introduce Blite, a lightweight language for web services orchestration designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers. Blite formal presentation helps clarifying some
The Application of Petri Nets to Workflow Management
, 1998
"... Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the ..."
Abstract
-
Cited by 522 (61 self)
- Add to MetaCart
the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis
Towards modelling WS-BPEL using ws-calculus
"... 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
- 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
"... 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
A WSDL-based type system for WS-BPEL
- IN COORDINATION, LNCS 4038
, 2006
"... 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 f ..."
Abstract
-
Cited by 4 (3 self)
- Add to MetaCart
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
Analysis of the WS-BPEL 2.0 standard using standard-driven implementation
"... 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 Structural Approach to Operational Semantics
, 1981
"... Syntax of a very simple programming language called L. What is abstract about it will be discussed a little here and later at greater length. For us syntax is a collection of syntactic sets of phrases; each set corresponds to a different type of phrase. Some of these sets are very simple and can be ..."
Abstract
-
Cited by 1541 (3 self)
- Add to MetaCart
Syntax of a very simple programming language called L. What is abstract about it will be discussed a little here and later at greater length. For us syntax is a collection of syntactic sets of phrases; each set corresponds to a different type of phrase. Some of these sets are very simple and can
Results 1 - 10
of
132,155