Modeling and Validating Dynamic Adaptation

  • Franck Fleurey
  • Vegard Dehlen
  • Nelly Bencomo
  • Brice Morin
  • Jean-Marc Jézéquel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5421)


This paper discusses preliminary work on modeling and validation dynamic adaptation. The proposed approach is on the use of aspect-oriented modeling (AOM) and models at runtime. Our approach covers design and runtime phases. At design-time, a base model and different variant architecture models are designed and the adaptation model is built. Crucially, the adaptation model includes invariant properties and constraints that allow the validation of the adaptation rules before execution. During runtime, the adaptation model is processed to produce a correct system configuration that can be executed.


Service Agent Service Discovery Architecture Model User Agent Directory Agent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Bencomo, N., France, R., Blair, G.: 2nd international workshop on models@run.time. In: MODELS 2007 Workshops. LNCS, vol. 5002, pp. 206–211. Springer, Heidelberg (2008)Google Scholar
  3. 3.
    Chauvel, F., Barais, O., Borne, I., Jezequel, J.-M.: Composition of qualitative adaptation policies. In: Proceedings of Automated Software Engineering Conference (ASE 2008) (2008)Google Scholar
  4. 4.
    David, P.-C., Ledoux, T.: An aspect-oriented approach for developing self-adaptive fractal components. In: Löwe, W., Südholt, M. (eds.) SC 2006. LNCS, vol. 4089, pp. 82–97. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    David, P.C., Ledoux, T.: WildCAT: a generic framework for context-aware applications. In: MPAC 2005: 3rd Int. Workshop on Middleware for Pervasive and Ad-hoc Computing, pp. 1–7. ACM, New York (2005)Google Scholar
  6. 6.
    Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., Gjorven, E.: Using architecture models for runtime adaptability. Software IEEE 23(2), 62–70 (2006)CrossRefGoogle Scholar
  7. 7.
    Flores-Cortés, C.A., Blair, G., Grace, P.: An Adaptive Middleware to Overcome Service Discovery Heterogeneity in Mobile Ad-hoc Environments. IEEE Dist. Systems Online (2007)Google Scholar
  8. 8.
    Lahire, P., Morin, B., Vanwormhoudt, G., Gaignard, A., Barais, O., Jézéquel, J.-M.: Introducing variability into aspect-oriented modeling approaches. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 498–513. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  9. 9.
    Moon, S., Lee, K.H., Lee, D.: Fuzzy branching temporal logic. IEEE Transactions on Systems Man, and Cybernetics –PartB: Cybernetics 34(2) (2004)Google Scholar
  10. 10.
    Morin, B., Fleurey, F., Bencomo, N., Jezequel, J.-M., Solberg, A., Dehlen, V., Blair, G.: An aspect-oriented and model-driven approach for managing dynamic variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301. Springer, Heidelberg (2008)Google Scholar
  11. 11.
    Morin, B., Vanwormhoudt, G., Lahire, P., Gaignard, A., Barais, O., Jézéquel, J.-M.: Managing variability complexity in aspect-oriented modeling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301. Springer, Heidelberg (2008)Google Scholar
  12. 12.
    Muller, P.A., Fleurey, F., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: International Conference on Software Engineering (ICSE 2006), China (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Franck Fleurey
    • 1
  • Vegard Dehlen
    • 1
  • Nelly Bencomo
    • 2
  • Brice Morin
    • 3
  • Jean-Marc Jézéquel
    • 3
  1. 1.SINTEFOsloNorway
  2. 2.Computing DepartmentLancaster UniversityLancasterUK
  3. 3.IRISA/INRIA Rennes, Equipe Triskell, RennesFrance

Personalised recommendations