Copyright © 1996 Published by Elsevier Science B.V.
Paper
A basic calculus for verifying properties of interacting objects
Received 20 March 1995;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
We introduce a basic calculus for expressing and proving properties of interacting objects. The objects considered have dynamic behaviour and are organized into object communities in a hierarchical way. After a detailed and formal presentation of the calculus, essential properties of the calculus are discussed, especially the question of compositionality.
The calculus constitutes a basis for investigating issues of verifying properties of objects and object communities. In consequence, we have focused on a small number of essential concepts. This calculus can be seen as an extensible basis applicable to different object-oriented specification frameworks.
Author Keywords: Object specification; Dynamic objects; Verification; Compositional specification; Compositional verification; Basic calculus







E-mail Article
Add to my Quick Links

Cited By in Scopus (0)





