Advertisement

Interactive and reactive systems: States, observations, experiments, input, output, nondeterminism, compositionality and all that

Extended abstract
  • Manfred Broy
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1337)

Abstract

In this paper, we discuss, analyse, relate, and investigate the basic notions of state, action, experiment, and observation and their importance for questions of compositionality as they appear in reactive systems. In particular, we discuss the concept and role of input and output as well as that of nondeterminism for the mathematical modelling of system behaviours. We argue that for a given state transition system with composition operators there exists a canonical notion of nondeterminism as well as of input and output and that these notions are helpful in the search for modular semantic models.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Broy et. al. 91]
    M. Broy, F. Dederichs, C. Dendorfer, R. Weber: Characterizing the Behaviour of Reactive Systems by Trace Sets. Technische Universität München, Institut für Informatik, TUM-I9102, February 1991Google Scholar
  2. [Kennaway 81]
    J. R. Kennaway: Formal Semantics of Nondeterminism and Parallelism. Ph. D. Thesis, St. John's College, Oxford University 1981Google Scholar
  3. [Lynch, Stark 89]
    N. Lynch, E. Stark: A Proof of the Kahn Principle for Input/Output Automata. Information and Computation 82, 1989, pp. 81–92MathSciNetCrossRefGoogle Scholar
  4. [Milner 85]
    R. Milner: Lectures on a Calculus for Communicating Systems. In: M. Broy (ed.): Control Flow and Data Flow: Concepts of Distributed Programming. NATO ASI Series, Series F: Computer and System Sciences, Vol. 14, Springer 1985, 205–228Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen

Personalised recommendations