Abstract | ||
---|---|---|
In component-based software development approaches, components are considered as black boxes, communicating through required and provided interfaces which describe their visible behaviors. Each component interface is equipped with a suitable data model defining all the types occurring in the interface operations. The provided interfaces are checked to be compatible with the corresponding required interfaces, by the way of adapters. We propose a method to develop and verify these adapters when the interface data models are different, using the formal method B. The use of B assembling and refinement mechanisms eases the verification of the interoperability between interfaces and the correctness of the component assembly. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1016/j.entcs.2009.03.024 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
component-based approach,trustworthy interface compliancy,component interface,suitable data model,data model,corresponding required interface,interoperability,interface,adapter,component assembly,formal method,data model adaptation,refinement mechanism,b refinement,interface operation,correctness,black box,interface data model,component-based software development approach,component based software development | Data modeling,Interoperability,Computer science,Correctness,Adapter (computing),Theoretical computer science,Component (UML),Formal methods,Data model,Software development | Journal |
Volume | Issue | ISSN |
203 | 7 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
2 | 0.40 | 13 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Samuel Colin | 1 | 16 | 2.84 |
Arnaud Lanoix | 2 | 103 | 11.54 |
Jeanine Souquières | 3 | 211 | 30.80 |