원문정보
초록
영어
The paper focuses on a Z-semantic based conceptual model of component, called Z-Formal Specification of Component Model (ZFSCM), to conceptualize the different facts of component model in Component Based Software Engineering (CBSE). This model defines a set of components and their contracts or relationships using Z- notation. It is accompanied with different type’s services, classes, components and interfaces. This approach facilitates modeling of components using different schemas in software system. The ZFSCM has being checked validation using a type checker of Z notation (ZTC). The main focus of this paper is the formal specification of the components. The paper has also defined the relationships between the components and composition among them. Moreover, the paper also provides comparative study of several similar kinds of proposals for component models in Component Based Software Engineering (CBSE).
목차
1. Introduction
2. Related Research
3. Proposed Model for CBS: Z- specification based Approach
3.1. Structural Modeling Constructs of ZFSCM
3.2. Relationship in ZFSCM
4. Type Checking
4.1. Type-checking of the Modeling Constructs of ZFSCM
4.2. Type-checking of the Relationships of ZFSCM
5. Case Study
6. Feature of Component Based Data Model
6.1. Meta Modeling Level Features
6.2. Semantic and Construct Level Features
6.3. Comparative Study of Component based Model
7. Conclusion
References