Object-Oriented Specification of Reactive Systems

@inproceedings{Jrvinen1990ObjectOrientedSO,
  title={Object-Oriented Specification of Reactive Systems},
  author={H.-M. J{\"a}rvinen and Reino Kurki-Suonio and Markku Sakkinen and Kari Syst{\"a}},
  booktitle={ICSE},
  year={1990}
}
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

Citations

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

Similar Papers

Loading similar papers…