An Adaptation-based Approach to Incrementally Build Component Systems

Authors:
Pascal Poizat;Gwen Salaün;Massimo Tivoli
Affiliations:
IBISC FRE 2873 CNRS - Université d'Évry, France, ARLES Project, INRIA Rocquencourt, France;VASY Project, INRIA Rhône-Alpes, France;POPART Project, INRIA Rhône-Alpes, France, Università degli Studi dell'Aquila, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 10
Cited 2

Finite transition systems: semantics of communicating systems

Finite transition systems: semantics of communicating systems
Protocol specifications and component adaptors

ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating adapters for concurrent component protocol synchronisation

FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
A compositional formalization of connector wrappers

Proceedings of the 25th International Conference on Software Engineering
Deadlock-free software architectures for COM/DCOM applications

Journal of Systems and Software - Special issue on: Component-based software engineering
Composing Adaptive Software

Computer
A formal approach to component adaptation

Journal of Systems and Software - Special issue: Automated component-based software engineering
Component adaptation through flexible subservicing

Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Synchronizing behavioural mismatch in software composition

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Exp.Open 2.0: a flexible tool integrating partial order, compositional, and on-the-fly verification methods

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation

Electronic Notes in Theoretical Computer Science (ENTCS)
Structural reconfiguration of systems under behavioral adaptation

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.