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.

[1]  Zhijian Wang,et al.  A framework for component based software flexible design , 2009, 2009 4th International Conference on Computer Science & Education.

[2]  A. Kanjilal,et al.  CAG: A Component Architecture Graph , 2008, TENCON 2008 - 2008 IEEE Region 10 Conference.

[3]  Séverine Sentilles,et al.  A Classification Framework for Software Component Models , 2011, IEEE Transactions on Software Engineering.

[4]  Séverine Sentilles,et al.  A Classification Framework for Component Models , 2007 .

[5]  Anirban Sarkar,et al.  Z -Specification of Component Based Software , 2014 .

[6]  Manfred Broy,et al.  Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[7]  Alexander Romanovsky.  Exception handling in component-based system development , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

[8]  Petr Hnetynka,et al.  SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model , 2006, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06).

[9]  Guy Bernard,et al.  Auto-adaptation to communication environment through dynamic change of communication model , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[10]  Jing Guan,et al.  A model-based testing technique for component-based real-time embedded systems , 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[11]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[12]  Manas Ranjan Patra,et al.  A formal framework to build software agents , 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.

[13]  Xiao-ping Jia.  ZTC: A Type Checker for Z Notation User's Guide , 1995 .