A strategy for component-based modeling and refinement

We present a formal model for component-based development system that provides precise mathematical definitions for concepts like component, connector, software architecture as well as interface, type and behavior. Based on these concepts, we develop a refinement approach that captures the essential nature and principles of component-based design.