On the design of reactive systems

The notion of joint actions provides a framework in which the granularity of atomic actions can be refined in the design of concurrent systems. An example of a telephone exchange is elaborated to demonstrate the feasibility of this approach for reactive systems and to illustrate transformations that are justifiable in such a process. Particular problems arise when a refinement would allow new interleavings of semantically relevant events. The meaning of a reactive computation is specified in a way that makes this possible.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Bowen Alpern,et al.  Defining Liveness , 1984, Inf. Process. Lett..

[3]  Reino Kurki-Suonio.  Nondeterminism, parallelism and intermittent assertions , 1978, Mathematical Studies of Information Processing.

[4]  Peter Naur.  Formalization in Program Development , 1982 .

[5]  Richard J. Lipton,et al.  Reduction: a method of proving properties of parallel programs , 1975, CACM.

[6]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[7]  Ralph-Johan Back,et al.  Distributed cooperation with action systems , 1988, TOPL.

[8]  Reino Kurki-Suonio,et al.  A new paradigm for the design of concurrent systems , 1987, IRTAW '87.

[9]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[10]  K. Mani Chandy.  Parallel program design , 1989 .

[11]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[12]  Ralph-Johan Back,et al.  Serializability in Distributed Systems with Handshaking , 1988, ICALP.

[13]  John P. McDermott,et al.  OPS, A Domain-Independent Production System Language , 1977, IJCAI.

[14]  Reino Kurki-Suonio.  Towards programming with knowledge expressions , 1986, POPL '86.

[15]  Ralph-Johan Back,et al.  Decentralization of Process Nets with Centralized Control , 1983, PODC.

[16]  Zohar Manna,et al.  How to cook a temporal proof system for your pet language , 1983, POPL '83.