A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5795 LNCS, Issue , 2009, Pages 606-621

  Fleurey, Franck ^a   Solberg, Arnor ^a  

^a SINTEF   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTATION RULES; COMBINATORIAL EXPLOSION; COMPLEX TASK; DISTRIBUTED SYSTEMS; DOMAIN SPECIFIC MODELING LANGUAGES; DYNAMIC CHANGES; EFFICIENT DESIGNS; INTER-DEPENDENT COMPONENTS; NON-TRIVIAL; RUNTIMES; SCALABLE SOLUTION; SYSTEM FUNCTIONALITY; SYSTEM VALIDATION; TIGHTLY-COUPLED; TIME SIMULATIONS;

ADAPTIVE SYSTEMS; EMBEDDED SYSTEMS; LINGUISTICS; MODELS; QUERY LANGUAGES; SPECIFICATIONS;

MODEL CHECKING;

EID: 77249177857     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_47     Document Type: Conference Paper

References (17)

1. Deliverable D3.1: Survey and evaluation of approaches for runtime variability management, part of FP7 project DiVA, EU FP7 STREP, contract 215412 (2008)
2. Morin, B., Fleurey, F., Bencomo, N., Jézéquel, 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, pp. 782-796, Springer, Heidelberg (2008)
3. Fleurey, F., Dehlen, V., Bencomo, N., Morin, B., Jézéquel, J.M.: Modeling and Validating Dynamic Adaptation, In: The Models@run.time at MODELS 2008, Toulouse, France (2008)
4. 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)
5. Bencomo, N., Grace, P., Flores, C., Hughes, D., Blair, G: Genie: Supporting the model driven development of reflective, component-based adaptive systems. In: ICSE 2008 Formal Research Demonstrations Track (2008)
6. Zhang, J., Cheng, B.H.C.: Model-based Development of Dynamically Adaptive Software, In: Proceedings of the ICSE 2006 Conference, New York, NY, USA, pp, 371-380 (2006)
7. David, P., Ledoux, T.: Safe Dynamic Reconfigurations of Fractal Architectures with FScript, In: Proceeding of Fractal CBSE Workshop, ECOOP 2006, Nantes, France (2006)
8. Pessemier, N., Seinturier, L., Coupaye, T., Duchien, L.: A Safe Aspect-Oriented Programming Support for Component-Oriented Programming, In: WCOP 2006@ECOOP, vol. 2006-11 of Technical Report, Nantes, France. Karlsruhe University (2006)
9. Soria, C.C., Pérez, J., Cars, J.A.: Dynamic Adaptation of Aspect-Oriented Components, In: Schmidt, H.W., Crnković, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 49-65, Springer, Heidelberg (2007)
10. Hallsteinsen, S., Stav, E., Solberg, A., Floch, J.: Using product line techniques to build adaptive systems, In: Proceedings of SPLC 2006, Washington, DC, USA, pp. 141-150 (2006)
11. Kephart, J.O., Das, R.: Achieving Self-Management via Utility Functions, IEEE Internet Computing 11(1), 40-48 (2007)
12. Capra, L., Emmerich, W., Mascolo, C.: CARISMA: Context-Aware Reflective middleware System for Mobile Applications, IEEE TSE 29(10), 929-945 (2003)
13. Keeney, J., Cahill, V., Haahr, M.: Techniques for Dynamic Adaptation of Mobile Services, In: The Handbook of Mobile Middleware, Auerbach, ISBN: 0849338336
14. Keeney, J., Cahill, V.: Chisel: A Policy-Driven, Context-Aware, Dynamic Adaptation Framework, In: Proceedings of Policy 2003, Lake Como, Italy, pp. 3-14. IEEE, Los Alamitos (1933)
15. Zhang, J., Cheng, B.H.: Specifying adaptation semantics, In: Proceedings of the, Work-shop on Architecting Dependable Systems, WADS 2005, St. Louis, Missouri, May 17, pp. 1-7, ACM, New York (2005)
16. Romain Rouvoy Deliverable D1, 1 Requirements of mechanisms and planning algorithms for self-adaptation, MUISIC, FP6 Integrated project, Contract no 035166 (October 2007), http://www.ist-music.eu/MUSIC/results/music-deliverables
17. ALIVE Deliverable D2,1State of the Art, ALIVE project FP7 project number FP7-215890, http://www.ist-alive.eu/