Bringing semantics to web services: The OWL-S approach

Journal of Information Technology Research

The conversion of web services to semantic web comes the opportunity to automate various tasks. OWL-S plays a key role in describing web services behaviour. While ontology-based semantics given to OWL-S is structural rather than behaviourally oriented, we cannot automate an essential task in this field, verification. In this article, the mapping of OWL-S process model to Timed automata is investigated, which is a suitable formalism for real time systems modeling and automatic verification. Hence, this has led to not only enabling automatic verification but also covering problems related to automated verification of temporal quantitative properties as bounded liveness property. As a starting point, the OWL-S and sub entry of time ontologies for describing the timed behaviour of services has been chosen. A defined set of mapping rules is used to automatically encode control constructs defined in OWL-S and temporal information into timed automata. Also, it is shown how a Uppaal checker...

Lecture Notes in Computer Science, 2005

Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and resources. This has in particular led to the introduction of a number of computing paradigms, among which the Service-Oriented Architecture (SOA) seems to best serve these objectives. However, common SOA solutions restrict considerably the openness of dynamic mobile systems in that they assume a specific middleware infrastructure, over which composed system components have been pre-developed to integrate. On the other hand, the Semantic Web introduces a promising approach towards the integration of heterogeneous components; current semantics-based approaches are, however, restricted to application-level interoperability. Combining the elegant properties of software architecture modeling with the semantic reasoning power of the Semantic Web paradigm, this paper introduces abstract semantic modeling of mobile services that allows both machine reasoning about service composability and enhanced interoperability at both middleware and application level.

2021

Several approaches have been proposed to describe services in a rich and generic manner (such as WSDL, OWLS , WSMO, and SAWSDL). However, current approaches remain inappropriate for cloud computing since: 1) they lack in a way or another semantic or business aspect, 2) they cannot fully cope with non-functional properties and cloud characteristics, 3) they are unable to cover all kinds of services (such as SaaS, PaaS, IaaS). Despite the existence of several attempts which have tried to extent existing studies, the problem remains open. In this paper, we propose Cloud-WSDL, a new description model aligned with WSDL language, the most popular language, to make it more suitable for describing cloud services. The idea is to enhance WSDL description with our ontological Generic Cloud Service Description called GCSD to cope with many aspects (technical, operational, business, semantic and contextual) to ensure a high interoperability between services belonging to multiple heterogeneous clouds, and to support all the kinds of cloud services (SaaS, PaaS, and IaaS).

PeerJ Computer Science

Data in the life sciences are extremely diverse and are stored in a broad spectrum of repositories ranging from those designed for particular data types (such as KEGG for pathway data or UniProt for protein data) to those that are general-purpose (such as FigShare, Zenodo, Dataverse or EUDAT). These data have widely different levels of sensitivity and security considerations. For example, clinical observations about genetic mutations in patients are highly sensitive, while observations of species diversity are generally not. The lack of uniformity in data models from one repository to another, and in the richness and availability of metadata descriptions, makes integration and analysis of these data a manual, time-consuming task with no scalability. Here we explore a set of resource-oriented Web design patterns for data discovery, accessibility, transformation, and integration that can be implemented by any general- or special-purpose repository as a means to assist users in finding...

Lecture Notes in Computer Science, 2015

Heterogeneous search engines differ in the algorithms they use and the domains they cover, thus there is no single search engine that performs best in every circumstance. In order to obtain optimal search results, it often makes sense to use more than one search engine. However, appropriately merging results from different engines is challenging, i.e. combining results in such a way that they reflect the ranking of results the user would choose. In this paper, we propose an effective way to achieve this for web services search which can be extended to cloud services and be applied to big data. In contrast to "classical" search processed by conventional text-based search engines, a more elaborated search request is needed here. In addition to the result merging, we therefore present a method to create a structured request for this specific task. The evaluation of our proposed solution shows that it is satisfying in terms of both result quality and performance.

International Journal of Information Technology and Web Engineering, 2018

This article proposes a formal specification method for Web services composition based on context-aware semantic planning graph technique. The authors first use a graph planning technique to conceive an adaptable semantic Web services composition. They use an ontology based context model for extending Web services descriptions with information about the most suitable context for its use. Then, the composition problem is transformed into a semantic context aware graph planning problem to build a set of best-composed Web services based on the user's context. Because of the error-prone nature of the Web services composition process, and with the integration of context information in this process, the complexity of Web services-based systems is increasing, hence the need for formal specification and verification approaches of such systems. The authors seek to use CCA calculus, to formalize Web services composition expressed in terms of adaptable OWL-S, and transform the description ...

Lecture Notes in Computer Science, 2013

Cloud-based applications are built from services offered by distinct third-party cloud providers. Most cloud-related information (service properties such as price, availability, response time, etc.) can change at any time during application execution. Therefore, it is essential to support the adaptation of applications in such dynamic conditions in order to ensure that the cloud services currently provided to deployed applications adhere to the established requirements. In this paper we present an autonomous adaptation process for cloud-based applications by replacing a service by an alternative one that fulfills the application needs. We discuss the factors that trigger an adaptation in a Cloud Computing scenario and describe the adaptation process within Cloud Integrator, a service-oriented middleware platform for composing, executing, and managing services provided by different cloud platforms.

