rCOS: Refinement of component and object systems
Liu Z.1; Jifeng H.1; Li X.3
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3657 LNCS
AbstractWe 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 levels of abstractions and their consistency. Based on the semantics, we also provide a general definitional approach to defining different relational semantic models with different features and constraints. © Springer-Verlag Berlin Heidelberg 2005.
KeywordComponent-Based Development Consistency Object-Orientation Refinement Specification
URLView the original
Fulltext Access
Document TypeConference paper
Affiliation1.United Nations University
2.East China Normal University
3.Universidade de Macau
Recommended Citation
GB/T 7714
Liu Z.,Jifeng H.,Li X.. rCOS: Refinement of component and object systems[C],2005:183-221.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Liu Z.]'s Articles
[Jifeng H.]'s Articles
[Li X.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Liu Z.]'s Articles
[Jifeng H.]'s Articles
[Li X.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Liu Z.]'s Articles
[Jifeng H.]'s Articles
[Li X.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.