DocumentCode
3286080
Title
Protocol Verification in a Software Component-Based Approach
Author
Mouakher, Inés ; Souquieres, Jeanine ; Alexandre, Francis
Author_Institution
Nancy Univ. Campus Sci., Nancy
fYear
2008
fDate
March 31 2008-April 4 2008
Firstpage
136
Lastpage
145
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ECBS.2008.16
Filename
4492395
Link To Document