Module reuse by interface adaptation
Software—Practice & Experience
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
A Method for Component-Based Software and System Development
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
A Generic Framework for Connector Architectures based on Components and Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Enhancing dependability of component-based systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Changing system interfaces consistently: A new refinement strategy for CSP||B
Science of Computer Programming
Hi-index | 0.01 |
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.