Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing

  • Ervin Ramollari
  • Dimitrios Kourtesis
  • Dimitris Dranidis
  • Anthony J. H. Simons
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5554)


Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services.


Semantic Web Services Web service testing Service Validation 


  1. 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)Google Scholar
  2. 2.
    Bertolino, A., Frantzen, I., 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)CrossRefGoogle Scholar
  3. 3.
    Chow, T.S.: Testing Software Design Modelled by Finite State Machines. IEEE Transactions on Software Engineering 4, 178–187 (1978)CrossRefzbMATHGoogle Scholar
  4. 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., Scicluna, J., Stollberg, M.: Web Service Modeling Ontology (WSMO). W3C Member Submission (2005)Google Scholar
  5. 5.
    Dranidis, D., Kourtesis, D., Ramollari, E.: Formal Verification of Web Service Behavioural Conformance through Testing. Annals of Mathematics, Computing & Teleinformatics (AMCT) 1(5), 36–43 (2007)Google Scholar
  6. 6.
    Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press, New York (1974)zbMATHGoogle Scholar
  7. 7.
    Farrell, J., Lausen, H. (eds.): Semantic Annotations for WSDL and XML Schema. W3C Recommendation (2007)Google Scholar
  8. 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)CrossRefGoogle Scholar
  9. 9.
    Holcombe, M., Ipate, F.: Correct Systems: Building Business Process Solutions. Springer, Berlin (1998)CrossRefzbMATHGoogle Scholar
  10. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Keum, C., Kang, S., Ko, I.Y.: Generating Test Cases for Web Services using Extended Finite State Machine. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 103–117. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Kourtesis, D., Ramollari, E., Dranidis, D., Paraskakis, I.: 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)CrossRefGoogle Scholar
  13. 13.
    Martin, D., Domingue, J., Brodie, M.L., Leymann, F.: Semantic Web Services, Part 1. IEEE Intelligent Systems 22(5), 12–17 (2007)CrossRefGoogle Scholar
  14. 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)CrossRefGoogle Scholar
  15. 15.
    Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, 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)Google Scholar
  16. 16.
    McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview, W3C Recommendation (2004)Google Scholar
  17. 17.
    Narayanan, S., McIlraith, S.A.: Simulation, Verification and Automated Composition of Web Services. In: Proceedings of the 11th International Conference on the World Wide Web, pp. 77–88 (2002)Google Scholar
  18. 18.
    Plotkin, G.D.: A Structural Approach to Operational Semantics. Journal of Logic and Algebraic Programming 60-61, 17–139 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 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)Google Scholar
  20. 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)Google Scholar
  21. 21.
    W3C RIF Production Rule Dialect (RIF-PRD),
  22. 22.
    W3C Rule Interchange Format (RIF) Working Group,
  23. 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Ervin Ramollari
    • 1
  • Dimitrios Kourtesis
    • 1
  • Dimitris Dranidis
    • 2
  • Anthony J. H. Simons
    • 3
  1. 1.South East European Research Centre (SEERC)Research Centre of the University of Sheffield and CITY CollegeThessalonikiGreece
  2. 2.Computer Science Department, CITY CollegeAffiliated Institution of the University of SheffieldThessalonikiGreece
  3. 3.Department of Computer ScienceUniversity of SheffieldSheffieldUK

Personalised recommendations