Title :
Protocol Verification in a Software Component-Based Approach
Author :
Mouakher, Inés ; Souquieres, Jeanine ; Alexandre, Francis
Author_Institution :
Nancy Univ. Campus Sci., Nancy
fDate :
March 31 2008-April 4 2008
Abstract :
In a component-based software system, components are black boxes communicating through their interfaces, possibly using adapters. The verification of interoperability between the different components is a crucial issue to guarantee the trustworthy of the system as well as its correct realization. We present a systematic approach based on UML, the B method and its support tools to verify the correctness of component assembly at the protocol level.
Keywords :
Unified Modeling Language; formal verification; object-oriented programming; open systems; protocols; UML; component assembly; component-based software system; interoperability; protocol verification; software component-based approach; Access control; Access protocols; Assembly systems; Bridges; Communication system software; Computer interfaces; Conferences; Software systems; Terminology; Unified modeling language; Component-based approach; protocol; specification; verification;
Conference_Titel :
Engineering of Computer Based Systems, 2008. ECBS 2008. 15th Annual IEEE International Conference and Workshop on the
Conference_Location :
Belfast
Print_ISBN :
0-7695-3141-5
DOI :
10.1109/ECBS.2008.16