Compositional Methods in Characterization of Timed Event Structures
A logic characteristic formulas up to the timed testing preorders are constructed for model of timed event structures with discrete internal actions. Such logic formulas can be used for deciding a problem of recognizing timed testing relations. Timed event structures can be considered as a composition of their parts. And to simplify construction of characteristic formula we can try to use characteristic formulas of parts. In the paper we use compositional methods for construction of the characteristic formulas in a model of timed event structures with discrete internal actions.
KeywordsTimed event structures testing relations logical characterization
Unable to display preview. Download preview PDF.
- 8.Cleaveland, R., Zwarico, A.E.: A theory of testing for real-time. In: Proc. 6th IEEE Symp. on Logic in Comput. Sci., LICS 1991, Amsterdam, The Netherlands, pp. 110–119 (1991)Google Scholar
- 12.Laroussinie, F., Larsen, K.L., Weise, C.: From timed automata to logic — and back. — Århus (1995) (Tech. Rep. / BRICS, Dept. Comput. Sci., Univ. of Århus; N RS-95-2)Google Scholar