Modeling component interaction: Z - notation based approach

Design and analysis of Interactions among Components is crucial factor towards effective design of Component Based Software (CBS). Proper modelling of Component Interaction will facilitate the analysis and design of communications among the components in CBS. The communication among the components are implemented by calling the functions of other components of by message passing. This paper proposes a Z-notation based formal model to capture the facets of component interactions. The propose model also facilitates measuring the complexity of various interactions among components and their compositions.