Validation challenges in model composition: The case of adaptive systems

Model Driven Engineering helps dealing with complexity by promoting models as abstraction units. Aspect Oriented Modeling helps separating concerns that crosscut across different models. MDE and AOM have well identified challenges that need to be addressed. However, there are new challenges that appear when combining both techniques. In this paper we present the challenges that appear when validating the model composition in the context of MDE and AOM applied to adaptive systems.

[1]  Wouter Joosen,et al.  Support for distributed adaptations in aspect-oriented middleware , 2008, AOSD.

[2]  Gary T. Leavens,et al.  Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning , 2002 .

[3]  Myra B. Cohen,et al.  Covering arrays for efficient fault characterization in complex configuration spaces , 2004, IEEE Transactions on Software Engineering.

[4]  Yves Le Traon,et al.  Model Transformation Testing Challenges , 2006 .

[5]  Jonathan Aldrich,et al.  Open Modules: Modular Reasoning About Advice , 2005, ECOOP.

[6]  Zièd Choukair,et al.  Dynamic, adaptive and reconfigurable systems overview and prospective vision , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[7]  Brice Morin,et al.  Introducing variability into aspect-oriented modeling approaches , 2007, MODELS'07.

[8]  Robert B. France,et al.  Providing Support for Model Composition in Metamodels , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[9]  Jon Whittle,et al.  Model composition in product lines and feature interaction detection using critical pair analysis , 2007, MODELS'07.

[10]  Detlef Plump,et al.  Hypergraph rewriting: critical pairs and undecidability of confluence , 1993 .

[11]  Brice Morin,et al.  Weaving Aspect Configurations for Managing System Variability , 2008, VaMoS.

[12]  B Dion.  Correct-By-Construction Methods for the Development of Safety-Critical Applications , 2004 .

[13]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[14]  Alberto L. Sangiovanni-Vincentelli,et al.  Correct-by-construction transformations across design environments for model-based embedded software development , 2005, Design, Automation and Test in Europe.

[15]  Olivier Barais,et al.  Improving maintenance in AOP through an interaction specification framework , 2008, 2008 IEEE International Conference on Software Maintenance.

[16]  Phil McMinn,et al.  Search‐based software test data generation: a survey , 2004, Softw. Test. Verification Reliab..

[17]  Hartmut Ehrig,et al.  Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs , 2008, Electron. Notes Theor. Comput. Sci..

[18]  Wouter Joosen,et al.  Classifying and documenting aspect interactions , 2006 .

[19]  Shmuel Katz,et al.  Diagnosis of Harmful Aspects Using Regression Verification , 2004 .

[20]  Mats Grindal,et al.  Handling combinatorial explosion in software testing , 2007 .

[21]  Jörg Kienzle,et al.  11th International Workshop on Aspect-Oriented Modeling , 2006, MoDELS.

[22]  Betty H. C. Cheng,et al.  Model-based development of dynamically adaptive software , 2006, ICSE.

[23]  Brice Morin,et al.  An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability , 2008, MoDELS.