Using a rigorous approach for engineering web service compositions: A case study

Proceedings - 2005 IEEE International Conference onServices Computing, SCC 2005

Volumn I, Issue , 2005, Pages 217-224

  Foster, Howard ^a   Uchitel, Sebastian ^a   Magee, Jeff ^a   Kramer, Jeff ^a   Hu, Michael ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b Police Information Technology Organisation (PITO)   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; INTERFACES (COMPUTER); MATHEMATICAL MODELS; WORLD WIDE WEB;

INTEGRATED TOOL ENVIRONMENT; SERVICE-ORIENTED ARCHITECTURE; WEB SERVICE;

INFORMATION SERVICES;

EID: 33749074958     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2005.105     Document Type: Conference Paper

References (9)

1. M. Hu, "Quality of Service Composition and Factoring In Composite Web Services Based Business Process," presented at XML Conference 2004, Washington D.C., USA, 2004.
2. M. Hu, "Web Services Composition, Partition, and Quality of Service in Distributed System Integration and Reengineering," presented at XML Conference 2003, Philadelphia, PA, 2003.
3. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model-based Verification of Web Service Compositions," presented at Eighteenth IEEE International Conference on Automated Software Engineering (ASE), Montreal, Canada, 2003a.
4. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Compatibility for Web Service Choreography," presented at 3rd IEEE International Conference on Web Services (ICWS), San Diego, CA, 2004a.
5. T. Andrews, F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana, "Business Process Execution Language For Web Services, Version 1.1,"2003.
6. J. Magee and J. Kramer, Concurrency - State Models and Java Programs: John Wiley, 1999.
7. S. Uchitel and J. Kramer, "A Workbench for Synthesising Behaviour Models from Scenarios," presented at the 23rd IEEE International Conference on Software Engineering (ICSE'01), Toronto, Canada, 2001.
8. D. Booth, H. Haas, F. McCabe, E. Newcomer, M. Champion, C. Ferris, and D. Orchard, "Web Services Architecture (WS-A) - W3C Working Group Note 11 February 2004," vol. 2004: W3C Web Services Architecture Group, 2004.
9. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon, "Web Services Choreography Description Language Version 1.0 - W3C Working Draft 17 December 2004," 2004.