Run-time Composition and Adaptation of Mismatching Behavioural Transactions

Authors:
Javier Camara;Gwen Salaun;Carlos Canal
Affiliations:
University of Malaga, Spain;University of Malaga, Spain;University of Malaga, Spain
Venue:
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Year:
2007

Citing 0
Cited 4

Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Adaptation On-the-Fly

Electronic Notes in Theoretical Computer Science (ENTCS)
Clint: a composition language interpreter (tool paper)

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A service-oriented framework for developing cross cloud migratable software

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 冒-calculus to specify component interfaces. The 冒-calculus is particularly suitable for creating new component instances and channels dynamically. The unbounded number of transactions and the use of the 冒-calculus obliges to apply the composition at run-time. In this paper, we propose a run-time composition engine that solves existing mismatches.