Interactive Computation
Subtitle: The New Paradigm
Contributors: Dina Goldin (Editor); Scott A. Smolka (Editor); Peter Wegner (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 19, 2006
Language: eng
Format: Hardcover
Number of pages: 487
ISBN-13: 9783540346661
Subjects: Computer Communications & Networking; Networking - General; Computer Science; Computers; Computers - Communications / Networking; Computer Books: General; Programming - General; Computability; Computers / Computer Science; Concurrency Models; Experimental Computing; Interactive Paradigm; Nondeterministic Models; Turing machines
First sentence: How has computer science developed since Turing's founding ideas?
Description: Interaction is an emerging paradigm of models of computation that re?ects the shift in technology from mainframes to networks of intelligent agents, from number-crunching to embedded systems to graphical user interfaces, andfromprocedure-orientedto object-baseddistributedsystems.Interacti- based models di?er from the Turing-machine-basedalgorithmic models of the 1960s in interesting and useful ways: ProblemSolving:Models ofinteractioncapturethenotionofperforminga task or providing a service,ratherthan algorithmicallyproducing outputs from inputs. Observable Behavior: In models of interaction, a computing component is modeled not as a functional transformation from input to output, but rather in terms of observable behavior consisting of interaction steps. For example, interactions may consist of interleaved inputs and outputs m- eled by dynamic streams; future input values can depend on past output values. Environments: In models of interaction, the world or environment of the computationis partofthemodelandplaysanactivepartinthecompu- tion by dynamically supplying the computational system, or agent, with inputs, and consuming the output values the system produces. The en- ronment cannot be assumed to be static or even e?ectively computable; for example, it may include humans or other real-world elements. Concurrency: In models of interaction, computation may be concurrent; a computing agent can compute in parallel with its environment and with other agents. The interaction paradigm provides a new conceptualization of compu- tional phenomena that emphasizes interaction rather than algorithms. C- current, distributed, reactive, embedded, component-oriented, agent-oriented andservice-orientedsystemsallexploitinteractionasafundamentalparadigm.