UM  > 科技學院  > 電腦及資訊科學系
rCOS: Refinement of component and object systems
Liu Z.1; Jifeng H.1; Li X.3
2005-12-01
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3657 LNCS
Pages183-221
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
Language英語
全文获取链接
Document TypeConference paper
专题DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.United Nations University
2.East China Normal University
3.Universidade de Macau
推荐引用方式
GB/T 7714
Liu Z.,Jifeng H.,Li X.. rCOS: Refinement of component and object systems[C],2005:183-221.
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
Google Scholar
中相似的文章 Google Scholar
[Liu Z.]的文章
[Jifeng H.]的文章
[Li X.]的文章
Baidu academic
中相似的文章 Baidu academic
[Liu Z.]的文章
[Jifeng H.]的文章
[Li X.]的文章
Bing Scholar
中相似的文章 Bing Scholar
[Liu Z.]的文章
[Jifeng H.]的文章
[Li X.]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。