Embedding and evolution of spreadsheet models in spreadsheet systems

This paper describes the embedding of ClassSheet models in spreadsheet systems. ClassSheet models are well-known and describe the business logic of spreadsheet data. We embed this domain specific model representation on the (general purpose) spreadsheet system. By defining such an embedding, we provide end users a model-driven engineering spreadsheet developing environment. End users can interact with both the model and the spreadsheet data in the same environment. Moreover, we use advanced techniques to evolve spreadsheets and models and to have them synchronized. In this paper we present our work on extending a widely used spreadsheet system with such a model-driven spreadsheet engineering environment.

[1]  Meir M. Lehman,et al.  Laws of Software Evolution Revisited , 1996, EWSPT.

[2]  Ralf Lämmel,et al.  Bidirectional Transformations: A Cross-Discipline Perspective , 2009, ICMT@TOOLS.

[3]  Jácome Cunha,et al.  Type-Safe Evolution of Spreadsheets , 2011, FASE.

[4]  José Nuno Oliveira,et al.  A reification calculus for model-oriented software specification , 1990, Formal Aspects of Computing.

[5]  Jácome Cunha,et al.  From spreadsheets to relational databases and back , 2009, PEPM '09.

[6]  M. Erwig,et al.  Automatic generation and maintenance of correct spreadsheets , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[7]  Jácome Cunha,et al.  Model-based spreadsheet engineering , 2011 .

[8]  Joost Visser,et al.  Constraint-aware Schema Transformation , 2012, Electron. Notes Theor. Comput. Sci..

[9]  Arie van Deursen,et al.  Automatically Extracting Class Diagrams from Spreadsheets , 2010, ECOOP.

[10]  Joost Visser,et al.  Strongly Typed Rewriting For Coupled Software Transformation , 2007, Electron. Notes Theor. Comput. Sci..

[11]  Gregor Engels,et al.  ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications , 2005, ASE '05.

[12]  Gregor Engels,et al.  Systematic evolution of model-based spreadsheet applications , 2012, J. Vis. Lang. Comput..

[13]  Martin Erwig,et al.  Visual specifications of correct spreadsheets , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[14]  Benjamin C. Pierce,et al.  Boomerang: resourceful lenses for string data , 2008, POPL '08.

[15]  Jácome Cunha,et al.  Automatically Inferring ClassSheet Models from Spreadsheets , 2010, 2010 IEEE Symposium on Visual Languages and Human-Centric Computing.

[16]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[17]  Jácome Cunha,et al.  End-Users Productivity in Model-Based Spreadsheets: An Empirical Study , 2011, IS-EUD.

[18]  José Nuno Oliveira,et al.  Type-Safe Two-Level Data Transformation , 2006, FM.

[19]  Mary Shaw,et al.  The state of the art in end-user software engineering , 2011, ACM Comput. Surv..

[20]  Sander Vermolen,et al.  Heterogeneous Coupled Evolution of Software Languages , 2008, MoDELS.

[21]  Eelco Visser,et al.  A survey of strategies in rule-based program transformation systems , 2005, J. Symb. Comput..

[22]  José Nuno Oliveira.  Transforming Data by Calculation , 2007, GTTSE.

[23]  Carroll Morgan,et al.  Data refinement by calculation , 1990, Acta Informatica.