REMICS participation at ECMFA 2012


REMICS was presenting a paper in the 8th European Conference on Modelling Foundations and Applications (ECMFA) 2012.  (

Mosser, S. et al..: A Commutative Model Composition Operator to Support Software Adaptation”. To appear in the Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA'12), pages 1-16, Springer LNCS.

ISBN: 978-3-642-31490-2 (Print) 978-3-642-31491-9 (Online)


The adaptive software paradigm supports the de nition of software systems that are continuously adapted at run-time. An adaptation activates multiple features in the system, according to the current execution context (e.g., CPU consumption, available bandwidth). However, the underlying approaches used to implement adaptation are ordered, i.e., the order in which a set of features are turned on or o matters. Assuming feature de nition as etched in stone, the identi cation of the right sequence is a dicult and time{consuming problem.We propose here a composition operator that intrinsically supports the commutativity of adaptations. Using this operator, one can minimize the number of ordered compositions in a system. It relies on an action{based approach, as this representation can support preexisting composition operators as well as our contribution in an uniform way. This approach is validated on the Service{Oriented Architecture domain, and is implemented using first-order logic.