From relational ClassSheets to UML+OCL

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2012, Pages 1151-1158

  Cunha, Jácome ^a   Fernandes, João Paulo ^a,b   Saraiva, João ^a  

^a UNIVERSITY OF MINHO   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

ClassSheets; OCL; spreadsheets; UML

Indexed keywords

CLASSSHEETS; MODEL BASED APPROACH; MODEL VALIDATION; OCL; PROGRAM CORRECTNESS; PROGRAM EFFECTIVENESS; RELATIONAL DATABASE; UML; UML CLASS DIAGRAMS;

COMPUTER PROGRAMMING LANGUAGES;

SPREADSHEETS;

EID: 84863587317     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2245276.2231957     Document Type: Conference Paper

References (13)

1. R. Abraham, M. Erwig, S. Kollmansberger, and E. Seifert. Visual specifications of correct spreadsheets. In Procs. of the IEEE Symposium on Visual Languages and Human-Centric Computing, pages 189-196, 2005.
2. J. Bézivin. Model Driven Engineering: An Emerging Technical Space. In R. Lämmel, J. Saraiva, and J. Visser, editors, GTTSE 2005, volume 4143 of LNCS, pages 36-64. Springer, 2006.
3. C. Chambers and C. Scaffidi. Struggling to excel: A field study of challenges faced by spreadsheet users. In 2010 IEEE Symp. on Visual Languages and Human-Centric Computing, pages 187-194, Los Alamitos, CA, USA, 2010. IEEE Computer Society.
4. G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, and D. Varró. VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML models. In Automated Software Engineering, pages 267-270, 2002.
5. J. Cunha, J. Mendes, J. P. Fernandes, and J. Saraiva. Embedding and evolution of spreadsheet models in spreadsheet systems. In Procs. of the IEEE Symposium on Visual Languages and Human-Centric Computing, pages 179-186, 2011.
6. J. Cunha, J. Saraiva, and J. Visser. Discovery-based edit assistance for spreadsheets. In Procs. of the IEEE Symposium on Visual Languages and Human-Centric Computing, pages 233-237, 2009.
7. G. Engels and M. Erwig. ClassSheets: Automatic generation of spreadsheet applications from object-oriented specifications. In Procs. of the 20th IEEE/ACM International Conference on Automated Software Engineering, pages 124-133, 2005.
8. M. Gogolla, F. Büttner, and M. Richters. Use: A UML-based specification environment for validating UML and OCL. Sci. Comput. Prog., 69:27-34, 2007. (Pubitemid 350087238)
9. F. Hermans, M. Pinzger, and A. van Deursen. Automatically extracting class diagrams from spreadsheets. In Proc. of the 24th European Conference on Object-Oriented Programming, pages 52-75, Berlin, Heidelberg, 2010. Springer-Verlag.
10. D. Maier. The Theory of Relational Databases. Computer Science Press, 1983.
11. R. R. Panko. Spreadsheet errors: What we know. What we think we can do. Proceedings of the Spreadsheet Risk Symposium, European Spreadsheet Risks Interest Group (EuSpRIG), July 2000.
12. S. G. Powell and K. R. Baker. The Art of Modeling with Spreadsheets. John Wiley & Sons, Inc., 2003.
13. J. Rumbaugh, I. Jacobson, and G. Booch. Unified Modeling Language Reference Manual, The (2nd Edition). Pearson Higher Education, 2004.