Verification of web service descriptions using graph-based traversal algorithms

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2007, Pages 1385-1392

  Gooneratne, Nalaka ^a   Tari, Zahir ^a   Harland, James ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

Consistent descriptions; Service descriptions; Verification

Indexed keywords

ALGORITHMS; DATA PROCESSING; ERROR ANALYSIS; NETWORK PROTOCOLS; SPECIFICATIONS; THREE DIMENSIONAL COMPUTER GRAPHICS;

COMPOSITION TECHNIQUES; DATA TRANSFORMATIONS; SERVICE DESCRIPTIONS; VERIFICATION OF WEB SERVICES;

WEB SERVICES;

EID: 35248899454     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244002.1244301     Document Type: Conference Paper

References (22)

1. W. V. D. Aalst, A. T. Hofstede, B. Kiepuszewski, and A. Barros. Workflow Patterns. Distributed Parallel Databases, 14(1):5-51, 2003.
2. J. Allen and G. Ferguson. Actions and Events in Interval Temporal Logic. Journal of Logic and Compututation, 4(5):531-579, 1994.
3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, USA, 2003.
4. A. Banerji, C Bartolini, D. Beringer, V. Chopella, K. Govindarajan, A. Karp, H. Kuno, M. Lemon, G. Pogossiants, S. Sharma, and S. Williams. Web Services Conversation Language 1.0, March 2002.
5. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In Proceedings of the 12th International Conference on World Wide Web, pages 403-410, 2003.
6. D. Burdett and N. Kavantzas. WS Choreography Model Overview - W3C Working Draft, March 2004.
7. I. Elgedawy. A Conceptual Framework for Web Service Semantic Discovery. In Proceedings of OTM Confederated International Workshops, pages 1004-1016, 2003.
8. I. Elgedawy, Z. Tari, and J. A. Thom. A High-Level Functional Matching for Semantic Web Services. In Proceedings of the 3rd International Conference on Service-Oriented Computing, pages 115-129, 2005.
9. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering, pages 152-163, 2003.
10. X. Gao, J. Yang, and M. P. Papazoglou. The Capability Matching of Web Services. In Proceedings of the 4th International Symposium on Multimedia Software Engineering, pages 56-63, 2002.
11. R. K. Ghosh and G. P. Bhattacharjee. A Parallel Search Algorithm for Directed Acyclic Graphs. BIT, 24(2):134-150, 1984.
12. N. Gooneratne, Z. Tari, and J. Harland. Verification of Web Service Descriptions using Graph-based Traversal Algorithms. Technical Report TR-06-2, School of Computer Science and Information Technology, RMIT University, Melbourne, Australia, 2006.
13. U. Keller, R. Lara, A. Polleres, I. Toma, M. Kifer, and D. Fensel. WSMO Discovery - WSML Working Draft, October 2004.
14. D. Martin, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, B. Parsia, T. Payne, E. Sirin, N. Srinivasan, and K. Sycara. OWL-S: Semantic Markup for Web Services, November 2004.
15. B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid. Composing Web Services on the Semantic Web. VLDB Journal, 12(4):333-351, 2003.
16. S. Narayanan and S. A. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proceedings of the 11th International Conference on World Wide Web, pages 77-88, 2002.
17. G. Oulsnam. Unravelling Unstructured Programs. Computing Journal, 25(3):379-387, 1982.
18. W. Sadiq and M. E. Orlowska. Analyzing Process Models using Graph Reduction Techniques. Information Systems, 25(2):117-134, 2000.
19. D. Sangiorgi and D. Walker, editors. The π-calculus: A Theory of Mobile Processes. Cambridge University Press, New York, USA, 2001.
20. J. Shen, Y. Yang, C. Wan, and C. Zhu. From BPEL4WS to OWL-S: Integrating E-Business Process Descriptions. In Proceedings of the International Conference on Services Computing, pages 181-190, 2005.
21. K. Sycara, S. Widoff, M. Klusch, and J. Lu. LARKS: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace. Autonomous Agents and Multi-Agent Systems, 5(2):173-203, 2002.
22. S. J. Woodman, D. J. Palmer, S. K. Shrivastava, and S. M. Wheater. Notations for the Specification and Verification of Composite Web Services. In Proceedings of 8th International Enterprise Distributed Object Computing Conference, pages 35-46, 2004.