Electronic Fee Collection (EFC). Interface definition between DSRC-OBE and external in-vehicle devices

2014 ◽  
Keyword(s):  
Interface Definition

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.

Sign in / Sign up

Export Citation Format

Share Document