Model-based verification of web service compositions

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 152-161

  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

FLOWCHARTING; SEMANTICS; WEB SERVICES; WEBSITES;

CONCURRENTS PROGRAMS; FINITE-STATE PROCESS; IMPLEMENTATION MODELS; MESSAGE SEQUENCE CHARTS; MODEL BASED APPROACH; MODEL BASED VERIFICATION; SPECIFICATION MODELS; TRACE EQUIVALENCE; WEB SERVICE COMPOSITION; WEBS SERVICES;

SPECIFICATIONS;

EID: 85017640349     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240303     Document Type: Conference Paper

References (15)

1. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana, "Business Process Execution Language For Web Services, Version 1.0," 2002.
2. D. Chakraborty and A. Joshi, "Dynamic Service Composition: State-of-the-Art and Research Directions," University Of Maryland, Baltimore, Technical Report TR-CS-01-19, December 19 2001.
3. P. Wohed, W. M. P. V. D. Aalst, M. Dumas, and A. H. M. T. Hofstede, "Pattern Based Analysis of BPEL4WS," Queensland University of Technology, Brisbane, Technical Report 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. 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.
7. P. Hruby, "Specification of Workflow Management Systems with UML," presented at OOPSLA Workshop on Implementation and Application of Object-oriented Workflow Management Systems 1998, Vancouver, BC.
8. S. Nakajima, "Model-Checking Verification for Reliable Web Service," presented at OOPSLA 2002 Workshop on Object-Oriented Web Services, Seattle, Washington, 2002.
9. 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.
10. J. Magee and J. Kramer, Concurrency - State Models and Java Programs: John Wiley, 1999.
11. 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.
12. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, "Web Services Description Language (WSDL) 1.2," W3C, 2003.
13. F. Leymann, "Web Services Flow Language (WSFL 1.0)," IBM Academy Of Technology 2001.
14. S. Thatte, "XLANG - Web Services For Business Process Design," Microsoft Corporation 2001.
15. S. A. Mcllraith and D. L. Martin, "Bringing Semantics to Web Services," IEEE Intelligent Systems, 2003.