Formal Specification of OWL-S with Object-Z: The Dynamic Aspect

  • Hai H. Wang
  • Terry Payne
  • Nick Gibbins
  • Ahmed Saleh
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4831)


OWL-S, one of the most significant Semantic Web Service ontologies proposed to date, provides Web Service providers with a core ontological framework and guidelines for describing the properties and capabilities of their Web Services in unambiguous, computer-interpretable form. To support standardization and tool support of OWL-S, a formal semantics of the language is highly desirable. In this paper, we present a formal Object-Z semantics of OWL-S. Different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in the paper, can be used to identify and eliminate errors in the current documentation.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., Martin, D., McIlraith, S., Narayanan, S., Paolucci, M., Payne, T., Sycara, K.: DAML-S: Web Service Description for the Semantic Web. In: First International Semantic Web Conference (ISWC) Proceedings, pp. 348–363 (2002)Google Scholar
  2. 2.
    Ankolekar, A., Huch, F., Sycara, K.P.: Concurrent execution semantics of daml-s with subtypes. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 318–332. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. 3.
    Dong, J.S., Duke, R.: Class Union and Polymorphism. In: Mingins, C., Haebich, W., Potter, J., Meyer, B. (eds.) Proc. 12th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS 12, pp. 181–190. Prentice-Hall, Englewood Cliffs (1993)Google Scholar
  4. 4.
    Dong, J.S., Lee, C.H., Li, Y.F., Wang, H.: Verifying DAML+OIL and Beyond in Z/EVES. In: ICSE 2004. Proc. The 26th International Conference on Software Engineering, Edinburgh, Scotland, pp. 201–210 (May 2004)Google Scholar
  5. 5.
    Dong, J.S., Rose, G., Duke, R.: The Role of Secondary Attributes in Formal Object Modelling. Technical Report 95-20, Software Verification Research Centre, Dept. of Computer Science, Univ. of Queensland, Australia (1995)Google Scholar
  6. 6.
    Duke, R., Rose, G.: Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan (March 2000)Google Scholar
  7. 7.
    Kim, S.K., Carrington, D.: Formalizing UML Class Diagram Using Object-Z. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, Springer, Heidelberg (1999)Google Scholar
  8. 8.
    Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002. Proceedings of the 11th international conference on World Wide Web, pp. 77–88. ACM Press, New York, NY, USA (2002)CrossRefGoogle Scholar
  9. 9.
    Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web services modeling ontology. Journal of Applied Ontology 39(1), 77–106 (2005)Google Scholar
  10. 10.
    Smith, G.: A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing 7(3), 289–313 (1995)CrossRefGoogle Scholar
  11. 11.
    Wang, H.H., Gibbins, N., Payne, T., Saleh, A., Sun, J.: A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). In: The 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland (July 2007)Google Scholar
  12. 12.
    Wang, H.H., Saleh, A., Payne, T., Gibbins, N.: Formal specification of owl-s with object-z. In: OWL-S: Experiences and Directions, Innsbruck, Austria (June 2007)Google Scholar
  13. 13.
    Woodcock, J.C.P., Brien, S.M.: W: A logic for Z. In: Proceedings of Sixth Annual Z-User Meeting, University of York (December 1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Hai H. Wang
    • 1
  • Terry Payne
    • 1
  • Nick Gibbins
    • 1
  • Ahmed Saleh
    • 1
  1. 1.University of Southampton, Southampton SO17 1BJUK

Personalised recommendations