Tool support for model-based engineering of web service compositions

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

Volumn 2005, Issue , 2005, Pages 95-102

  Foster, Howard ^a   Uchitel, Sebastian ^a   Magee, Jeff ^a   Kramer, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; WORLD WIDE WEB;

FINITE STATE PROCESS (FSP); FORMAL MODELING; WEB SERVICES;

INFORMATION SERVICES;

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

References (20)

1. 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.
2. 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." BEA Systems, IBM, Microsoft, SAP AG and Siebel Systems, 2003.
3. W3C-WSCI, "Web Service Choreography Interface (WSCI) 1.0," W3C - Web Services Choreography Working Group 2002.
4. R. Akkiraju, D. Flaxer, H. Chang, T. Chao, L.-J. Zhang, F. Wu, and J.-J. Jeng, "A Framework for Facilitating Dynamic e-Business via Web Services," presented at OOPSLA 2001 - Workshop on Object-Oriented Web Services, Tampa, FL, 2001.
5. C. Karamanolis, D.Giannakopoulou, J.Magee, and S.Wheater, "Modelling and Analysis of Workflow Processes," Imperial College of Science, Technology and Medicine, London 1999.
6. 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.
7. 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.
8. O. Bukhres and C.J.Crawley, "Failure Handling in Transactional Workflows Utilizing CORBA 2.0," presented at 10th ERCIM Database Research Group Workshop on Heterogeneous Information Management, Prague, 1996.
9. X. Fu, T. Bultan, and J. Su, "WSAT: A tool for Formal Analysis of Web Services," presented at 16th International Conference on Computer Aided Verification (CAV), Boston, MA, 2004.
10. S. Nakajima, "Model-Checking Verification for Reliable Web Service," presented at OOPSLA 2002 Workshop on Object-Oriented Web Services, Seattle, Washington, 2002.
11. S. Narayanan and S. A. Mcllraith, "Simulation, Verification and Automated Composition of Web Services," presented at Eleventh International World Wide Web Conference (WWW-11), Honolulu, Hawaii, 2002.
12. J. Magee and J. Kramer, Concurrency - State Models and Java Programs: John Wiley, 1999.
13. S. Uchitel and J. Kramer, "A Workbench for Synthesising Behaviour Models from Scenarios," presented at the 23rd IEEE International Conference on Software Engineering (ICSE'Ol), Toronto, Canada, 2001.
14. I. Jacobson, J. Rumbaugh, and G. Booch, The Unified Software Development Process: Addison-Wesley, Harlow, UK, 1999.
15. P. Graubmann, "Describing interactions between MSC components: the MSC connectors," The International Journal of Computer and Telecommunications Networking, vol. 42, pp. 323-342, 2003.
16. H. Foster, "A Guide to Mapping BPEL4WS to FSP," Department of Computing, Imperial College London, Technical Report 2003b.
17. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon, "Web Service Choreography Description Language (WS-CDL) - W3C Working Draft 17 December 2004," W3C - Web Services Choreography Working Group 2004.
18. G. Engels, J. M. Kuster, R. Heckel, and M. Lohmann, "Model-Based Verification and Validation of Properties," Electronic Notes in Theoretical Computer Science, vol. 82, 2003.
19. D. P. Gluch, S. Cormella-Dorda, J. Hudak, G. Lewis, and C. Weinstock, "Model-Based Verification; Abstraction Guidelines," Software Engineering Institute, Pitssburgh, PA (CMU/SEI-2001 -TN-028), 2001.
20. M. Koshkina, "Verification of Business Processes for Web Services," in Department of Computer Science. Toronto, Ontario: York University, 2003.