Academia.eduAcademia.edu

Outline

Title
Abstract
Introduction
Wsmo and Object-Z Overview
Discussions
Conclusion
References
All Topics
Languages and Linguistics
Semantics

A Formal Model of Semantic Web Service Ontology (WSMO) Execution

Profile image of Ahmed SalehAhmed Saleh

2008

Abstract

Semantic Web services have been one of the most significant research areas within the semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential. Current semantic Web service research focuses on defining models and languages for the semantic markup of all relevant aspects of services, which are accessible through a Web service interface. The Web service modelling ontology (WSMO) is one of the most significant semantic Web service framework proposed to date. To support ...

Related papers

Web Service Modeling Ontology (WSMO)
John Domingue

2004

“Web Services” are defined as “loosely coupled, reusable components that semantically encapsulate discrete functionality and are distributed and programmatically accessible over standard internet protocols”[Stencil Group, see www. stencilgroup. com/ideas_scope_200106wsdefined. html]. They constitute one of the “hot” areas in web technology supporting the remote invocation of business functionality over the Internet through message exchange.

View PDFchevron_right
Modeling Semantic Web Services With the Web Service Modeling Toolkit
Elena Simperl

Journal of Network and …, 2009

View PDFchevron_right

References (23)

  1. A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, and K. Sycara. DAML-S: Web Service Description for the Semantic Web. In First International Semantic Web Conference (ISWC) Pro- ceedings, pages 348-363, 2002.
  2. J. Bruijn, H. Lausen, A. Polleres, and D. Fensel. The web service modelling language wsml: An overview. In Proceedings of the 3rd European Semantic Web Conference, pages 590-604, Budva, Montegegro, June 2006. Springer-Verlag.
  3. R. Chinnici, J. J. Moreau, A. Ryman, and S. Weerawarana. Web Services Description Lan- guage (WSDL) Version 2.0 Part 1: Core Lan- guage. http://www.w3.org/TR/wsdl20/ wsdl20-z.html, 2006.
  4. J. S. Dong and R. Duke. Class Union and Poly- morphism. In C. Mingins, W. Haebich, J. Potter, and B. Meyer, editors, Proc. 12th International Con- ference on Technology of Object-Oriented Languages and Systems. TOOLS 12, pages 181-190. Prentice- Hall, November 1993.
  5. J. S. Dong, C. H .Lee, Y. F. Li, and H. Wang. A com- bined approach to checking web ontologies. In The 13th ACM International World Wide Web Conference (WWW'04), pages 714-722. ACM Press, May 2004.
  6. J. S. Dong, C. H. Lee, Y. F. Li, and H. Wang. Verify- ing DAML+OIL and Beyond in Z/EVES. In Proc. The 26th International Conference on Software Engineer- ing (ICSE'04), pages 201-210, Edinburgh, Scotland, May 2004.
  7. J. S. Dong, J. Sun, and H. Wang. Checking and Rea- soning about Semantic Web through Alloy. In 12th Internation Symposium on Formal Methods Europe (FM'03). Springer-Verlag, September 2003.
  8. R. Duke and G. Rose. Formal Object Oriented Speci- fication Using Object-Z. Cornerstones of Computing. Macmillan, March 2000.
  9. Dieter Fensel and E. Motta. Structured development of problem solving methods. In Proceedings of the 11th Workshop on Knowledge Acquisition, Modeling, and Management (KAW '98), Banff, Canada, APR 1998.
  10. Dieter Fensel, Enrico Motta, V. Richard Benjamins, Monica Crubezy, Stefan Decker, Mauro Gaspari, Rix Groenboom, William Grosso, Frank van Harmelen, Mark Musen, Enric Plaza, Guus Schreiber, Rudi Studer, and Bob Wielinga. The unified problem- solving method development language upml. Knowl- edge and Information Systems, 5(1):83-131, 2002.
  11. A. Griffiths and G. Rose. A Semantic Foundation for Object Identity in Formal Specification. Object- Oriented Systems, 2:195-215, Chapman & Hall 1995.
  12. W. Johnston. A type checker for Object-Z. Technical report 96-24, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane 4072. Australia, July 1996.
  13. S. K. Kim and D. Carrington. Formalizing UML Class Diagram Using Object-Z. In R. France and B. Rumpe, editors, UML'99, Lect. Notes in Comput. Sci. Springer-Verlag, October 1999.
  14. S. McIlraith, T. Son, and H. Zeng. Semantic web ser- vices, 2001.
  15. B. Medjahed, B. Benatallah, A. Bouguettaya, A. H. H. Ngu, and A. K. Elmagarmid. Business-to-business interactions: issues and enabling technologies. The International Journal on Very Large Data Bases, 12(1):59-85, 2003.
  16. Object Management Group. Meta object facility (MOF) specification, 2002. http://www.omg. org.
  17. Dumitru Roman, Uwe Keller, Holger Lausen, Jos de Bruijn, Rubn Lara, Michael Stollberg, Axel Polleres, Cristina Feier, Christoph Bussler, and Dieter Fensel. Web services modeling ontology. Journal of Applied Ontology, 39(1):77-106, 2005.
  18. G. Smith. Extending W for Object-Z. In J. P. Bowen and M. G. Hinchey, editors, Proceedings of the 9th Annual Z-User Meeting, pages 276-295. Springer- Verlag, September 1995.
  19. G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3):289- 313, 1995.
  20. G. Smith. Reasoning about Object-Z specifications. In Proc. Asia Pacific Software Engineering Conference '95 (APSEC'95 ), pages 489-497. IEEE Press, 1995.
  21. W. K. Tan. A Semantic Model of A Small Typed Functional Language using Object-Z. In J. S. Dong, J. He, and M. Purvis, editors, The 7th Asia-Pacific Software Engineering Conference (APSEC'00). IEEE Press, December 2000.
  22. H. H. Wang, N. Gibbins, T. Payne, A. Saleh, and J. Sun. A Formal Semantic Model of the Seman- tic Web Service Ontology (WSMO). In The 12th IEEE International Conference on Engineering Com- plex Computer Systems, Auckland, July 2007.
  23. J.C.P. Woodcock and S.M. Brien. W : A logic for Z. In Proceedings of Sixth Annual Z-User Meeting, Uni- versity of York, Dec 1991.

Related papers

A formal model of the Semantic Web Service Ontology (WSMO)
Ahmed Saleh

Information Systems, 2012

Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring and etc.) involved in both intra-and inter-enterprise integration of Web Services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where 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 this paper, can be used to identify and eliminate errors present in existing documentation.

View PDFchevron_right
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO
Ahmed Saleh

2007

Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has recently been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra-and inter-enterprise integration of Web Services. To support the standardization and tool support of WSMO, a formal semantics of the language is highly desirable. As there are a few variants of WSMO and it is still under development, the semantics of WSMO needs to be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z semantics of WSMO. 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 this paper, can be used to identify and eliminate errors presented in existing documentation.

View PDFchevron_right
D2v1. 2. web service modeling ontology (WSMO)
John Domingue

2005

Abstract This document presents an ontology called Web Service Modeling Ontology (WSMO) for describing various aspects related to Semantic Web Services. Taking the Web Service Modeling Framework (WSMF) as a starting point, we refine and extend this framework, and develop an ontology and a description language.

View PDFchevron_right
A Critical Evaluation of Web Service Modeling Ontology and Web Service Modeling Language
Zeki Bayram

Computer and Information Sciences, 2016

Web Service Modeling Language (WSML), based on the Web Service Modeling Ontology (WSMO), is a large and highly complex language designed for the specification of semantic web services. It has different variants based on logical formalisms, such as Description Logics, First-Order Logic and Logic Programming. We perform an in-depth study of both WSMO and WSML, critically evaluating them by identifying their strong points and areas in which improvement would be beneficial. Our studies show that in spite of all the features WSMO and WSML support, their sheer size and complexity are major weaknesses, and there are other areas in which important deficiencies exist as well. We point out those discovered deficiencies, and propose remedies for them, laying the foundation for a more tractable and useful formalism for specifying semantic web services.

View PDFchevron_right
Towards intelligent web services: The web service modeling ontology (WSMO)
John Domingue

2005

The Semantic Web and the Semantic Web Services build a natural application area for Intelligent Agents, namely querying and reasoning about structured knowledge and semantic descriptions of services and their interfaces on the Web. This paper provides an overview of the Web Service Modeling Ontology, a conceptual framework for the semantical description of Web services.

View PDFchevron_right

Related topics

  • Formal Semantics
  • Decision support tool
  • Semantic Web Service Composition
  • Tool Development
    • 580 California St., Suite 400
    San Francisco, CA, 94104
    © 2025 Academia. All rights reserved