Analytical model for Component Based system - CASE tool based approach

Analysis of formally specified Component Based Software (CBS) provides a concrete way to represent the requirements from both system and user. A CASE tool makes a development more powerful and gives a graphical effect by which a user can easily visualize the fact. Powerful CASE tools for CBS are useful to improve the developer productivity and ensure the syntactical correctness of the CBS model for effective system design. The paper proposes an analytical model for the Z-Formal Specification of Component Model (ZFSCM) with the help of CASE tool design specification. ZFSCM is a formally specified component based model to conceptualize the different facts of component model in CBSE. It defines a set of components and their contracts or relationships using Z-notation. It is accompanied with different type of services, classes, components and interfaces. This approach facilitates modeling of components using different schemas in software system. The proposed approach in this paper is to analyze the ZFSCM based on the approach of a CASE Tool to enhance the productivity and ensure the syntactical correctness of the ZFSCM for effective system design.