Formal Interface-Component Based Software Analysis and Design

Interaction interface is an important concept in component-base software engineering. In this paper, an interface-component based software analysis and design method is proposed,which is characterized by interface-based requirement analysis and interface-based design. It includes mainly three steps:(1)Capture and formally describe the interfaces from original user requirement;(2)Refine the interfaces until each interface becomes easily programable;(3)Dispatch interfaces to components and define the components assembly principle for further component-based implementation.We illustrates our approach in an application of a fully automatic washing machine control program named WashControl, and it shows good readability and traceability during the requirement analysis and design.