Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2007)
Sept. 10, 2007 to Sept. 14, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.35
Javier Camara , University of Malaga, Spain
Gwen Salaun , University of Malaga, Spain
Carlos Canal , University of Malaga, Spain
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.
J. Camara, G. Salaun and C. Canal, "Run-time Composition and Adaptation of Mismatching Behavioural Transactions," 2007 IEEE International Conference on Software Engineering and Formal Methods(SEFM), London, 2007, pp. 381-390.