A visual specification language for model-to-model transformations

Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010

Volumn , Issue , 2010, Pages 119-126

  Guerra, Esther ^a   De Lara, Juan ^b   Kolovos, Dimitris ^c   Paige, Richard ^c  

^a UNIVERSIDAD CARLOS III DE MADRID   (Spain)

^b UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

^c UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Model driven engineering; Model to model transformation; Specification languages; Transformation testing

Indexed keywords

AUTOMATED TESTING; CORE ASSET; CORRECTNESS PROPERTIES; EXPRESS MODEL; FORMAL SEMANTICS; LEVEL OF ABSTRACTION; MODEL TRANSFORMATION; MODEL-DRIVEN ENGINEERING; MODEL-TO-MODEL TRANSFORMATION; SCALE TRANSFORMATION; SYSTEMATIC ENGINEERING; TRANSFORMATION TESTING;

FORMAL METHODS; MODELS; SEMANTICS; SPECIFICATIONS; STANDARDS;

SPECIFICATION LANGUAGES;

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

References (15)

1. K. Czarnecki and S. Helsen, "Feature-based survey of model transformation approaches," IBM Systems Journal, vol. 45, no. 3, pp. 621-646, 2006.
2. ATL, http://www.eclipse.org/atl/.
3. D. S. Kolovos, R. F. Paige, and F. Polack, "The Epsilon Transformation Language," in ICMT'08, ser. LNCS, vol. 5063. Springer, 2008, pp. 46-60.
4. J. M. Spivey, "An introduction to Z and formal specifications," Softw. Eng. J., vol. 4, no. 1, pp. 40-50, 1989.
5. D. Jackson, Software Abstractions. Logic, Language, and Analysis. MIT Press, 2006.
6. G. Bernot, M. C. Gaudel, and B. Marre, "Software testing based on formal specifications: a theory and a tool," Softw. Eng. J., vol. 6, no. 6, pp. 387-405, 1991.
7. QVT, http://www.omg.org/spec/QVT/1.0/.
8. A. Schürr, "Specification of graph translators with triple graph grammars," in WG'94, ser. LNCS, vol. 903. Springer, 1994, pp. 151-163.
9. E. Guerra, J. de Lara, and F. Orejas, "Pattern-based model-to-model transformation: Handling attribute conditions," in ICMT'09, ser. LNCS, vol. 5563. Springer, 2009, pp. 83-99.
10. F. Orejas, "Attributed graph constraints," in ICGT'08, ser. LNCS, vol. 5214. Springer, 2008, pp. 274-288.
11. D. S. Kolovos, R. F. Paige, and F. Polack, "The Epsilon Object Language (EOL)," in ECMDA-FA'06, ser. LNCS, vol. 4066. Springer, 2006, pp. 128-142.
12. J. Greenyer and E. Kindler, "Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars," Softw. and Syst. Mod., vol. 9, no. 1, pp. 21-46, 2010.
13. P. Stevens, "A simple game-theoretic approach to checkonly QVT relations," in ICMT'09, ser. LNCS, vol. 5563. Springer, 2009, pp. 165-180.
14. M. Siikarla, M. Laitkorpi, P. Selonen, and T. Systä, "Transformations have to be developed ReST assured," in ICMT'08, ser. LNCS, vol. 5063. Springer, 2008, pp. 1-15.
15. J.-M. Mottu, B. Baudry, and Y. Traon, "Model transformation testing: oracle issue," in ICSTW'08, 2008, pp. 105-112.