Paper Info
Title
A basic calculus for verifying properties of interacting objects
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.
Year
DOI
Venue
1996
10.1016/0169-023X(95)00039-U
Data Knowl. Eng.
Keywords
Field
DocType
interacting object,basic calculus,verifying property,verification,object oriented
Principle of compositionality,Dynamic programming,Relational calculus,Programming language,Object-oriented programming,Computer science,Proof calculus,Calculus of communicating systems,Theoretical computer science,Formal specification,Process calculus,Calculus
Journal
Volume
Issue
ISSN
18
2
0169-023X
Citations 
PageRank 
References 
4
0.57
23
Authors
1
Name
Order
Citations
PageRank
Stefan Conrad1168105.91