Wegner, P., Goldin, D. Interaction as a Framework for Modeling. In Chen, et al (Eds.) Conceptual Modeling: Current Issues and Future Directions, LNCS Vol. 1565 (1999).  Home/Search   Document Details and Download   Summary   Related Articles   Check

....Behind Dualism The dualism meta model is based on an articulation of in teractive behavior. Interaction has three components: com putation, persistence of state and channel sensitivity [10, 11] These building building blocks can be discerned from Wegner s interaction machine (IM) models [12, 13, 15, 16]. Figure I schematically depicts IM models. The least expressive interaction machine is a Turing Machine (TM) which is a purely algorithmic machine. Algorithmic computations are stateless and compute closed mappings between start and finish of computation. A Single stream Interaction Machine ....

....Figure I is strictly more expres sive than the one on its left. We shall not be addressing the theoretically significant issue of whether MIMs and SIMs can be reduced to Turing Machines here. They are relegated to separate papers themselves. For more details the interested reader is refered to [3, 2, 10, 12, 15, 14]. Information systems are mostly MIMs when it comes to their interactive behavior. On the other hand, a reactive system, a single object, a single user DBMS are all SIMs. Algorithms, task sequences and function calls are TMs. It is generally agreed that reactive systems cannot be adequately ....

P. Wegner and D. Goldin. Interaction as a Framework for Modeling (LNCS 1565). Springer-Verlag, 1999.

....GRK 316) possible only by a system that is interacting simultaneously over multiple interaction streams. From a database perspective, interleaved concurrency can be implemented as a serialized schedule of transactions, while true concurrency depicts a set of non serializable transactions. Wegner [8, 9, 10, 11] contends that an interactive system that interacts with more than one environments simultaneously, cannot be reduced to one that interacts with a single environment. In [7] we show that a multi stream interactive process is characterized by three properties: computation, persistence of state and ....

Peter Wegner, Dina Goldin. Interaction as a Framework for Modeling. In LNCS #1565, 1999.

....In particular, it allows some of the inputs to depend on intermediate outputs. Reactive systems clearly are in nite state systems and have a behavior that is evolving over time. One can also say that their program is changing over time. Wegner [29, 30] see also Wegner and Goldin [32]) recently called for a more computational view of reactive systems, claiming that they have a richer behavior than algorithms as we know This research was partially supported by GA CR grant No. 201 00 1489 and by EC Contract IST 199914186 (Project ALCOM FT) A preliminary version of this ....

P. Wegner, D. Goldin. Interaction as a framework for modeling, in: P. Chen et al. (Eds.), Conceptual Modeling - Current Issues and Future Directions, Lecture Notes in Computer Science, Vol. 1565, Springer-Verlag, Berlin, 1999, pp 243-257.

....on type theory and approaches known in mathematical logic[Tha00] The different design steps can be performed in parallel. 3.3 Interaction Objects at Different Abstraction Layers Interaction is specified on the basis of interaction steps. The specification can be based on interaction machines [WeG99]. Engines that provide service over time are transducers of interactively generated streams. Interaction machines solve a larger class of problems than Turing machines. The interaction engine approach has been generalized to a general theory of LIT 00 7. Leipziger Informatik Tage vom 28. bis 29. ....

P. Wegner and D. Goldin, Interaction as a framework for modeling. In: Conceptual modeling: current issues and future directions (eds. P. P. Chen, J. Akoka, H. Kangassalo, B. Thalheim), LNCS 1565, Springer, Berlin, 1999, 243-257.

....is not only necessary for all platform code (e.g. operating systems, database servers, enterprise servers, etc. but also for much of the computation that supports our current life style: software to control devices, telephone networks, etc. We note that there is some work emerging in this area [216]. DEVELOPMENT EVOLUTION Challenge 5 We have established comprehensive mechanisms for development evolution ( 8.1) Application developers require these facilities to be well integrated with their development tools, such as version and configuration managers, and build managers. It is possible ....

P. Wegner and D. Goldin. Interaction as a framework for modeling. LNCS, 1565:243--257, 1999.

....that the interaction space represents the complete set of IS dynamics. The complexity in characterizing an interaction space comes from the interactive nature of dialogs. Interactive processes which carry out interactive sessions with their environments cannot be reduced to algorithms [18] [19], 20] A B A B C D E A B C D E F G Algorithmic Computation Sequential Interaction Interaction Multi stream (concurrent) a) b) c) Figure 3: Algorithmic and interactive computations Figure 3 contrasts between algorithmic and interactive processes. Figure 3(a) depicts an ....

....dialogs currently functional. Constrained association can also be defined in terms of coproducts and set differences of operational contexts. The formal underpinnings are addressed more comprehensively in [15] 4 Related Work The notion of Interaction Machines (IMs) by Wegner and Goldin [18] [19], 20] show that interactive problem solving cannot be reduced to algorithmic problem solving. Although an object in the conventional sense would depict an interaction machine, the notion of IMs led us to ask how the solution space of an interactive problem solving is different from an ....

P. Wegner, D. Goldin. Interaction as a Framework for Modeling. in LNCS #1565.

