Design-Space Exploration through Constraint-Based Model-Transformation

Many design steps during system development - like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an exploration of the solution space. Each development step is characterized by design constraints, limiting the possible solution space. By using model transformations based on a declarative, relational approach, these constraints can be formalized as transformation rules guiding a mechanized exploration of possible design alternatives. The approach is demonstrated for the (semi-)automatic, incremental deployment of logical architectures to hardware platforms.

[1]  Andy Schürr,et al.  Model transformation in the large , 2007, ESEC-FSE '07.

[2]  Sandeep Neema,et al.  DesertFD: a finite-domain constraint based tool for design space exploration , 2010, Des. Autom. Embed. Syst..

[3]  Andrea Omicini,et al.  Multi-paradigm Java-Prolog integration in tuProlog , 2005, Sci. Comput. Program..

[4]  Albert Zündorf,et al.  The PROGRES approach: language and environment , 1999 .

[5]  Luciano Lavagno,et al.  Formal Models for Embedded System Design , 2000, IEEE Des. Test Comput..

[6]  Holger Giese,et al.  Tool integration at the meta-model level: the Fujaba approach , 2004, International Journal on Software Tools for Technology Transfer.

[7]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[8]  Jean Bézivin,et al.  ATL: a QVT-like transformation language , 2006, OOPSLA '06.

[9]  Jim Steel,et al.  Transformation: The Missing Link of MDA , 2002, ICGT.

[10]  Dániel Varró,et al.  Generic and Meta-transformations for Model Transformation Engineering , 2004, UML.

[11]  Bernhard Schätz,et al.  Formalization and Rule-Based Transformation of EMF Ecore-Based Models , 2009, SLE.

[12]  Douglas C. Schmidt,et al.  Automating Hardware and Software Evolution Analysis , 2009, 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems.

[13]  Krzysztof Kuchcinski.  Constraints-driven design space exploration for distributed embedded systems , 2001, J. Syst. Archit..

[14]  Gabor Karsai,et al.  Domain model translation using graph transformations , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[15]  Andrew J. McCarthy,et al.  A framework for constraint-based development and autonomic management of distributed applications , 2004 .

[16]  Andrew J. McCarthy,et al.  A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications , 2004, ICAC.

[17]  Jim Steel,et al.  Practical Declarative Model Transformation with Tefkat , 2005, MoDELS Satellite Events.