Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
Web Information Systems Engineering – WISE 2007 (WISE 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4831))

Included in the following conference series:

  • 1170 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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. 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)

    Chapter  Google Scholar 

  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. 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. 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. Duke, R., Rose, G.: Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan (March 2000)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Smith, G.: A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing 7(3), 289–313 (1995)

    Article  Google Scholar 

  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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. University of Southampton, Southampton SO17 1BJ, UK

    Hai H. Wang, Terry Payne, Nick Gibbins & Ahmed Saleh

Authors
  1. Hai H. Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Terry Payne
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nick Gibbins
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ahmed Saleh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Boualem Benatallah Fabio Casati Dimitrios Georgakopoulos Claudio Bartolini Wasim Sadiq Claude Godart

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, H.H., Payne, T., Gibbins, N., Saleh, A. (2007). Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. In: Benatallah, B., Casati, F., Georgakopoulos, D., Bartolini, C., Sadiq, W., Godart, C. (eds) Web Information Systems Engineering – WISE 2007. WISE 2007. Lecture Notes in Computer Science, vol 4831. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76993-4_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-76993-4_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-76992-7

  • Online ISBN: 978-3-540-76993-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation