Information Flow Analysis Based Security Checking of Health Service Composition Plans

In this paper, we present an approach to solve the problem of provably secure execution of semantic web service composition plans. The integrated components of this approach include our OWL-S service matchmaker, OWLSMX, the service composition planner, OWLS-XPlan, and the security checker module for formally verifying the compliance of the created composition plan to be executed with given data and service security policies using type-based information flow analysis. We demonstrate this approach by means of its application to a use case scenario of health service composition planning

Fast Composition Planning of OWL-S Services and Application

In this paper, we present the implementation, evaluation, and application of our OWL-S service composition planner OWLS-XPlan. Medical services described in OWL-S 1.1 and ontologies are converted to initial state and goal descriptions in PDDL 2.1, which are then used by the fast heuristic FF planner XPlan for generating an execution complete composition plan. Results of experimental evaluation of XPlan shows its top performance compared with other selected AI planners. OWLS-XPlan is used in an agent based mobile e-Health system for emergency medical assistance planning tasks

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

Design of an autonomous software platform for future symbiotic service management

Nowadays, public as well as private communication infrastructures are all contending for the same limited amount of bandwidth. To optimally share network resources, symbiotic networks have been proposed, which cross logical and physical boundaries to improve the reliability, scalability, and energy efficiency of the network as a whole as well as its constituents. This paper focuses on software services in such symbiotic networks. We propose a platform for the intelligent composition of services provided by symbiotically connected parties, resulting in novel cooperation opportunities. The platform harvests Semantic Web technology to describe services in a highly expressive manner, and constructs service compositions using SeCoA, our tunable best-first search algorithm. The resulting compositions are then enacted via CaPI, a reconfigurable middleware infrastructure. By means of an illustrative scenario, we provide further insight into the platform's functioning

Automatic Dynamic Web Service Composition: A Survey and Problem Formalization

The aim of Web service composition is to arrange multiple services into workflows supplying complex user needs. Due to the huge amount of Web services and the need to supply dynamically varying user goals, it is necessary to perform the composition automatically. The objective of this article is to overview the issues of automatic dynamic Web service composition. We discuss the issues related to the semantics of services, which is important for automatic Web service composition. We propose a problem formalization contributing to the formal definition of the pre-/post-conditions, with possible value restrictions, and their relation to the semantics of services. We also provide an overview of several existing approaches dealing with the problem of Web service composition and discuss the current achievements in the field and depict some open research areas

Semantic Web Service Composition using Planning and Ontology Concept Relevance

Abstract: This paper presents PORSCE II, a system that combines planning and ontology concept relevance for automatically composing semantic web services. The presented approach includes transformation of the web service composition problem into a planning problem, enhancement with semantic awareness and relaxation and solution through external planners. The produced plans are visualized and their accuracy is assessed

An architecture for autonomic web service process planning

Web service composition is a technology that has received considerable attention in the last number of years. Languages and tools to aid in the process of creating composite web services have been received specific attention. Web service composition is the process of linking single web services together in order to accomplish more complex tasks. One area of web service composition that has not received as much attention is the area of dynamic error handling and re-planning, enabling autonomic composition. Given a repository of service descriptions and a task to complete, it is possible for AI planners to automatically create a plan that will achieve this goal. If however a service in the plan is unavailable or erroneous the plan will fail. Motivated by this problem, this paper suggests autonomous re-planning as a means to overcome dynamic problems. Our solution involves automatically recovering from faults and creating a context-dependent alternate plan

ISReal: An Open Platform for Semantic-Based 3D Simulations in the 3D Internet

Abstract. We present the first open and cross-disciplinary 3D Internet research platform, called ISReal, for intelligent 3D simulation of real-ities. Its core innovation is the comprehensively integrated application of semantic Web technologies, semantic services, intelligent agents, ver-ification and 3D graphics for this purpose. In this paper, we focus on the interplay between its components for semantic XML3D scene query processing and semantic 3D animation service handling, as well as the semantic-based perception and action planning with coupled semantic service composition by agent-controlled avatars in a virtual world. We demonstrate the use of the implemented platform for semantic-based 3D simulations in a small virtual world example with an intelligent user avatar and discuss results of the platform performance evaluation.