loading...
Composing Web Services with PEWS: A Trace-Theoretical Approach
Zurich, Switzerland December 04-December 06
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.12Fourth IEEE European Conference on We ...
 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 
 
Cheikh Ba, Mirian Halfeld Ferrari, Martin A. Musicante, "Composing Web Services with PEWS: A Trace-Theoretical Approach," Web Services, European Conference on, pp. 65-74, Fourth IEEE European Conference on Web Services (ECOWS'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ECOWS.2006.12,
author = {Cheikh Ba and Mirian Halfeld Ferrari and Martin A. Musicante},
title = {Composing Web Services with PEWS: A Trace-Theoretical Approach},
journal ={Web Services, European Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2737-X},
pages = {65-74},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.12},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Web Services, European Conference on
TI - Composing Web Services with PEWS: A Trace-Theoretical Approach
SN - 0-7695-2737-X
SP65
EP74
A1 - Cheikh Ba,
A1 - Mirian Halfeld Ferrari,
A1 - Martin A. Musicante,
PY - 2006
KW - null
VL - 0
JA - Web Services, European Conference on
ER -
 
Cheikh Ba, Universite Francois-Rabelais de Tours, France; BRGM, France
Mirian Halfeld Ferrari, Universite Francois-Rabelais de Tours, France
Martin A. Musicante, Universidade Federal do Rio Grande do Norte, Brazil
PEWS^1 is an interface description language for both individual and composed web services. Individual web services are expressions over WSDL-defined operations while composed web services are expressions over PEWS-defined services. This paper distinguishes two dimensions of PEWS. The control dimension describes the control workflow of the service, i.e. the order in which the operations of the web service will be executed. No data constraints are imposed. The data dimension adds information flow to the control dimension. In order to analyse the composability and the substitutability of composed services, we introduce a trace-theoretical presentation of the language constructs. Our long-term goal is to integrate PEWS into a web service design system that checks useful properties of the service specification.
Citation:
Cheikh Ba, Mirian Halfeld Ferrari, Martin A. Musicante, "Composing Web Services with PEWS: A Trace-Theoretical Approach," ecows, pp.65-74, Fourth IEEE European Conference on Web Services (ECOWS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.