Interactive and reactive systems: States, observations, experiments, input, output, nondeterminism, compositionality and all that
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.
Unable to display preview. Download preview PDF.
- [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
- [Kennaway 81]J. R. Kennaway: Formal Semantics of Nondeterminism and Parallelism. Ph. D. Thesis, St. John's College, Oxford University 1981Google Scholar
- [Lynch, Stark 89]
- [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