Typing model transformations using tracts

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

Volumn 7307 LNCS, Issue , 2012, Pages 56-71

  Vallecillo, Antonio ^a   Gogolla, Martin ^b  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INDIVIDUAL COMPONENTS; LIGHT WEIGHT; MODEL TRANSFORMATION; SYSTEM ARCHITECTS;

ARTIFICIAL INTELLIGENCE;

EID: 84862189938     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30476-7_4     Document Type: Conference Paper

References (26)

1. Steel, J., Jézéquel, J.-M.: Model Typing for Improving Reuse in Model-Driven Engineering. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 84-96. Springer, Heidelberg (2005)
2. Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and tool support for model driven engineering with Maude. Journal of Object Technology 6(9), 187-207 (2007)
3. Steel, J., Jézéquel, J.M.: On model typing. Software and Systems Modeling 6(4), 401-413 (2007)
4. Gogolla, M., Vallecillo, A.: Tractable Model Transformation Testing. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 221-235. Springer, Heidelberg (2011)
5. Heim, M.: Exploring Indiana Highways: Trip Trivia. Exploring America's Highway. Travel Organization Network (2007), http://en.wikipedia.org/wiki/Duck- test
6. Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811-1841 (1994)
7. Bruce, K.B., Vanderwaart, J.: Semantics-driven language design: Statically typesafe virtual types in object-oriented languages. ENTCS 20(1), 1-26 (2004)
8. Nierstrasz, O.: Regular types for active objects. In: Nierstrasz, O., Tsichritzis, D. (eds.) Object-Oriented Software Composition, pp. 99-121. Prentice-Hall (1995)
9. Bézivin, J.: On the unification power of models. Software and Systems Modeling (SoSyM) 4(2), 171-188 (2005)
10. Vignaga, A., Jouault, F., Bastarrica, M.C., Brunelière, H.: Typing in Model Management. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 197-212. Springer, Heidelberg (2009)
11. Meyer, B.: Applying design by contract. IEEE Computer 25(10), 40-51 (1992)
12. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling 4(4), 386-398 (2005)
13. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming 69, 27-34 (2007)
14. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1-2), 31-39 (2008)
15. Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Proc. of the OCL and Model Driven Engineering Workshop (2004)
16. Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Traon, Y.L.: Model transformation testing challenges. In: Proc. of IMDD-MDT 2006 (2006)
17. Poernomo, I.H.: Proofs-as-Model-Transformations. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 214-228. Springer, Heidelberg (2008)
18. Matsuda, K., Hu, Z., Takeichi, M.: Type-based specialization of xml transformations. In: Proc. of PEPM 2009, pp. 61-72. ACM (2009)
19. Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software 83(2), 283-302 (2010)
20. Baresi, L., Ehrig, K., Heckel, R.: Verification of Model Transformations: A Case Study with BPEL. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol. 4661, pp. 183-199. Springer, Heidelberg (2007)
21. Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., Varró-Gyapay, S.: Termination Criteria for Model Transformation. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 49-63. Springer, Heidelberg (2005)
22. Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling 5(3), 233-259 (2006)
23. Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of model transformations via Alloy. In: Proc. of MODEVVA (2007), http://www.cs.bham.ac. uk/~bxb/Papres/Modevva07.pdf
24. Troya, J., Vallecillo, A.: A rewriting logic semantics for ATL. Journal of Object Technology 10, 5:1-29 (2011)
25. Baudry, B., Ghosh, S., Fleurey, F., France, R., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Communications of the ACM 53(6), 139-143 (2010)
26. Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., Santos, O.: Engineering model transformations with transML. Software and Systems Modeling (2011) (in press)