Formalization and rule-based transformation of emf ecore-based models

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

Volumn 5452, Issue , 2009, Pages 227-244

  Schätz, Bernhard ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

A-PROLOG; AUTOMATIC TRANSFORMATIONS; DEVELOPMENT PROCESS; MODULAR SPECIFICATIONS; RULE BASED; RULE-BASED TRANSFORMATION; SYSTEMS DEVELOPMENT; TRANSFORMATION MECHANISMS;

LINGUISTICS;

COMPUTER SOFTWARE;

EID: 67649921714     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00434-6_15     Document Type: Conference Paper

References (16)

1. Fowler, M., Scott, K.: UML Distilled. Addison-Wesley, Reading (1997)
2. Klar, F., Königs, A., Schürr, A.: Model transformation in the large. In: ESEC/FSE 2007. ACM Press, New York (2007)
3. Varró, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, Vol. 3273, pp. 290-304. Springer, Heidelberg (2004) (Pubitemid 39737643)
4. Grunske, L., Geiger, L., Lawley, M.: A graphical specification of model transformations with triple graph grammars. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, Vol. 3748, pp. 284-298. Springer, Heidelberg (2005)
5. Sprinkle, J., Agrawal, A., Levendovszky, T.: Domain Model Translation Using Graph Transformations. In: ECBS 2003 - Engineering of Computer-Based Systems (2003)
6. Rozenberg, G. (ed.): Handbook on Graph Grammars and Computing by Graph Transformation: Foundations. World Scientific, Singapore (1997)
7. OMG: Initial submisison to theMOF 2.0 Q/V/T RFP. Technical Report ad/03-03-27, Object Management Group (OMG) (2003), http://www.omg.org
8. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I., Valduriez, P.: ATL: a QVT-like transformation language. In: OOPSLA 2006, pp. 719-720. ACM Press, New York (2006) (Pubitemid 46729372)
9. Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The Missing Link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, Vol. 2505. Springer, Heidelberg (2002)
10. Lawley, M., Steel, J.: Practical declarative model transformation with tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, Vol. 3844, pp. 139-150. Springer, Heidelberg (2006) (Pubitemid 43971468)
11. White, J., Schmidt, D.C., Nechypurenko, A., Wuchner, E.: Introduction to the generic eclipse modelling system
12. Varró, G., Friedl, K., Varró, D.: Implementing a graph transformation engine in relational databases. Software and Systems Modeling 5 (2006) (Pubitemid 44323760)
13. Schätz, B., Huber, F.: Integrating formal description techniques. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, Vol. 1709, p. 1206. Springer, Heidelberg (1999)
14. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison Wesley Professional, Reading (2007)
15. Jones, S.P.: Haskell 98 language and libraries: the Revised Report. Cambridge University Press, Cambridge (2003)
16. Denti, E., Omicini, A., Ricci, A.: Multi-paradigm Java-Prolog integration in tuProlog. Science of Computer Programming 57(2), 217-250 (2005) (Pubitemid 40908763)