loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06)
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques
Guadeloupe, French Caribbean
February 19-February 25
ISBN: 0-7695-2522-9
ASCII Text
x 
 
Gregorio Diaz, M. Emilia Cambronero, Juan J. Pardo, Valentin Valero, Fernando Cuartero, "Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques," Advanced International Conference on Telecommunications / Internet and Web Applications and Services, International Conference on, pp. 186, Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/AICT-ICIW.2006.53,
author = {Gregorio Diaz and M. Emilia Cambronero and Juan J. Pardo and Valentin Valero and Fernando Cuartero},
title = {Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques},
journal ={Advanced International Conference on Telecommunications / Internet and Web Applications and Services, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2522-9},
pages = {186},
doi = {http://doi.ieeecomputersociety.org/10.1109/AICT-ICIW.2006.53},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Advanced International Conference on Telecommunications / Internet and Web Applications and Services, International Conference on
TI - Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques
SN - 0-7695-2522-9
SP
EP
A1 - Gregorio Diaz,
A1 - M. Emilia Cambronero,
A1 - Juan J. Pardo,
A1 - Valentin Valero,
A1 - Fernando Cuartero,
PY - 2006
KW - null
VL - 0
JA - Advanced International Conference on Telecommunications / Internet and Web Applications and Services, International Conference on
ER -
 
Gregorio Diaz, Univ. of Castilla La Mancha, Spain
M. Emilia Cambronero, Univ. of Castilla La Mancha, Spain
Juan J. Pardo, Univ. of Castilla La Mancha, Spain
Valentin Valero, Univ. of Castilla La Mancha, Spain
Fernando Cuartero, Univ. of Castilla La Mancha, Spain
In previous work we have presented the generation of WS-CDL and WS-BPEL documents. In this paper we show the unification of both generations. The aim is to generate correct WS-BPEL skeleton documents from WS-CDL documents by using the Timed Automata as an intermediary model in order to check the correctness of the generated Web Services with Model Checking Techniques. The model checker used is UPPAAL, a well known tool in theoretical and industrial cases that performs the verification and validation of Timed Automata. Note that our interest is focused on Web services where the time constraints play a critical role.
Citation:
Gregorio Diaz, M. Emilia Cambronero, Juan J. Pardo, Valentin Valero, Fernando Cuartero, "Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques," aict-iciw, pp.186, Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.