The Community for Technology Leaders
RSS Icon
Subscribe
Los Angeles, CA
March 31, 2009 to April 2, 2009
ISBN: 978-0-7695-3507-4
pp: 835-839
ABSTRACT
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, 2009, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009, pp. 835-839, doi:10.1109/CSIE.2009.852
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool