Skip to main content

Compositional Methods in Characterization of Timed Event Structures

  • Conference paper
  • 472 Accesses

Part of the Lecture Notes in Computer Science book series (LNISA,volume 7162)

Abstract

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.

Keywords

  • Timed event structures
  • testing relations
  • logical characterization

This work is supported in part by the grant DFG-RFBR (N 436 RFBR 113/1002/01 and 09-01-91334).

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aceto, L., De Nicola, R., Fantechi, A.: Testing Equivalences for Event Structures. In: Venturini Zilli, M. (ed.) Mathematical Models for the Semantics of Parallelism. LNCS, vol. 280, pp. 1–20. Springer, Heidelberg (1987)

    CrossRef  Google Scholar 

  2. Alur, R., Courcoubetis, C., Dill, D.: Model checking in dense real time. Inform. and Comput. 104, 2–34 (1993)

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. Andreeva, M.V., Bozhenkova, E.N., Virbitskaite, I.B.: Analysis of timed concurrent models based on testing equivalence. Fundamenta Informaticae 43, 1–20 (2000)

    MathSciNet  MATH  Google Scholar 

  4. Bihler, E., Vogler, W.: Timed Petri Nets: Efficiency of Asynchronous Systems. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 25–58. Springer, Heidelberg (2004)

    CrossRef  Google Scholar 

  5. Bozhenkova, E.N.: Testing equivalences for reak-time event structures. Journal of Computational Technologies 15(3), 52–68 (2010) (in Russian)

    MATH  Google Scholar 

  6. Castellani, I., Hennessy, M.: Testing Theories for Asynchronous Languages. In: Arvind, V., Sarukkai, S. (eds.) FST TCS 1998. LNCS, vol. 1530, pp. 90–102. Springer, Heidelberg (1998)

    CrossRef  Google Scholar 

  7. Cleaveland, R., Hennessy, M.: Testing Equivalence as a Bisimulation Equivalence. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407, pp. 11–23. Springer, Heidelberg (1990)

    CrossRef  Google Scholar 

  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 

  9. De Nicola, R., Hennessy, M.: Testing equivalence for processes. Theoretical Comput. Sci. 34, 83–133 (1984)

    CrossRef  MATH  Google Scholar 

  10. Goltz, U., Wehrheim, H.: Causal Testing. In: Penczek, W., Szałas, A. (eds.) MFCS 1996. LNCS, vol. 1113, pp. 394–406. Springer, Heidelberg (1996)

    CrossRef  Google Scholar 

  11. Hennessy, M., Regan, T.: A process algebra for timed systems. Inform. and Comput. 117, 221–239 (1995)

    CrossRef  MathSciNet  MATH  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 

  13. Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 343–357. Springer, Heidelberg (2001)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bozhenkova, E. (2012). Compositional Methods in Characterization of Timed Event Structures. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds) Perspectives of Systems Informatics. PSI 2011. Lecture Notes in Computer Science, vol 7162. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29709-0_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29709-0_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29708-3

  • Online ISBN: 978-3-642-29709-0

  • eBook Packages: Computer ScienceComputer Science (R0)