A Method of E-Service Workflow Composition Based on Linear Logic Inference Rules

2013 ◽  
Vol 756-759 ◽  
pp. 2120-2124
Author(s):  
Shan Zhou ◽  
Fang Yu Zhang
Keyword(s):  
Service Composition ◽  
Linear Logic ◽  
Internal Representation ◽  
Inference Rules ◽  
Finite State ◽  
Behavior Description ◽  
Automatic Service Composition ◽  
Interface Definition ◽  
And Behavior ◽  
Logic Inference

The paper proposes a method for semantic message matching in automatic service composition. It develops a framework in which the exported message description and behavior description of a service, and represents the behavior of a service with a finite state machine. 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.

scholarly journals AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTIONS

2005 ◽  
Vol 14 (04) ◽  
pp. 333-376 ◽  
Author(s):  
DANIELA BERARDI ◽  
DIEGO CALVANESE ◽  
GIUSEPPE DE GIACOMO ◽  
MAURIZIO LENZERINI ◽  
MASSIMO MECELLA
Keyword(s):  
Service Composition ◽  
Finite State Machine ◽  
State Transition ◽  
Automatic Synthesis ◽  
Prototype Tool ◽  
Specific Setting ◽  
Finite State ◽  
State Transition System ◽  
Correct Technique ◽  
Automatic Service Composition

This paper addresses the issue of automatic service composition. We first develop a framework in which the exported behavior of a service is described in terms of a so-called execution tree, that is an abstraction for its possible executions. We then study the case in which such exported behavior (i.e. the execution tree of the service) can be represented by a finite state machine (i.e. finite state transition system). In this specific setting, we devise sound, complete and terminating techniques both to check for the existence of a composition, and to return a composition, if one exists. We also analyze the computational complexity of the proposed algorithms. Finally, we present an open source prototype tool, called [Formula: see text] (E-Service Composer), that implements our composition technique. To the best of our knowledge, our work is the first attempt to provide a provably correct technique for the automatic synthesis of service composition, in a framework where the behavior of services is explicitly specified.

An agent-based approach towards automatic service composition in ambient intelligence

2008 ◽  
Vol 29 (3-4) ◽  
pp. 265-276 ◽  
Author(s):  
Maria J. Santofimia ◽  
Francisco Moya ◽  
Felix J. Villanueva ◽  
David Villa ◽  
Juan C. Lopez
Keyword(s):  
Service Composition ◽  
Ambient Intelligence ◽  
Agent Based ◽  
Automatic Service Composition

A Rule-Based Approach to Automatic Service Composition

2012 ◽  
Vol 4 (1) ◽  
pp. 16-28 ◽  
Author(s):  
Maria J. Santofimia ◽  
Xavier del Toro ◽  
Felix J. Villanueva ◽  
Jesus Barba ◽  
Francisco Moya ◽  
...  
Keyword(s):  
Service Composition ◽  
Ambient Intelligence ◽  
Rule Based ◽  
Service Oriented ◽  
Promising Solution ◽  
Automatic Service Composition ◽  
Rule Based Approach

The incapability to foresee or react to all the events that take place in a specific environment supposes an important handicap for Ambient Intelligence systems, expected to be self-managed, proactive, and goal-driven. Endowing such systems with capabilities to understand and reason about context seems like a promising solution to overcome this hitch. Supported on the service-oriented paradigm, composing rather than combining services provides a reasonable mean to implement versatile systems. This paper describes how systems for Ambient Intelligence can be improved by combining automatic service composition and reasoning capabilities upon a distributed middleware framework.

Sign in / Sign up

Export Citation Format

Share Document