A semantical framework for the orchestration and choreography of web services

Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the composition of individual services through orchestration and choreography to services processes that communicate and interact with each other. We propose an ontology framework for these Web service processes that provides techniques for their description, matching, and composition. A description logic-based knowledge representation and reasoning framework provides the foundations. We will base this ontological framework on an operational model of service process behaviour and composition

Dynamic Web Services Composition

Emerging web services technology has introduced the concept of autonomic interoperability and portability between services. The number of online services has increased dramatically with many duplicating similar functionality and results. Composing online services to solve user needs is a growing area of research. This entails designing systems which can discover participating services and integrate these according to the end user requirements. This thesis proposes a Dynamic Web Services Composition (DWSC) process that is based upon consideration of previously successful attempts in this area, in particular utilizing AI-planning based solutions. It proposes a unique approach for service selection and dynamic web service composition by exploring the possibility of semantic web usability and its limitations. It also proposes a design architecture called Optimal Synthesis Plan Generation framework (OSPG), which supports the composition process through the evaluation of all available solutions (including all participating single and composite services). OSPG is designed to take into account user preferences, which supports optimality and robustness of the output plan. The implementation of OSPG will be con�gured and tested via division of search criteria in di�erent modes thereby locating the best plan for the user. The services composition and discovery-based model is evaluated via considering a range of criteria, such as scope, correctness, scalability and versatility metrics

A Calculus for Orchestration of Web Services

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce CWS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that CWS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that CWS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it

A Model-Driven Engineering Approach for ROS using Ontological Semantics

This paper presents a novel ontology-driven software engineering approach for the development of industrial robotics control software. It introduces the ReApp architecture that synthesizes model-driven engineering with semantic technologies to facilitate the development and reuse of ROS-based components and applications. In ReApp, we show how different ontological classification systems for hardware, software, and capabilities help developers in discovering suitable software components for their tasks and in applying them correctly. The proposed model-driven tooling enables developers to work at higher abstraction levels and fosters automatic code generation. It is underpinned by ontologies to minimize discontinuities in the development workflow, with an integrated development environment presenting a seamless interface to the user. First results show the viability and synergy of the selected approach when searching for or developing software with reuse in mind.Comment: Presented at DSLRob 2015 (arXiv:1601.00877), Stefan Zander, Georg Heppner, Georg Neugschwandtner, Ramez Awad, Marc Essinger and Nadia Ahmed: A Model-Driven Engineering Approach for ROS using Ontological Semantic