Protocol Verification in a Software Component-Based Approach

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by In? Mouakher Articles by Jeanine Souqui?res Articles by Francis Alexandre

15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)

March 31-April 04

ISBN: 978-0-7695-3141-0

	ASCII Text	x
	In? Mouakher, Jeanine Souqui?res, Francis Alexandre, "Protocol Verification in a Software Component-Based Approach," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 136-145, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), 2008.

	BibTex	x
	@article{ 10.1109/ECBS.2008.16, author = {In? Mouakher and Jeanine Souqui?res and Francis Alexandre}, title = {Protocol Verification in a Software Component-Based Approach}, journal ={Engineering of Computer-Based Systems, IEEE International Conference on the}, volume = {0}, year = {2008}, isbn = {978-0-7695-3141-0}, pages = {136-145}, doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2008.16}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Computer-Based Systems, IEEE International Conference on the TI - Protocol Verification in a Software Component-Based Approach SN - 978-0-7695-3141-0 SP136 EP145 A1 - In? Mouakher, A1 - Jeanine Souqui?res, A1 - Francis Alexandre, PY - 2008 KW - Component-based approach KW - specification KW - protocol KW - verification VL - 0 JA - Engineering of Computer-Based Systems, IEEE International Conference on the ER -

In? Mouakher

Jeanine Souqui?res

Francis Alexandre

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2008.16

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.

Index Terms:

Component-based approach, specification, protocol, verification

Citation:

In? Mouakher, Jeanine Souqui?res, Francis Alexandre, "Protocol Verification in a Software Component-Based Approach," ecbs, pp.136-145, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), 2008

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.