rCOS: Refinement of component and object systems

UM > Faculty of Science and Technology > DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE

Status	已發表Published
	rCOS: Refinement of component and object systems
	Liu Z.1; Jifeng H.1; Li X.3
	2005-12-01
Source Publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3657 LNCS
Pages	183-221
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 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.
Keyword	Component-Based Development Consistency Object-Orientation Refinement Specification
URL	View the original
Language	英語English
Fulltext Access	View Full-Text via Scopus
Document Type	Conference paper
Collection	DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation	1.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.
APA	Liu Z.., Jifeng H.., & Li X. (2005). rCOS: Refinement of component and object systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3657 LNCS, 183-221.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Affiliation No.
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh