loading...
Automatic Analysis of Control Flow inWeb Services Composition Processes
Naples, Italy February 07-February 09
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PDP.2007.2715th Euromicro International Conferen ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, "Automatic Analysis of Control Flow inWeb Services Composition Processes," Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, pp. 299-306, 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/PDP.2007.27,
author = {Giusy Di Lorenzo and Francesco Moscato and Nicola Mazzocca and Valeria Vittorini},
title = {Automatic Analysis of Control Flow inWeb Services Composition Processes},
journal ={Parallel, Distributed, and Network-Based Processing, Euromicro Conference on},
volume = {0},
year = {2007},
issn = {1066-6192},
pages = {299-306},
doi = {http://doi.ieeecomputersociety.org/10.1109/PDP.2007.27},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
TI - Automatic Analysis of Control Flow inWeb Services Composition Processes
SN - 1066-6192
SP299
EP306
A1 - Giusy Di Lorenzo,
A1 - Francesco Moscato,
A1 - Nicola Mazzocca,
A1 - Valeria Vittorini,
PY - 2007
KW - null
VL - 0
JA - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
ER -
 
Giusy Di Lorenzo, Universita di Napoli Federico II, Italy
Francesco Moscato, Seconda Universita di Napoli, Italy
Nicola Mazzocca, Universita di Napoli Federico II, Italy
Valeria Vittorini, Universita di Napoli Federico II, Italy
Composition of web services is of great interest to support business-to-business collaboration and provide value added services with desired properties or capabilities. Nevertheless, the standard languages used to create business processes from composite web services lack of formal definition of their semantics and tools to support the analysis of a business process. In this paper we provide a practical approach to formal verification of BPEL4WS executable processes. A syntax-driven operational semantics for BPEL4WS is introduced and an automatic verifier is presented in order to perform a semantic analysis of the flow constructs used in the definition of BPEL4WS processes.
Citation:
Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, "Automatic Analysis of Control Flow inWeb Services Composition Processes," pdp, pp.299-306, 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.