Testing BPEL-based Web Service Composition Using High-level Petri Nets

2006 ◽  
Author(s):  
Wen-li Dong ◽  
Hang Yu ◽  
Yu-bing Zhang
Keyword(s):  
Petri Nets ◽  
Web Service ◽  
Service Composition ◽  
Web Service Composition ◽  
High Level

scholarly journals A Comparative Study of Web Service Composition via BPEL and Petri Nets

2014 ◽  
Vol 6 (2) ◽  
pp. 110-113 ◽  
Author(s):  
Mohammad Salah Uddin ◽  
S. Ripon ◽  
Nakul C. Das ◽  
Orin Hossain
Keyword(s):  
Comparative Study ◽  
Petri Nets ◽  
Web Service ◽  
Service Composition ◽  
Web Service Composition

Automatic Web service composition based on Horn clauses and Petri nets

2011 ◽  
Vol 38 (10) ◽  
pp. 13024-13031 ◽  
Author(s):  
Xianfei Tang ◽  
Changjun Jiang ◽  
Mengchu Zhou
Keyword(s):  
Petri Nets ◽  
Web Service ◽  
Service Composition ◽  
Web Service Composition ◽  
Horn Clauses

MoSCoE: AN APPROACH FOR COMPOSING WEB SERVICES THROUGH ITERATIVE REFORMULATION OF FUNCTIONAL SPECIFICATIONS

2008 ◽  
Vol 17 (01) ◽  
pp. 109-138 ◽  
Author(s):  
JYOTISHMAN PATHAK ◽  
SAMIK BASU ◽  
ROBYN LUTZ ◽  
VASANT HONAVAR
Keyword(s):  
Web Service ◽  
Service Composition ◽  
Web Service Composition ◽  
Programming Environment ◽  
Transition Systems ◽  
Infinite Domains ◽  
Functional Specification ◽  
Key Features ◽  
High Level ◽  
Goal Specification

We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) to start with a high-level, possibly incomplete specification of a desired (goal) service that is to be realized using a subset of the available component services. These services are represented using labeled transition systems augmented with guards over variables with infinite domains and are used to determine a strategy for their composition that would realize the goal service functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach.

Web Service Composition Based on Petri Nets: Review and Contribution

2013 ◽  
pp. 83-122 ◽  
Author(s):  
Yudith Cardinale ◽  
Joyce El Haddad ◽  
Maude Manouvrier ◽  
Marta Rukoz
Keyword(s):  
Petri Nets ◽  
Web Service ◽  
Service Composition ◽  
Web Service Composition
Sign in / Sign up

Export Citation Format

Share Document