Multimedia Tools and Applications, 2020

An increase in business growth and revenue is the main objective of any business. There are various tactics to answer the problems i.e., about the growth of business and revenue. For example, one has also to answer for revising the company policies, motivational sessions for the employees, increment in salaries, and migration of business to a new place. The difference between a good and great business depends on the place of business. The purpose of migration is to expand the business where infrastructure cost is less, easily achieving business goals and need a comfortable market accordingly. The challenges occurs while migrating a business. Businesspersons can face various issues and problems. For example, how to identify the business challenges and know the basic legal rights to invest in a foreign country? To answer the problem, we have constructed a Business Migration Ontology (BMO) model to integrate information on the web accordingly. Therefore, three training sets used to construct the BMO. The training sets are semantically classified to find similarities and differences during the construction of BMO. The BMO facilitates the businesspersons to select an appropriate jurisdiction for migrating business, according to their requirements and possibilities. The BMO has semantically classified the legal acts defined by a jurisdiction, accordingly. The BMO facilitates to identify the required fields that have significance for businesspersons. The businesspersons can than determine to invest at a certain jurisdiction, accordingly. The BMO provides a complete view of different legal aspects according to various jurisdictions, which is helpful for businesspersons in the better decision while migrating their business.

Lecture Notes in Computer Science, 2008

System quality aspects such as dependability, adaptability to a changing runtime environment, and concerns such as cost and provider reputation, are increasingly important in a competitive software service market. Service-oriented system quality is not just a function of the quality of a provided service, but the interdependencies between services, the resource constraints of the runtime environment and network outages. This makes it difficult to anticipate how these factors might influence system behaviour, making it difficult to specify the right system environment in advance. Current quality management schemes for serviceoriented systems are inadequate for ensuring runtime system quality as they focus on static service properties, rather than emergent properties. They also offer the consumer only limited control over the quality of service. This paper describes a novel consumer-centred runtime architecture that combines service monitoring, negotiation, forecasting and vendor reputation, to provide a self-managing mechanism for ensuring runtime quality in service-oriented systems.

Semantic Web

The agrifood system faces a great many economic, social and environmental challenges. One of the biggest practical challenges has been to achieve greater data sharing throughout the agrifood system and the supply chain, both to inform other stakeholders about a product and equally to incentivise greater environmental sustainability. In this paper, a data sharing architecture is described built on three principles (a) reuse of existing semantic standards; (b) integration with legacy systems; and (c) a distributed architecture where stakeholders control access to their own data. The system has been developed based on the requirements of commercial users and is designed to allow queries across a federated network of agrifood stakeholders. The Ploutos semantic model is built on an integration of existing ontologies. The Ploutos architecture is built on a discovery directory and interoperability enablers, which use graph query patterns to traverse the network and collect the requisite da...

Advances in Intelligent Systems and Computing, 2016

The paper presents an approach to the composition of web services based on their meta descriptions. The process of web services sequence formation is depicted. Such web services sequence describes execution of certain user's task. The method of user's tasks scenario formation is proposed that allows to define dynamically an ordered sequence of web services required to run a specific user's tasks. The scenario formation for real user's task «Calculation of the strength for the power components of magnetic systems» is represented, approving the applicability and efficiency of proposed approach.

IntechOpen eBooks, 2021

The business activities provided within any firm or company should be checked and controlled continuously, while two principal approaches should be applied: (a) qualitative monitoring, (b) quantitative evaluations and getting to know the rules, which regulate structure and functionality of business processes (BPs) implemented and operated there plays a role of principle importance and they are derived based on actual BP models. Therefore we have designed a conceptual model of application denoted as BPLM Process Designer in form of expert system (ES) operating based on principles closely related to business process linguistic modeling approach, where linguistic sets and PBPL Equation play a role of principle importance. Our contribution contains such application description from qualitative, quantitative and design point of view. The ES qualitative description contains references to appropriate math relations and algorithms postulated within subsequent sections. Those sections are accompanied by the case study, which indicates how the math relations and algorithms might be applied within BPLM Process Designer functionality. However, those sections are accompanied by ES structure and functionality description as well, which represent the BPLM Process Designer mean or facility.

Lecture Notes in Computer Science, 2016

The Internet of Things (IoT) is an emergent paradigm characterized by a plethora of smart objects connected to the Internet. An inherent characteristic of IoT is the high heterogeneity and the wide distribution of objects, thereby calling for ways to describe in an unambiguous and machine-interpretable way the resources provided by objects, their properties, and the services they offer. In this context, discovery services play a significant role as they allow clients (middleware platforms, end-users, applications) to retrieve available resources based on appropriate search criteria, such as resource type, capabilities, location, and Quality of Context (QoC) parameters. To cope with these concerns, we introduce QoDisco, a QoC-aware discovery service relying on multipleattribute searches, range queries, and synchronous/asynchronous operations. QoDisco also comprises an ontology-based information model for semantically describing resources, services, and QoC-related information. In this paper, we describe the QoDisco architecture and information model as well as an evaluation of the search procedure in an urban air pollution monitoring scenario.