This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Internet and Web Applications and Services (ICIW'07)
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Morne, Mauritius
May 13-May 19
ISBN: 0-7695-2844-9
ASCII Text
x 
 
Maurice ter Beek, Antonio Bucchiarone, Stefania Gnesi, "Web Service Composition Approaches: From Industrial Standards to Formal Methods," Internet and Web Applications and Services, International Conference on, pp. 15, Second International Conference on Internet and Web Applications and Services (ICIW'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICIW.2007.71,
author = {Maurice ter Beek and Antonio Bucchiarone and Stefania Gnesi},
title = {Web Service Composition Approaches: From Industrial Standards to Formal Methods},
journal ={Internet and Web Applications and Services, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2844-9},
pages = {15},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2007.71},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Internet and Web Applications and Services, International Conference on
TI - Web Service Composition Approaches: From Industrial Standards to Formal Methods
SN - 0-7695-2844-9
SP
EP
A1 - Maurice ter Beek,
A1 - Antonio Bucchiarone,
A1 - Stefania Gnesi,
PY - 2007
KW - null
VL - 0
JA - Internet and Web Applications and Services, International Conference on
ER -
 
Maurice ter Beek, Istituto di Scienza e Tecnologie dell'Informazione, Italy
Antonio Bucchiarone, Istituto di Scienza e Tecnologie dell'Informazione, Italy
Stefania Gnesi, Istituto di Scienza e Tecnologie dell'Informazione, Italy
Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approaches range from practical languages aspiring to become standards (like BPEL, WS-CDL, OWL-S and WSMO) to theoretical models (like automata, Petri nets and process algebras). In this paper we compare these approaches w.r.t. a selected set of characteristics (like trust, security and performance) and we advocate the use of formal models, and their tool support, to increase one?s confidence in web service compositions. This paper can assist web service composition designers and developers to deliver lasting solutions, in concordance with the technology?s critical needs.
Citation:
Maurice ter Beek, Antonio Bucchiarone, Stefania Gnesi, "Web Service Composition Approaches: From Industrial Standards to Formal Methods," iciw, pp.15, Second International Conference on Internet and Web Applications and Services (ICIW'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.