Synchronizing Behavioural Mismatch in Software Composition

Carlos Canal, Pascal Poizat, Gwen Salaün

Proceedings of the 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2006 (Bologna, Italy), June 2006.


Software Adaptation is a crucial issue for the development of a real market of components promoting software reuse. Recent work in this field has addressed several problems related to interface and behavioural mismatch. In this paper, we present our proposal for software adaptation, which builds on previous work overcoming some of its limitations, and makes a significant advance to solve pending issues. Our approach is based on the use of synchronous vectors and regular expressions for governing adaptation rules, and is supported by dedicated algorithms and tools.
15 pages


Slides of G. SalaŁn's lecture at FMOODS'06