• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 132,155
Next 10 →

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

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

by Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
"... 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

by W.M.P. Van Der Aalst , 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

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

A WSDL-based type system for WS-BPEL

by Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi - 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

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 Structural Approach to Operational Semantics

by G. D. Plotkin , 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
Next 10 →
Results 1 - 10 of 132,155
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2018 The Pennsylvania State University