Authors
David Harel, Amir Pnueli
Publication date
1984
Book
Logics and models of concurrent systems
Pages
477-498
Publisher
Springer Berlin Heidelberg
Description
Some observations are made concerning the process of developing complex systems. A broad class of systems, termed reactive, is singled out as being particularly problematic when it comes to finding satisfactory methods for behavioral description. In this paper we recommend the recently proposed statechart method for this purpose. Moreover, it is observed that most reactive systems cannot be developed in a linear stepwise fashion, but, rather, give rise to a two-dimensional development process, featuring behavioral aspects in the one dimension and implementational ones in the other. Concurrency may occur in both dimensions, as orthogonality of states in the one and as parallelism of subsystems in the other. A preliminary approach to working one's way through this" magic square" of system development is then presented. The ideas described herein seem to be relevant to a wide variety of application areas.
Total citations
19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024714192243355247453948534241504045396647545852416363514146223338272739243617
Scholar articles
D Harel, A Pnueli - Logics and models of concurrent systems, 1984