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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
Duke, R., Rose, G.: Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan (March 2000)
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)
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)
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)
Smith, G.: A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing 7(3), 289–313 (1995)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights 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)