2005 | OriginalPaper | Buchkapitel
rCOS: Refinement of Component and Object Systems
verfasst von : Zhiming Liu, He Jifeng, Xiaoshan Li
Erschienen in: Formal Methods for Components and Objects
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.