Run-time Composition and Adaptation of Mismatching Behavioural Transactions

Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particularly focus on systems for which the number of transactions is unbounded, and unknown in advance. This is typical in pervasive systems where a new client may show up at any moment to request or access a specific service. Hence, we advocate for the use of the pi-calculus to specify component interfaces. The pi-calculus is particularly suitable for creating new component instances and channels dynamically. The unbounded number of transactions and the use of the pi-calculus obliges to apply the composition at run-time. In this paper, we propose a run-time composition engine that solves existing mismatches.

[1]  Gustavo Alonso,et al.  A Proactive Middleware Platform for Mobile Computing , 2003, Middleware.

[2]  Marco Pistore,et al.  Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition , 2005, ESWC.

[3]  Carlos Canal,et al.  Synchronizing Behavioural Mismatch in Software Composition , 2006, FMOODS.

[4]  Gwen Salaün,et al.  Adaptation of Open Component-Based Systems , 2007, FMOODS.

[5]  Martin Glinz,et al.  Runtime Adaptation of Applications Through Dynamic Recomposition of Components , 2005, ARCS.

[6]  Michael Krause.  Strategies for OnThe-Fly Composition of Context Information Services , 2004 .

[7]  Antonio Brogi,et al.  A formal approach to component adaptation , 2005, J. Syst. Softw..

[8]  Ralf H. Reussner,et al.  Generating Adapters for Concurrent Component Protocol Synchronisation , 2002, FMOODS.

[9]  Radu Mateescu,et al.  CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes , 2007, CAV.

[10]  Antonio Brogi,et al.  Dynamically Adapting the Behaviour of Software Components , 2002, COORDINATION.

[11]  Paola Inverardi,et al.  Deadlock-free software architectures for COM/DCOM Applications , 2003, J. Syst. Softw..

[12]  Javier Cámara,et al.  Context-Based Adaptation of Component Behavioural Interfaces , 2007, COORDINATION.

[13]  Paola Inverardi,et al.  Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems , 2006, EWSA.

[14]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[15]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[16]  Paola Inverardi,et al.  Software Architecture for Correct Components Assembly , 2003, SFM.