Skip to main content
SpringerLink
Log in
Book cover

Annual Symposium on Theoretical Aspects of Computer Science

STACS 1994: STACS 94 pp 275–286Cite as

Reactive variables for system specification and design

  • Conference paper
  • First Online:

  • 124 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 775))

Abstract

A reactive system takes action when some event (induced by the environment) occurs. It is not easy to transform informal requirements about such a system into formal specifications, nor to refine these specifications into a correct design. The notion of reactive variable, introduced in this paper, can make the specification-design process easier.

Partially supported by FNRS (National Fund for Scientific Research, Belgium) under grant number 84536.94.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K.R. Apt, “Ten years of Hoare logic, part II: Nondeterminism”, Theoret. Cormput. Sci. 28 (1984) 83–109.

    Google Scholar 

  2. H. Barringer, “Up and Down The Temporal Way”, The Computer Journal, 10, pp. 134–148.

    Google Scholar 

  3. K.M. Chandy and J. Misra, “Parallel Program Design: a Foundation”, Addison-Wesley, 1988.

    Google Scholar 

  4. N. Gehany and A.D. McGettrick (Eds.), “Software Specification Techniques”, Addison-Wesley, 1986.

    Google Scholar 

  5. P. Gribomont, “Stepwise refinement and concurrency: the finite-state case”, Science of Computer Programming, 14, pp. 185–228, 1990.

    Google Scholar 

  6. P. Gribomont, “A programming logic for formal concurrent systems”, CONCUR 90 (Amsterdam), Lect. Notes in Comput. Science, 458, pp. 298–313, Springer, 1990.

    Google Scholar 

  7. M. Minsky, “A Framework for Representing Knowledge” MIT, Artificial Intelligence Memo 306, 1974.

    Google Scholar 

  8. C. Morgan, “Telephone Network” in I. Hayes, “Specification Case Studies”, Prentice Hall International, Englewood Cliff, 1987, pp. 73–87.

    Google Scholar 

  9. C. Morgan, “The Specification Statement”, A CM Trans. on Progr. Lang. Syst. 10 (1988) 403–419

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Liège, Belgium

    E. Pascal Gribomont

  2. Sema Group Belgium, Belgium

    Jacques Hagelstein

Authors
  1. E. Pascal Gribomont
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jacques Hagelstein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Patrice Enjalbert Ernst W. Mayr Klaus W. Wagner

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gribomont, E.P., Hagelstein, J. (1994). Reactive variables for system specification and design. In: Enjalbert, P., Mayr, E.W., Wagner, K.W. (eds) STACS 94. STACS 1994. Lecture Notes in Computer Science, vol 775. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57785-8_148

Download citation

  • DOI: https://doi.org/10.1007/3-540-57785-8_148

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57785-0

  • Online ISBN: 978-3-540-48332-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation