QoS-Aware Ubiquitous service Composition Based on Linear Logic Inference Rules

Hongbin Sun

doi:10.3991/ijoe.v9is2.2570

Abstract

Ubiquitous service modeling and composition is constrained and communication among nodes is error-prone and unreliable. Such a dynamic environment requires a continuous adaptation of the composition of services. The paper proposes a method for semantic message matching in automatic service composition. Since the service interface definition can be represented by ontology concepts, the internal representation language enables us to define some issues required by service composition formally, qualitative and quantitative constraints plus reasoning on concepts, and the service behavior can be represented using linear logic formulas, so the inference rules of linear logic can check the match-ability and satisfy-ability of service message. the mobile agent uses projection-join closure to capture such message situations. the optimization of the composition is translated into dynamic services selection with QoS global optimization. The simulation results show that the approach can significantly improve the Ubiquitous service performance. It adapts well to the changes of dynamic environments.

Highlights

A wireless sensor network is composed of a large number of sensor nodes that are densely deployed either inside the phenomenon or very close to it
Sensor networks present a challenging programming environment because of their limited resources, heterogeneity and highly dynamic nature. Such a dynamic environment requires a continuous adaptation of the composition of services
The method of quality of service (QoS)-Aware Ubiquitous service Composition is presented based on Linear Logic Inference Rules, qualitative and quantitative constraints plus reasoning on concepts, and the service behavior can be represented using linear logic formulas, so the inference rules of linear logic can check the match-ability and satisfy-ability of service message. the mobile agent uses projection-join closure to capture such message situations

Summary

INTRODUCTION

A wireless sensor network is composed of a large number of sensor nodes that are densely deployed either inside the phenomenon or very close to it. No mature method has been proposed to manage birth, death, migration, stability, and communication processes of enormous agents. Some methods for automatic composition and management of services have been proposed. A dynamic web service composition method is proposed that considers quality of service (QoS) and network characteristics[7], Automatic Path Creation service is centralized and looks for a shortest path from the end-user to the primitive services. In [11], the authors propose a dynamic flow control solution, applicable to sensor networks, which uses filters and wires between services. In [14], A service composition selection method is presented based on sharing routing in wireless sensor networks. The simulation results show that our approach can well adapt to different scenario, including the changes of dynamic environments as well as partial failure of agents and nodes

THE CONTEXT-AWARE METHOD OF UBIQUITOUS SERVICES COMPOSITION

SIMULATION AND DISCUSSION

Findings

CONCLUSIONS