Leveraging semantic web service descriptions for validation by automated functional testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5554 LNCS, Issue , 2009, Pages 593-607

  Ramollari, Ervin ^a   Kourtesis, Dimitrios ^a   Dranidis, Dimitris ^a   Simons, Anthony J H ^b  

^a UNIVERSITY OF SHEFFIELD   (Greece)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Semantic Web Services; Service Validation; Web service testing

Indexed keywords

ABSTRACT LEVELS; AUTOMATED FUNCTIONAL TESTING; FUNCTIONAL TEST; FUNCTIONAL TESTING; ONTOLOGY-BASED; RULE BASED; SERVICE DISCOVERY; SERVICE ORIENTED SYSTEMS; SERVICE VALIDATION; STREAM X MACHINES; TEST DRIVERS; TESTING METHOD; TESTING METHODOLOGY; WEB SERVICE DESCRIPTION;

AUTOMATIC TEST PATTERN GENERATION; ONTOLOGY; SEMANTIC WEB; SEMANTICS; SPECIFICATIONS; SYSTEMS ANALYSIS;

WEB SERVICES;

EID: 69849107564     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02121-3_44     Document Type: Conference Paper

References (23)

1. Akkiraju, R., Farrell, J., Miller, J., Nagarajan, M., Schmidt, M.T., Sheth, A., Verma, K.: Web Service Semantics - WSDL-S. W3C Member Submission (2005)
2. Bertolino, A., Frantzen, L, Polini, A., Tretmans, J.: Audition of Web Services for Testing Conformance to Open Specified Protocols. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol.3938, pp. 1-25. Springer, Heidelberg (2006)
3. Chow, T.S.: Testing Software Design Modelled by Finite State Machines. IEEE Transactions on Software Engineering 4, 178-187 (1978)
4. de Bruijn, J.d., Bussler, C, Domingue, J., Fensel, D., Hepp, M., Keller, U., Kifer, M., Konig-Ries, B., Kopecky, J., Lara, R., Lausen, H., Oren, E., Polleres, A., Roman, D., Sci-cluna, J., Stollberg, M.: Web Service Modeling Ontology (WSMO). W3C Member Submission (2005)
5. Dranidis, D., Kourtesis, D., Ramollari, E.: Formal Verification of Web Service Behavioural Conformance through Testing. Annals of Mathematics, Computing & Teleinformat-ics (AMCT) 1(5), 36-43 (2007)
6. Eilenberg, S.: Automata, Languages and Machines, vol.A. Academic Press, New York (1974)
7. Farrell, J., Lausen, H. (eds.): Semantic Annotations for WSDL and XML Schema. W3C Recommendation (2007)
8. Heckel, R., Mariani, L.: Automatic Conformance Testing of Web Services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.3442, pp. 34-48. Springer, Heidelberg (2005) (Pubitemid 41273669)
9. Holcombe, M., Ipate, F.: Correct Systems: Building Business Process Solutions. Springer, Berlin (1998)
10. Ipate, F., Holcombe, M.: An Integration Testing Method that is Proved to Find All Faults. International Journal of Computer Mathematics 63, 159-178 (1997)
11. Keum, C, Kang, S., Ko, I.Y.: Generating Test Cases for Web Services using Extended Finite State Machine. In: Uyar, M.U., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.3964, pp. 103-117. Springer, Heidelberg (2006)
12. Kourtesis, D., Ramollari, E., Dranidis, D., Paraskakis, L: Discovery and Selection of Certified Web Services through Registry-Based Testing and Verification. In: Camarinha-Matos, L., Pickard, W. (eds.) Pervasive Collaborative Networks, IFIP, vol.283, pp. 473-482. Springer, Boston (2008)
13. Martin, D., Domingue, J., Brodie, M.L., Leymann, F.: Semantic Web Services, Part 1. IEEE Intelligent Systems 22(5), 12-17 (2007)
14. Martin, D., Domingue, J., Sheth, A., Battle, S., Sycara, K., Fensel, D.: Semantic Web Services, Part 2. IEEE Intelligent Systems 22(6), 8-15 (2007)
15. Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., Mcllraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic Markup for Web Services. W3C Member Submission (2004)
16. McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview, W3C Recommendation (2004)
17. Narayanan, S., Mcllraith, S.A.: Simulation, Verification and Automated Composition of Web Services. In: Proceedings of the 1 lth International Conference on the World Wide Web, pp. 77-88 (2002)
18. Plotkin, G.D.: A Structural Approach to Operational Semantics. Journal of Logic and Algebraic Programming 60-61, 17-139 (2004)
19. Sinha, A., Paradkar, A.: Model-based Functional Conformance Testing of Web Services Operating on Persistent Data. In: Proceedings of Workshop on Testing, Analysis and Verification of Web Services and Applications (TAV-WEB 2006), pp. 17-22 (2006)
20. Urbieta, A., Azketa, E., Gomez, I., Parra, J., Arana, N.: Analysis of Effects- and Preconditions-Based Service Representation in Ubiquitous Computing Environments. In: Proceedings of the 2008 IEEE International Conference on Semantic Computing, pp. 378-385 (2008)
21. W3C RIF Production Rule Dialect (RIF-PRD), http: / /www. w3 . org/TR/rif-prd/
22. W3C Rule Interchange Format (RIF) Working Group, http://www.w3.org/2005/ rules/
23. Wang, Y., Bai, X., Li, J., Huang, R.: Ontology-Based Test Case Generation for Testing Web Services. In: Proceedings of Eighth International Symposium on Autonomous Decentralized Systems (ISADS 2007), pp. 43-50 (2007)