This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
The Formal Model of Real-Time Service Components Composition Based on DCValid
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
This paper proposes a new method for modeling the real-time service components composition using DCValid, an interval temporal logic. We first introduce the definition of service component formalism. Then we analyze how to use DCValid to describe the components composition in detail. Moreover, the temporal constraint checking of components composition is discussed. The main characteristic of our method is that it can formally depict the temporal constraints with different granularities of the service-oriented system.
Index Terms:
service composition, component, duration calculus, real-time
Citation:
Xianli Jin, Xi Shao, "The Formal Model of Real-Time Service Components Composition Based on DCValid," csie, vol. 7, pp.835-839, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.