Interactive Systems with Registers and Voices

• Autorzy: Stefanescu G.
• Języki publikacji: EN

Abstrakty

EN

We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems with registers and voices); it includes register machines, is space-time invariant, is compositional, may describe computations extending in both time and space, and is applicable to open, interactive systems. To achieve modularity in space the model uses voices (a voice is the time dual of a register) - they provide a high level organization of temporal data and are used to describe interaction interfaces of processes. The programming language uses novel techniques for syntax and semantics to support computation in space paradigm. We describe rv-programs and base their syntax and operational semantics on FIS-es (finite interactive systems) and their grid languages (a FIS is a kind of 2-dimensional automaton specifying both control and interaction used in rv-programs). We also present specification techniques for rv-systems, using relations between input registers and voices and their output counterparts. The paper includes simple specifications for an OO-system and for an interactive game.

Słowa kluczowe

EN

interactive systems; programming languages; syntax; semantics; temporal specifications; registers; voice; object oriented; finite interactive systems; rv-systems; rv-programs; grids; space-time duality

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 73, nr 1-2
• Strony: 285--305
• Opis fizyczny: wykr., bibliogr. 17 poz.

Twórcy

autor

Stefanescu G.

• Faculty of Mathematics and Computer Science , Bucharest University, Str. Academiei 14, RO 70101 Bucharest, Romania,

Bibliografia

• [1] M. Abadi, L. Lamport: Composing specifications. ACM Trans. Program. Lang. Syst., 15 (1993), 73-132.
• [2] G. Agha: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
• [3] M. Broy, E.R. Olderog: Trace-orientedmodels of concurrency. In Handbook of Process Algebra (J.A. Bergstra et.al., eds.), North-Holland, 2001, 101-196.
• [4] R. De Nicola, M. Hennessy: Testing equivalences for processes. Theor. Comput. Sci., 34 (1984), 83-133.
• [5] F. Gadducci, U. Montanari: The tile model. In Proof, Language, and Interaction: Essays in Honour of Robin Milner, MIT Press, 1999, 133-168.
• [6] D. Giammarresi, A. Restivo: Two-dimensional languages. In Handbook of Formal Languages. Vol. 3: Beyond Words (G. Rozenberg, A. Salomaa, eds.), Springer-Verlag, Berlin, 1997, 215-265.
• [7] D. Harel: Statecharts: A visual formalism for complex systems. Sci. Comput. Program., 8 (1987), 231-274.
• [8] D. Harel, R. Marelly: Come, Pet's play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, Berlin, 2003.
• [9] O.H. Jensen, R. Milner: Bigraphs and transitions. Proc. POPL 2003, 38-49.
• [10] V.F.R. Jones: Planar algebras. NZ J. Math., to appear.
• [11] A. Mateescu, A. Salomma: Formal languages: An introduction and a synopsis. In Handbook of Formal Languages. Vol. 1: Word, Language, Grammar (G. Rozenberg, A. Salomaa, eds.), Springer-Verlag, Berlin, 1997, 1-40.
• [12] R. Milner: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, 1999.
• [13] Gh. Ştefănescu: Network Algebra. Springer-Verlag, Berlin, 2000.
• [14] Gh. Ştefănescu: Algebra of networks: Modeling simple networks as well as complex interactive systems. In Proof and System Reliability (Proc. 2001 Marktoberdorf Summer School), Kluwer, 2002, 49-78.
• [15] Gh. Ştefănescu: Interactive systems with registers and voices. Draft, School of Computing, National University of Singapore, July 2004.
• [16] W. Wadge, E.A. Ashcroft: Lucid, the Dataflow Programming Language. Academic Press, New York, 1985.
• [17] P. Wegner: Interactive foundations of computing. Theor. Comput. Sci., 192 (1998), 315-351.