## rCOS: A refinement calculus for object systems (2005)

Venue: | Theoretical Computer Science |

Citations: | 33 - 13 self |

### BibTeX

@TECHREPORT{Liu05rcos:a,

author = {Zhiming Liu and He Jifeng and Xiaoshan Li},

title = {rCOS: A refinement calculus for object systems},

institution = {Theoretical Computer Science},

year = {2005}

}

### Years of Citing Articles

### OpenURL

### Abstract

This article presents a mathematical characterization of object-oriented concepts by defining an observation-oriented semantics for a relational objectoriented language with a rich variety of features including subtypes, visibility, inheritance, type casting, dynamic binding and polymorphism. The language is expressive enough for the specification of object-oriented designs and programs. We also propose a calculus based on this model to support both structural and behavioral refinement of object-oriented designs. We take the approach of the development of the design calculus based on the standard predicate logic in Hoare and He’s Unifying Theories of Programming (UTP). We also consider object reference in terms of object identity as values and mutually dependent methods.