Bidirectional transformation of model-driven spreadsheets

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

Volumn 7307 LNCS, Issue , 2012, Pages 105-120

  Cunha, Jácome ^a   Fernandes, João P ^a,b   Mendes, Jorge ^a   Pacheco, Hugo ^a   Saraiva, João ^a  

^a UNIVERSITY OF MINHO   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

Bidirectional Transformation; Data Evolution; Model Synchronization; Software Evolution; Spreadsheets

Indexed keywords

BIDIRECTIONAL TRANSFORMATION; BUSINESS LOGIC; DATA EVOLUTION; ERROR PRONES; MODEL SYNCHRONIZATION; MODEL-DRIVEN; SOFTWARE EVOLUTION; SOFTWARE ORGANIZATION; SPREADSHEET ENGINEERING; SPREADSHEET MODELS;

MODELS;

SPREADSHEETS;

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

References (24)

1. Abraham, R., Erwig, M., Kollmansberger, S., Seifert, E.: Visual specifications of correct spreadsheets. In: VL/HCC, pp. 189-196. IEEE Computer Society (2005)
2. Beckwith, L., Cunha, J., Fernandes, J.P., Saraiva, J.: End-users productivity in model-based spreadsheets: An empirical study. In: IS-EUD, pp. 282-288 (2011)
3. Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: EDOC, pp. 222-231. IEEE CS (2008)
4. Cunha, J., Fernandes, J.P., Mendes, J., Saraiva, J.: MDSheet: A Framework for Model-driven Spreadsheet Engineering. In: ICSE, pp. 1412-1415. ACM (2012)
5. Cunha, J., Mendes, J., Fernandes, J.P., Saraiva, J.: Embedding and evolution of spreadsheet models in spreadsheet systems. In: VL/HCC 2011, pp. 179-186. IEEE (2011)
6. Cunha, J., Saraiva, J., Visser, J.: From spreadsheets to relational databases and back. In: PEPM, pp. 179-188. ACM, New York (2009)
7. Cunha, J., Visser, J., Alves, T., Saraiva, J.: Type-Safe Evolution of Spreadsheets. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 186-201. Springer, Heidelberg (2011)
8. Diskin, Z.: Algebraic Models for Bidirectional Model Synchronization. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 21-36. Springer, Heidelberg (2008)
9. Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 304-318. Springer, Heidelberg (2011)
10. Engels, G., Erwig, M.: ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. In: ASE, pp. 124-133. ACM (2005)
11. Erwig, M., Abraham, R., Cooperstein, I., Kollmansberger, S.: Automatic generation and maintenance of correct spreadsheets. In: ICSE, pp. 136-145. ACM (2005)
12. Erwig, M., Abraham, R., Kollmansberger, S., Cooperstein, I.: Gencel: a program generator for correct spreadsheets. J. Funct. Program 16(3), 293-325 (2006)
13. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In: POPL, pp. 233-246. ACM (2005)
14. Hermans, F., Pinzger, M., van Deursen, A.: Automatically Extracting Class Diagrams from Spreadsheets. In: D'Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 52-75. Springer, Heidelberg (2010)
15. Herrmannsdoerfer, M., Benz, S., Juergens, E.: Automatability of Coupled Evolution of Metamodels and Models in Practice. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 645-659. Springer, Heidelberg (2008)
16. Hofmann, M., Pierce, B.C., Wagner, D.: Edit lenses. In: POPL (to appear, 2012)
17. Hu, Z., Mu, S.-C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. HOSC 21(1-2), 89-118 (2008)
18. Jones, S.P., Hughes, J., Augustsson, L., et al.: Report on the programming language haskell 98. Tech. rep. (February 1999)
19. Lämmel, R., Lohmann, W.: Format Evolution. In: RETIS 2001. vol. 155, pp. 113-134. OCG (2001)
20. Meertens, L.: Designing constraint maintainers for user interaction (1998), manuscript available at http://www.kestrel.edu/home/people/meertens
21. Panko, R.: Spreadsheet errors: What we know. what we think we can do. EuSpRIG (2000)
22. Stevens, P.: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 1-15. Springer, Heidelberg (2007)
23. Takeichi, M.: Configuring bidirectional programs with functions. In: IFL (2009)
24. Vermolen, S., Visser, E.: Heterogeneous Coupled Evolution of Software Languages. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 630-644. Springer, Heidelberg (2008)