|
This paper proposes a new method for modeling the real-time service components composition using Duration Calculus (DC), an interval temporal logic. We first introduce the definition of service component formalism. Then we analyze how to use DC to describe the component composition in detail. Moreover, the temporal constraint checking of component composition is discussed. Compared with the previous methods, the main advantage of our method is that it can formally depict the temporal constraints with different granularities of the service-oriented system. |
|
Keywords:service composition, component, duration calculus, real-time |
|