Manfred Broy:
Interaction and Realizability

We deal with the issue of realizability of interface descriptions of component behaviors. We treat the following aspects of interactive behaviors that are represented by relations between streams:

• between input and output streams
• of single outputs for given input
• from specifications that are not fully realizable to fully realizable ones
• role of non-realizable output in specific system contexts and for composition
• non-realizable behaviors to state machines
• concept of interactive computation

Finally we relate our perceptions to classical notions of computability. The main goal of this paper is the characterization a general concept of interactive behavior and the extension of the notion of computability to nondeterministic and interactive behaviors.