Taming dynamically adaptive systems using models and aspects

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 122-132

  Morin, Brice ^a   Barais, Olivier ^b   Nain, Grégory ^a   Jézéquel, Jean Marc ^a,b  

^a INRIA   (France)

^b UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE MIDDLEWARE; ASPECT-ORIENTED MODELING; COMBINATORIAL EXPLOSION; DYNAMIC ADAPTATIONS; ERROR PRONES; EXPLICIT MODELS; KEY ISSUES; MODE TRANSITIONS; PROGRAMMING FRAMEWORK; RUNTIME SYSTEMS; RUNTIMES; SOFTWARE SYSTEMS; SYSTEM FEATURES;

ELECTRONIC WARFARE; MIDDLEWARE; SOFTWARE ENGINEERING;

ADAPTIVE SYSTEMS;

EID: 70350303567     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070514     Document Type: Conference Paper

References (35)

1. V. Alves, P. Matos Jr, L. Cole, A. Vasconcelos, P. Borba, and G. Ramalho. Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming. Transactions on Aspect-Oriented Software Development IV, 4640/2007, 2007.
2. S. Apel, T. Leich, and G. Saake. Aspectual mixin layers: aspects and features in concert. In ICSE '06: 28th International Conference on Software Engineering, pages 122-131, Shanghai, China, 2006. ACM.
3. T. Batista, A. Joolia, and G. Coulson. Managing Dynamic Reconfiguration in Component-Based Systems. In EWSA'05: 2nd European Workshop on Software Architecture, pages 1-17, Pisa, Italy, 2005.
4. N. Bencomo, G. Blair, and R. France. Models@run.time (at MoDELS) workshops. www.comp.lancs.ac.uk/ bencomo/MRT/.
5. N. Bencomo, P. Grace, C. Flores, D. Hughes, and G. Blair. Genie: Supporting the Model Driven Development of Reflective, Component-based Adaptive Systems. In ICSE'08: Formal Research Demonstrations Track, Leipzig, Germany, 2008.
6. G. Blair, G. Coulson, J. Ueyama, K. Lee, and A. Joolia. Opencom v2: A component model for building systems software. In IASTED Software Engineering and Applications, USA, 2004.
7. E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani. The FRACTAL Component Model and its Support in Java. Software Practice and Experience, Special Issue on Experiences with Auto-adaptive and Reconfigurable Systems, 36(11-12):1257-1284, 2006.
8. M. Cohen, M. Dwyer, and J. Shi. Coverage and Adequacy in Software Product Line Testing. In ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, pages 53-63, Portland, Maine, 2006. ACM.
9. K. Czarnecki and K. Pietroszek. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In GPCE'06: 6th Int. Conf. on Generative Programming and Component Engineering, pages 211-220, Portland, Oregon, USA, 2006. ACM.
10. P. David and T. Ledoux. An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components. In SC'06: 5th Int. Symposium on Software Composition, volume 4089 of Lecture Notes in Computer Science, pages 82-97, Vienna, Austria, 2006.
11. E. Figueiredo, N. Cacho, C. SantAnna, M. Monteiro, U. Kulesza, A. Garcia, S. Soares, F. Ferrari, S. Khan, F. Filho, and F. Dantas. Evolving software product lines with aspects: an empirical study on design stability. In ICSE'08: 30th International Conference on Software Engineering, pages 261-270, Leipzig, Germany, may 2008. ACM.
12. F. Fleurey, V. Dehlen, N. Bencomo, B. Morin, and J.-M. Jézéquel. Modeling and Validating Dynamic Adaptation. In 3rd International Workshop on Models@Runtime (MODELS'08), Toulouse, France, oct 2008.
13. P. Jayaraman, J. Whittle, A. Elkhodary, and H. Gomaa. Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In MoDELS'07: 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Nashville USA, Oct 2007.
14. J.-M. Jézéquel. Model Driven Design and Aspect Weaving. SoSyM'08: Journal of Software and Systems Modeling, 7(2):to appear, march 2008.
15. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, andW. Griswold. An Overview of AspectJ. In ECOOP'01: Proceedings of the 15th European Conference on Object-Oriented Programming, pages 327-353, London, UK, 2001. Springer-Verlag.
16. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In ECOOP'97: Proceedings of the 11th European Conference on Object-Oriented Programming, volume 1241, pages 220-242, Berlin, Heidelberg, and New York, 1997. Springer-Verlag.
17. T. Kishi, N. Noda, and T. Katayama. Design Verification for Product Line Development. In SPLC'05: 9th International Software Product Lines Conference, volume LNCS 3714, pages 150-161. Springer, 2005.
18. P. Lahire, B. Morin, G. Vanwormhoudt, A. Gaignard, O. Barais, and J. M. Jézéquel. Introducing Variability into Aspect-Oriented Modeling Approaches. In MoDELS'07: 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Nashville USA, Oct. 2007.
19. M. Mannion and J. Cámara. Theorem Proving for Product Line Model Verification. In Software Product-Family Engineering, 5th International Workshop, PFE 2003, volume LNCS 3014, pages 211-224. Springer, 2003.
20. P. McKinley, B. H. C. Cheng, C. Ofria, D. Knoester, B. Beckmann, and H. Goldsby. Harnessing digital evolution. Computer, 41(1):54-63, 2008.
21. M. Mezini and K. Ostermann. Variability Management with Feature-Oriented Programming and Aspects. SIGSOFT Software Engineering Notes, 29(6):127-136, 2004.
22. M. Mezini and K. Ostermann. Variability management with feature-oriented programming and aspects. In SIGSOFT'04/FSE-12: 12th ACM SIGSOFT international symposium on Foundations of Software Engineering, pages 127-136, Newport Beach, CA, USA, 2004. ACM.
23. B. Morin, O. Barais, J. M. Jézéquel, and R. Ramos. Towards a Generic Aspect-Oriented Modeling Framework. In 3rd Int. ECOOP'07 Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD, Berlin, Germany, August 2007.
24. B. Morin, F. Fleurey, N. Bencomo, J.-M. Jézéquel, A. Solberg, V. Dehlen, and G. Blair. An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability. In MoDELS'08: 11th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Toulouse, France, October 2008.
25. B. Morin, G. Vanwormhoudt, P. Lahire, A. Gaignard, O. Barais, and J.-M. Jzquel. Managing Variability Complexity in Aspect-Oriented Modeling. In MoDELS'08: 11th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Toulouse, France, October 2008.
26. P. Muller, F. Fleurey, and J. M. Jézéquel. Weaving Executability into Object-Oriented Meta-languages. In MoDELS'05: 8th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica, Oct 2005. Springer. Kermeta is available at: http://www.kermeta.org/.
27. G. Nain, E. Daubert, O. Barais, and J. M. Jézéquel. Using MDE to Build a Schizonfrenic Middleware for Home/Building Automation. In ServiceWave'08: Networked European Software & Services Initiative (NESSI) Conference, Madrid, Spain, december 2008.
28. S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave. Matching and Merging of Statecharts Specifications. In ICSE'07: 29th International Conference on Software Engineering, pages 54-64, Minneapolis, MN, USA, 2007. IEEE Computer Society.
29. N. Pessemier, L. Seinturier, T. Coupaye, and L. Duchien. A Component-Based and Aspect-Oriented Model for Software Evolution. In IJCAT'07: International Journal of Computer Applications in Technology, Special Issue on Concern-Oriented Software Evolution, volume 4089 of Lecture Notes in Computer Science, page 259273, Vienna, Austria, mar 2006. Springer-Verlag.
30. K. Pohl and A. Metzger. Software Product Line Testing. Commun. ACM, 49(12):78-81, 2006.
31. R. Ramos, O. Barais, and J. M. Jézéquel. Matching Model Snippets. In MoDELS'07: 10th Int. Conf. on Model Driven Engineering Languages and Systems, page 15, Nashville USA, Oct. 2007.
32. M. Svahnberg and J. Bosch. Issues Concerning Variability in Software Product Lines. In International Workshop on Software Architectures for Product Families, volume LNCS 1951, pages 146-157, Spain, 2001. Springer.
33. The OSGi Alliance. OSGi Service Platform Core Specification, Release 4.1, May 2007. http://www.osgi.org/Specifications/.
34. R. Wolfinger, S. Reiter, D. Dhungana, P.Grunbacher, and H. Prahofer. Supporting runtime system adaptation through product line engineering and plug-in techniques. In ICCBSS'08: 7th Int. Conf. on Composition-Based Software Systems, pages 21-30, 2008.
35. J. Zhang and B. H. C. Cheng. Model-based Development of Dynamically Adaptive Software. In ICSE'06: 28th International Conference on Software Engineering, pages 371-380, Shanghai, China, 2006. ACM Press.