Abstract:Models of software components at di erent levels of abstraction, component interfaces, contracts, implementations and publications are important for component-based design. Refinement relations among models at the same level and between di erent levels are essential for model-driven development of components. Classical refinement theories mainly focus on verification and put little attention on design. Therefore, most of them are not suitable for component-based model-driven development (CB-MDD). To address this issue, in this paper, we propose two refinement relations for CB-MDD, that is a trace-based refinement and a state-based refinement. Both are discussed in the framework of rCOS, which is a formal model of component and object systems. These refinement relations provide di erent granularity of abstraction and can capture the intuition that a refined component provides “more” and “better” services to the environment. We also show how to extend these refinement relations to allow us to compare contracts, components and publications with di erent interfaces by exploiting the primitive operator internalizing over contracts, components and publications.

Research on supporting component model with evolution information by extending CDL

SUPPORTING COMPONENT-BASED SOFTWARE DEVELOPMENT BY EXTENDING THE CDL WITH SOFTWARE CONFIGURATION INFORMATION

A Survey And Extension On Software Evolution And Computer-Aided Prototyping

Multi-component Agent Based Collaborative Design System

An Evolutionary Development Model Supporting Executable Specification

A Component-Based Approach to Online Software Evolution.

Component Model Supporting Trustworthiness-Oriented Software Evolution

Study on Behavior Consistency of System on Component Evolution

Research on Evolutionary Design Technology for Creative Product on Integrated Platform

An Architecture-based Evolution Management Method for Software Product Line.

SE-FCA: A Model of Software Evolution with Formal Concept Analysis

Component Composition Operations and Component Evolution Based on Messages

Analysis of Component Behaviors in Dynamic Architecture Evolution

Model Evolution and Management

Research on modeling of maintenance support system and its evolution mechanism based on CAS

A Dynamic Software Architecture Oriented Approach to Online Evolution

A software configuration management model for supporting component-based software development.

A Reliability-oriented Evolution Method of Software Architecture Based on Contribution Degree of Component.

Study on Component-Based Evolving Model Frame Work for Agile Enterprise Information System

Supporting Reliability Modeling and Analysis for Component-Based Software Architecture: an XML-Based Approach

Refinement of Models of Software Components (extended Abstract)