Design and verification of web services compositions in the telecommunication domain

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 1214-1215

  Bertoli, Piergiorgio ^a   Moiso, Corrado ^b   Ferrari, Laura ^b   Pistore, Marco ^a   Kazhamiakin, Raman ^a   Thuegaz, Ermes ^b  

^a ITC IRST   (Italy)

^b TELECOM ITALIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; KETONES; LINGUISTICS; QUERY LANGUAGES; STANDARDS; TELECOMMUNICATION SYSTEMS; WEB SERVICES; WORLD WIDE WEB;

AUTOMATED SUPPORT; FORMAL ANALYSIS; INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); LONG-RUNNING TRANSACTIONS; SPECIFIC FEATURES; WEB SERVICES COMPOSITIONS;

TELECOMMUNICATION SERVICES;

EID: 46849094735     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.75     Document Type: Conference Paper

References (5)

1. Osa Parlay Group. 3gpp, open service access (osa) - application programming interface (release 6) ts 29.198.
2. Parlay-X Group. 3gpp, open service access (osa) - parlay x web services (release 6), ts 29.199 v6.x.y.
3. R. Kazhamiakin, P. K. Pandya, and M. Pistore. Representation, verification, and computation of timed properties in web service compositions. In Proc. ICWS, 2006.
4. R. Kazhamiakin and M. Pistore. Static verification of control and data in web service compositions. In Proc. ICWS, 2006.
5. R. Kazhamiakin, M. Pistore, and L. Santuari. Analysis of communication models in web service compositions. In Proc. WWW, 2006.