Synchronizing Behavioural Mismatch in Software Composition

C. Canal, P. Poizat, G. Salaün

Formal Methods for Open Object-Based Distributed Systems (FMOODS'06)

Bologna (Italy), June 2006

LNCS 4037, pp. 63–77, Springer, 2006, ISBN: 3-540-23988-X. ISSN 0302-9743


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 signature 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. (Draft)