An Adaptation-based Approach to Incrementally Build Component Systems

Pascal Poizat (1, 2) , Gwen Salaün (3) , Massimo Tivoli (4, 5)

1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 ARLES - Software architectures and distributed systems
3 VASY - System validation - Research and applications
4 DI - Dipartimento di Informatica [Italy]
5 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time

Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The objective of software adaptation is to compensate such incompatibilities building as automatically as possible corrective connectors or components. Constructing component-based systems from scratch is difficult, in particular when components cannot be used directly since they have to be adjusted with respect to their mates. Incremental construction methods are therefore essential because they make it possible to build systems step by step and therefore to master the complexity of their adaptation. In this paper, we propose an incremental approach to build component-based systems which relies on the generation of adaptors to overcome behavioural incompatibilities. The adaptation stage can be automated being given an abstract mapping formalising the properties of the system to be adapted.

Mots clés: Software Components; Behavioural Mismatch; Adaptation; Incremental Construction

Domaines: Langage de programmation [cs.PL]; Web; Génie logiciel [cs.SE]; Système multi-agents [cs.MA]

Pascal Poizat, Gwen Salaün, Massimo Tivoli. An Adaptation-based Approach to Incrementally Build Component Systems. Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), Sep 2006, Praha, Czech Republic. pp.155--170, ⟨10.1016/j.entcs.2006.09.037⟩. ⟨hal-00342162⟩