The Formal Model of Real-Time Service Components Composition Based on DCValid

Author

Jin, Xianli ; Shao, Xi

Author_Institution

Inst. of Comput. Technol., Nanjing Univ. of Posts & Telecommun., Nanjing, China

Volume

7

fYear

2009

fDate

March 31 2009-April 2 2009

Firstpage

835

Lastpage

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.

Keywords

Web services; object-oriented programming; program verification; real-time systems; temporal logic; DCValid; component-based development technique; duration calculus; formal model; interval temporal logic; real-time service component composition; service-oriented system; temporal constraint checking; Boolean functions; Calculus; Computer science; Educational institutions; Logic; Multimedia systems; Real time systems; Safety; Telecommunication computing; component; duration calculus; real-time; service composition;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Information Engineering, 2009 WRI World Congress on

Conference_Location

Los Angeles, CA

Print_ISBN

978-0-7695-3507-4

Type

conf

DOI

10.1109/CSIE.2009.852

Filename

5170432