Protocol Verification in a Software Component-Based Approach

Inès Mouakher; Jeanine Souquières; Francis Alexandre

hal-00185002, version 1

Protocol Verification in a Software Component-Based Approach

Inès Mouakher ^1, 2, Jeanine Souquières () ¹, Francis Alexandre () ¹

15th annual IEEE International Conference on the Engineering of Computer Based Systems (2008) 10 pages

Résumé : In a component-based software system, components are black boxes communicating through their interfaces, possibly using adapters. The verification of the 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.

1 : DEDALE (LORIA)
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
2 : Faculté des Sciences de Tunis (FST)
Faculté des Sciences de Tunis

hal-00185002, version 1
http://hal.archives-ouvertes.fr/hal-00185002
oai:hal.archives-ouvertes.fr:hal-00185002
Contributeur : Jeanine Souquières <>
Soumis le : Lundi 5 Novembre 2007, 06:27:38
Dernière modification le : Lundi 17 Décembre 2007, 08:34:45

Voir la fiche détaillée

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="hal-00185002"><analytic>
<author><persName><forename>Inès</forename><surname>Mouakher</surname></persName>
<affiliation>
<orgName type="laboratory">LORIA</orgName>
<orgName type="team">DEDALE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">FST</orgName>
<orgName type="team">Faculté des Sciences de Tunis</orgName>
<country>TN</country>
<orgName type="institution">Faculté des Sciences de Tunis</orgName>
</affiliation>
</author>
<author><persName><forename>Jeanine</forename><surname>Souquières</surname></persName>
<affiliation>
<orgName type="laboratory">LORIA</orgName>
<orgName type="team">DEDALE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Francis</forename><surname>Alexandre</surname></persName>
<affiliation>
<orgName type="laboratory">LORIA</orgName>
<orgName type="team">DEDALE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<title type="main" level="a">Protocol Verification in a Software Component-Based Approach</title></analytic><monogr><title level="m" type="main">ECBS 2008</title><meeting>15th annual IEEE International Conference on the Engineering of Computer Based Systems</meeting><imprint><pubPlace><settlement>Belfast</settlement><country>Irlande</country></pubPlace><biblScope type="publicationDate">2008-03-31</biblScope><biblScope type="pp">10 pages</biblScope></imprint></monogr><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00185002</idno></biblStruct>
</listBibl>
</listBibl>