....concept of an interaction space from a philosophical viewpoint. An interaction space represents an open space that consists of multiple interaction processes existing in a system that itself interacts with its environment over multiple interfaces. Recent notions like Interaction Machines [23] [24], 25] show that an open interaction space cannot be reduced to a closed space of an algorithmic computation. An open interaction space is represented by a Multi stream Interaction Machine (MIM) rather than a Turing Machine (TM) that represents computable functions. Section 3 introduces our ....

....In the above definition, it can be noted that the set of input symbols provided by the tape cannot be altered by the environment once the TM computation has begun. In other words, TMs characterizing the notion of algorithmic problem solving represents a non interactive notion of problem solving [24]. TMs depict a model for algorithmic computation or mathematical functions which can be characterized by a mechanical translation from a given problem state to a solution state. Real world applications however, are seldom described by initial problem states that contain all information necessary ....

Peter Wegner, Dina Goldin. Interaction as a Framework for Modeling. To appear in LNCS #1565.

....together. 2.1 Modeling Interactive Behavior The notion of modeling interactive behavior still lacks sound theoritical underpinnings. A promising approach in this direction of formalizing interactive behavior in a domain independent fashion seems to be the notion of Interaction Machines [WG99], We97] An Interaction Machine (IM) is an extension of a Turing Machine (TM) in the sense 3 that, an IM is a TM which interacts with one or more streams during its operation. Interaction between the IM and a stream is characterized by a series of input output pairs, where the input to the IM ....

Peter Wegner, Dina Goldin. Interaction as a Framework for Modeling. To appear in LNCS #1565. 13

No context found.

P.Wegner, D.Goldin. Interaction as a Framework for Modeling. In Chen, et. al. (Eds.) Conceptual Modeling: Current Issues and Future Directions, LNCS 1565, April 1999.

No context found.

P.Wegner, D.Goldin. Interaction as a Framework for Modeling. In Chen, et. al. (Eds.) Conceptual Modeling: Current Issues and Future Directions, LNCS 1565, April 1999.

No context found.

Peter Wegner and Dina Goldin, Interaction as a Framework for Modeling, Lecture Notes in Computer Science #1565, 1999.

....of the persistent worktape. TMs and PTMs are abstract computing devices useful for representing different forms of computational behavior: TMs model algorithmic behavior, where the output is modeled as a function or a relation of the input, whereas PTMs model sequential interactive behavior [WG1], where the computing device or agent evolves as it processes the inputs. This evolution is represented by the change in the contents of the PTM worktape, so PTM output tokens are a function of both the input tokens and of the evolving worktape contents. 2 Dina Q Goldin 1.2 PTM behavior and ....

....object oriented systems, and intelligent agents [AB,ZM,RN] In this section, we extend TMs by introducing persistence. In the next section, this is coupled with an extension of computational semantics from string to stream based, to result in a model for sequential interactive computation [WG1]. Definition 2.2. A Persistent Turing Machine (PTM) is a multitape Turing Machine (TM) with a persistent work tape whose contents is preserved between successive TM computations. A PTM s persistent work tape is known as its memory; the contents of the memory before and after (a single TM) ....

[Article contains additional citation context not shown here]

Peter Wegner, Dina Goldin. Interaction as a Framework for Modeling. Conceptual Modeling, LNCS 1565, Editors P. Chen et al., Springer-Verlag, 1999.

....is absent. However, persistency can be captured in dataflow models by feedback loops and in process calculi by explicitly modeling the data store. Persistent Turing machines, and the closely related Sequential Interaction Machines, have been introduced in earlier papers by Wegner and Goldin [Weg96, Weg97, Weg98, WG99, GST00, Gol00]. A major emphasis of this body of work is to show how such a computational framework can be used as a basis for modeling various forms of interactive computing, such as object oriented, agent based, dynamical systems, and others. An alternative approach to extending the Turing machine model to ....

P. Wegner and D. Goldin. Interaction as a framework for modeling. In Chen et al., editors, Conceptual Modeling: Current Issues and Future Directions. LNCS 1565, Springer-Verlag, April 1999. 12

No context found.

Wegner, P., Goldin, D. Interaction as a Framework for Modeling. In Chen, et al (Eds.) Conceptual Modeling: Current Issues and Future Directions, LNCS Vol. 1565 (1999).

No context found.

Peter Wegner, Dina Goldin. Interaction as a Framework for Modeling. In LNCS #1565.

No context found.

Wegner, P. and Goldin, D. Interaction as a Framework for Modeling, Lecture Notes in Computer Science 1565, P. P. Chen, J. Akoka, H. Kangassalo, and B. Thalheim, Eds. Berlin, Germany: Springer, 1999.

No context found.

Wegner, P. and Goldin, D. Interaction as a Framework for Modeling, in Conceptual Modeling, P. P. Chen, J. Akoka, H. Kangassalo, and B. Thalheim, Eds. Springer LNCS 1565, Berlin, Germany, 1999.

No context found.

Peter Wegner and Dina Goldin, "Interaction as a framework for modeling, " in Conceptual Modeling, P. Chen et al., eds., Springer-Verlag, Lecture Notes in Computer Science 1565 (1999), 243--257. 74

No context found.

P. Wegner and D. Goldin. Interaction as a framework for modeling. LNCS, 1565:243--257, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC