Object-Oriented Specification of Reactive Systems

  title={Object-Oriented Specification of Reactive Systems},
  author={H.-M. J{\"a}rvinen and Reino Kurki-Suonio and Markku Sakkinen and Kari Syst{\"a}},
A novel approach to the operational specification of concurrent systems is presented, leading to an object-oriented specification language. Compared to object-oriented programming languages, objects are structured as hierarchical state-transition systems, methods of individual objects are replaced by roles in cooperative, multi-object actions, whereby explicit mechanisms for process communication are avoided, and a simple nondeterministic execution model is introduced that requires no explicit… CONTINUE READING

From This Paper

Topics from this paper.
53 Citations
0 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 53 extracted citations

Similar Papers

Loading similar papers…