Compatibility verification for web service choreography

Proceedings - IEEE International Conference on Web Services

Volumn , Issue , 2004, Pages 738-741

  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

ABSTRACT PROCESSES; FINITE STATE PROCESSES (FSP); LABELED TRANSITION SYSTEM ANALYZER (LTSA); WEB SERVICE CHOREOGRAPHY; FINITE STATE PROCESS (FSP); WEB SERVICE COMPOSITIONS; WORKFLOW;

CLIENT SERVER COMPUTER SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SUPPORTED COOPERATIVE WORK; ITERATIVE METHODS; MATHEMATICAL MODELS; OPEN SYSTEMS; AUTOMATION; COMMUNICATION SYSTEMS; JAVA PROGRAMMING LANGUAGE; SEMANTICS; STANDARDS;

WORLD WIDE WEB;

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

References (10)

1. 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.
2. W3C-WSCI, "Web Service Choreography Interface (WSCI) 1.0," W3C - Web Services Choreography Working Group 2002.
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, 2003.
4. [41 F. Curbera, V. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana, "Business Process Execution Language For Web Services, Version 1.0," 2002.
5. F. Cabrera, G. Copeland, W. Cox, M. Feingold, T. Freund, J. Johnson, C. Kaler, J. Klein, D. Langworthy, A. Nadalin, D. Orchard, I. Robinson, J. Shewchuk, and T. Storey, "Web Services Coordination (WS-Coordination)," BEA Systems, International Business Machines Corporation, Microsoft Corporation, Inc 2002.
6. S. Nakajima, "Model-Checking Verification for Reliable Web Service," presented at OOPSLA 2002 Workshop on Object-Oriented Web Services, Seattle, Washington, 2002.
7. S. Narayanan and S. A. McIlraith, "Simulation, Verification and Automated Composition of Web Services," presented at Eleventh International World Wide Web Conference (WWW-11), Honolulu, Hawaii, 2002.
8. M. Larrson and I. Crnkovic, "New Challenges for Configuration Management," presented at the SCM-9 workshop, Toulouse, France, 1999.
9. W. M. P. v. d. Aalst, M. Dumas, and A. H. M. t. Hofstede, "Web Service Composition Languages: Old Wine in New Bottles?," presented at Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture, Los Alamitos, CA, 2003.
10. J. Magee and J. Kramer, Concurrency - State Models and Java Programs: John Wiley, 1999.