LTSA-WS: A tool for model-based verification of Web service compositions and choreography

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 771-774

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

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

BPEL4WS; Choreography; Model checking; Web service compositions; WS CDL

Indexed keywords

ALGEBRA; MODEL CHECKING; SOFTWARE DESIGN; SOFTWARE TESTING; WEB SERVICES;

CHOREOGRAPHY; MESSAGE SEQUENCE CHARTS (MSC); WEB SERVICE COMPOSITIONS; WS-CDL;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33750544462     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. W3C-WS-A, "Web Services Architecture (WS-A)," vol. 2004; W3C Working Group Note 11 February 2004, 2002.
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," 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. R. J. Hall, "Open Modeling in Multi-stakeholder Distributed Systems: Model-based Requirements Engineering for the 21st Century," presented at Proc. First Workshop on the State of the Art in Automated Software Engineering, U.C. Irvine Institute for Software Research, 2003.
10. 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.
11. S. Nakajima, "Model-Checking Verification for Reliable Web Service," presented at OOPSLA 2002 Workshop on Object-Oriented Web Services, Seattle, Washington, 2002.
12. 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.
13. J. Magee and J. Kramer, Concurrency - State Models and Java Programs: John Wiley, 1999.
14. H. Foster, "A Guide to Mapping BPEL4WS to FSP," Department of Computing, Imperial College London, Technical Report 2003b.