Sciweavers

Share
FMCO
2004
Springer

rCOS: Refinement of Component and Object Systems

10 years 6 months ago
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.
Zhiming Liu, Jifeng He, Xiaoshan Li
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FMCO
Authors Zhiming Liu, Jifeng He, Xiaoshan Li
Comments (0)
books