Object-oriented specification and open distributed systems. (English) Zbl 1278.68067

Owe, Olaf (ed.) et al., From object-orientation to formal methods. Essays in memory of Ole-Johan Dahl. Berlin: Springer (ISBN 3-540-21366-X/pbk). Lecture Notes in Computer Science 2635, 137-164 (2004).
Summary: An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term project. Essential here was the idea of reasoning about an object in terms of its observable behavior, where the specification of an object’s present behavior is given by means of its past interactions with the environment. In this paper, we review some of the ideas behind this approach and show how they can be fruitfully extended for reasoning about black-box components in open object-oriented distributed systems.
For the entire collection see [Zbl 1045.68015].


68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q60 Specification and verification (program logics, model checking, etc.)


Maude; LARCH
Full Text: DOI