Design-space exploration through constraint-based model-transformation

17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010

Volumn , Issue , 2010, Pages 173-182

  Schätz, Bernhard ^a   Hölzl, Florian ^b   Lundkvist, Torbjörn ^c  

^a FORTISS GMBH   (Germany)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^c ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

Declarative; Design space exploration; Model transformation; Rule based

Indexed keywords

CONSTRAINT-BASED; DESIGN ALTERNATIVES; DESIGN CONSTRAINTS; DESIGN SPACE EXPLORATION; DESIGN STEPS; HARDWARE PLATFORM; INCREMENTAL DEPLOYMENT; LOGICAL ARCHITECTURE; MODEL TRANSFORMATION; POSSIBLE SOLUTIONS; REFACTORINGS; SOLUTION SPACE; SYSTEM DEVELOPMENT; TRANSFORMATION RULES;

SPACE RESEARCH;

DESIGN;

EID: 77953196197     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2010.25     Document Type: Conference Paper

References (19)

1. B. Schätz, "Formalization and Rule-Based Transformation of EMF Ecore-Based Models," in Software Language Engineering, ser. LNCS, E. V. W. Dragan Gasevic, Ralf Laemmel, Ed. Springer, 2009.
2. D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework. Addison Wesley Professional, 2007, second Edition.
3. Meta Object Facility (MOF) Specification, Object Management Group, Inc., 2000, http://www.omg.org/.
4. E. Denti, A. Omicini, and A. Ricci, "Multi-paradigm Java- Prolog integration in tuProlog," Science of Computer Programming, vol. 57, no. 2, pp. 217-250, 2005.
5. M. Sgroi, L. Lavagno, and A. Sangiovanni-Vincentelli, "Formal Models for Embedded System Design," Design and Test of Computers, 2000.
6. B. Dougherty, J. White, C. Thompson, and D. Schmidt, "Automating Hardware and Software Evolution Analysis," in International Conference on the Engineering of Computer Based Systems (ECBS), 2009.
7. A. M. Alan Dearle, Graham Kirby, "A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications," University of St Andrews, Tech. Rep., 2004.
8. K. Kuchcinski, "Constraints-driven design space exploration for distributed embedded systems," Journal of Systems Architecture, no. 47, 2001.
9. B. K. Eames, S. K. Neema, and R. Saraswat, "DesertFD: a finite-domain constraint based tool for design space exploration," Design Automation for Embedded Systems, 2008.
10. "Prolog EMF Transformation Eclipse-PlugIn," www4.in.tum.de/~schaetz/PETE, 2009.
11. F. Klar, A. Königs, and A. Schürr, "Model transformation in the large," in ESEC/FSE'07. ACM Press, 2007.
12. D. Varro and A. Pataricza, "Generic and meta-transformations for model transformation engineering," in UML 2004, T. Baar, A. Strohmeier, A. Moreira, and S. Mellor, Eds. Springer, 2004, lNCS 3273.
13. S. Burmester, H. Giese, J. Niere, M. Tichy, J. P. Wadsack, R. Wagner, L. Wendehals, and A. Zündorf, "Tool integration at the meta-model level: the fujaba approach," STTT, vol. 6, no. 3, pp. 203-218, 2004.
14. J. Sprinkle, A. Agrawal, and T. Levendovszky, "Domain Model Translation Using Graph Transformations," in ECBS2003 - Engineering of Computer-Based Systems, 2003.
15. OMG, "Initial submisison to the MOF 2.0 Q/V/T RFP," Object Management Group (OMG), http://www.omg.org, Tech. Rep. ad/03-03-27, 2003.
16. F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev, and P. Valduriez, "ATL: a QVT-like transformation language," in OOPSLA '06. ACM Press, 2006, pp. 719-720.
17. A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood, "Transformation: The Missing Link of MDA," in Graph Transformation, ser. LNCS, vol. 2505, 2002.
18. M. Lawley and J. Steel, "Practical declarative model transformation with Tefkat," in MoDELS Satellite Events, ser. LNCS, J.-M. Bruel, Ed., vol. 3844. Springer, 2006.
19. A. Schürr, A. J. Winter, and A. Zündorf, "The PROGRES Approach: Language and Environment," in Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific, 1999.