rCOS: Refinement of Component and Object Systems

Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the structure, methods of classes and the main program, rather than changes in the behaviour of individual objects. This allows us to prove refinement laws for both high level design patterns and low level refactoring. For component-based development, we focus on the separation of concerns of interface and functional contracts, leaving refinement of interaction protocols in future work. The model supports the specification of these aspects at different f abstractions and their consistency. We the presentation of the semantics, we also provide a general definitional approach to defining different relational semantic models with different features and constraints.

• Type: Conference
• Year: 2004
• Where: FMCO
• Authors: Zhiming Liu, Jifeng He, Xiaoshan Li
• Keywords: Component-based Refinement, FMCO 2004, Formal Methods, Low Level Refactoring, Refinement Laws