The Web Service Modeling Language WSML: An Overview (original) (raw)
Related papers
D16. 1v0. 2 the web service modeling language wsml
2005
Abstract We introduce the Web Service Modeling Language WSML which provides a formal syntax and semantics for the Web Service Modeling Ontology WSMO. WSML is based on different logical formalisms, namely, Description Logics, First-Order Logic and Logic Programming, which are useful for the modeling of Semantic Web services.
A Critical Evaluation of Web Service Modeling Ontology and Web Service Modeling Language
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.
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO
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.
A formal model of the Semantic Web Service Ontology (WSMO)
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.
D2v1. 2. web service modeling ontology (WSMO)
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.
Web service modeling ontology (wsmo)
Interface, 2006
The potential to achieve dynamic, scalable and cost-effective infrastructure for electronic transactions in business and public administration has driven recent research efforts towards so-called Semantic Web services, that is enriching Web services with machine-processable semantics. Supporting this goal, the Web Service Modeling Ontology (WSMO) provides a conceptual framework and a formal language for semantically describing all relevant aspects of Web services in order to facilitate the automation of ...
Toward UML-Compliant Semantic Web Services Development
Emerging Models, 2012
The coming of the semantic web and, in particular, the coming of the semantic web services (SWS) technology demands the inclusion of new components in the applications involving semantic web services. So, web development methodologies must be tailored to support the systematic development of such new components. In previous works we have presented an UML profile, which extends the SOD-M method for service oriented Web Information System development of the MIDAS model-driven framework, to address the development of Semantic Web Services using WSMO (Web Service Modeling Ontology). The UML profile allows for the modeling of the new elements required by WSMO Web Services. This paper focuses on study the possibility of improving the proposed UML profile, including the OCL (Object Constraints Language) for the representation of WSMO logical axioms, through three case studies. This way the developers' whose knowledge does not extend beyond UML must be able to develop applications that use semantic web services.
Bringing Semantics to Web Services
IEEE Expert / IEEE Intelligent Systems, 2003
A key element to realizing the Semantic Web is developing a suitably rich language for encoding and describing Web content. Such a language must have a well defined semantics, be sufficiently expressive to describe the complex interrelationships and constraints between Web objects, and be amenable to automated manipulation and reasoning with acceptable limits on time and resource requirements. A key component of the Semantic Web services vision is the creation of a language for describing Web services. DAML-S is such a language it is a DAML+OIL ontology for describing Web services that a coalition of researchers created with support from DARPA.
The semantic web promises automates invocation, discovery and composition of web services by enhancing services with semantic descriptions. This paper describes a model driven approach to facilitate the construction of OWL-S specifications. The methodology is divided into three main steps. In the first step we reverse engineered WSDL documents into UML profile models that enable the use of high-level graphical models as an integration platform for semantic web services. In the second step, suitable domain ontologies are used for the semantic annotation of the UML models. Finally, in the third step a conversion tool will generate automatically the OWL-S description from these UML models. The UML profile provides flexibility as it can expresses multiple semantic web service concepts.
A metamodel of WSDL Web services using SAWSDL semantic annotations
ACS/IEEE International Conference on Computer Systems and Applications, 2009
The Web services technology is founded on the use of a number of standards based particularly on XML, such as SOAP, WSDL, UDDI and BPEL. However, these standards are not sufficient to allow an automation of the various tasks of the Web service's life cycle, namely the discovery, the invocation, the publication and the composition. Recently, the W3C consortium produced the SAWSDL language. This language is a new standard enabling the semantic Web services' description. It allows the semantic annotation of WSDL elements and XML schemas. Within the framework of the MDA approach, this paper proposes a semantic Web services metamodel founded on SAWSDL language. This metamodel would constitute an abstraction of the complexity of the use of the WSDL standard. It would also enable developers to easily implement semantic Web services based applications.