@inproceedings{975178357f9f4c54807931f15161e34a,
title = "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 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.",
keywords = "Component-Based Development, Consistency, Object-Orientation, Refinement, Specification",
author = "Zhiming Liu and He Jifeng and Xiaoshan Li",
year = "2005",
doi = "10.1007/11561163\_9",
language = "英语",
isbn = "3540291318",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "183--221",
booktitle = "Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Revised Lectures",
address = "德国",
note = "3rd International Symposium on Formal Methods for Components and Objects, FMCO 2004 ; Conference date: 02-11-2004 Through 05-11-2004",
}