article

Explaining spreadsheets with spreadsheets (short paper)

Authors:

Danila Fedorin,

Alex GrejucAuthors Info & Claims

ACM SIGPLAN Notices, Volume 53, Issue 9

Pages 161 - 167

https://doi.org/10.1145/3393934.3278136

Published: 07 April 2020 Publication History

Abstract

Based on the concept of explanation sheets, we present an approach to make spreadsheets easier to understand and thus easier to use and maintain. We identify the notion of explanation soundness and show that explanation sheets which conform to simple rules of formula coverage provide sound explanations. We also present a practical evaluation of explanation sheets based on samples drawn from widely used spreadsheet corpora and based on a small user study.

In addition to supporting spreadsheet understanding and maintenance, our work on explanation sheets has also uncovered several general principles of explanation languages that can help guide the design of explanations for other programming and domain-specific languages.

References

[1]

R. Abraham and M. Erwig. 2004. Header and Unit Inference for Spreadsheets Through Spatial Analyses. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing. 165-172.

Digital Library

[2]

R. Abraham and M. Erwig. 2006. Inferring Templates from Spreadsheets. In 28th IEEE Int. Conf. on Software Engineering. 182-191.

Digital Library

[3]

R. Abraham and M. Erwig. 2007. UCheck: A Spreadsheet Unit Checker for End Users. Journal of Visual Languages and Computing 18, 1 (2007), 71-95.

Digital Library

[4]

R. Abraham, M. Erwig, and S. Andrew. 2007. A Type System Based on End-User Vocabulary. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing. 215-222.

Digital Library

[5]

Sorin Adam and Ulrik Pagh Schultz. 2015. Towards Tool Support for Spreadsheet-based Domain-specific Languages. SIGPLAN Not. 51, 3 (Oct. 2015), 95-98.

Digital Library

[6]

Domenico Amalfitano, Vincenzo De Simone, Anna Rita Fasolino, and Porfirio Tramontana. 2016. EXACT: A tool for comprehending VBA-based Excel spreadsheet applications. Journal of Software: Evolution and Process 28, 6 (2016), 483-505.

Digital Library

[7]

Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Vincenzo De Simone, Giancarlo Di Mare, and Stefano Scala. 2015. A Reverse Engineering Process for Inferring Data Models from Spreadsheet-based Information Systems: An Automotive Industrial Experience. In Data Management Technologies and Applications. 136-153.

[8]

Brian Bishop and Kevin McDaid. 2008. An Empirical Study of End-User Behaviour in Spreadsheet Error Detection & Correction. CoRR abs/0802.3479 (2008).

[9]

Diogo Canteiro and Jácome Cunha. 2015. SpreadsheetDoc: An Excel Add-in for Documenting Spreadsheets. In Proceedings of the 6th National Symposium of Informatics.

[10]

C. Chambers and M. Erwig. 2010. Reasoning about Spreadsheets with Labels and Dimensions. Journal of Visual Languages and Computing 21, 5 (2010), 249-262.

Digital Library

[11]

Zhe Chen and Michael Cafarella. 2013. Automatic Web Spreadsheet Data Extraction. In 3rd InternationalWorkshop on Semantic Search Over the Web. Article 1, 8 pages.

Digital Library

[12]

J. Cuna, M. Erwig, and J. Saraiva. 2010. Automatically Inferring ClassSheet Models from Spreadsheets. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing. 93-100.

Digital Library

[13]

Jácome Cunha, Martin Erwig, Jorge Mendes, and João Saraiva. 2016. Model inference for spreadsheets. Automated Software Engineering 23, 3 (2016), 361-392.

Digital Library

[14]

Jácome Cunha, João Saraiva, and Joost Visser. 2009. From Spreadsheets to Relational Databases and Back. In 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation. 179-188.

Digital Library

[15]

Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, and Jun Wei. 2018. Expandable Group Identification in Spreadsheets. In 33rd ACM/IEEE Int. Conf. on Automated Software Engineering. 498-508.

Digital Library

[16]

G. Engels and M. Erwig. 2005. ClassSheets: Automatic Generation of Spreadsheet Applications from Object-Oriented Specifications. In 20th IEEE/ACM Int. Conf. on Automated Software Engineering. 124-133.

Digital Library

[17]

M. Erwig, R. Abraham, I. Cooperstein, and S. Kollmansberger. 2005. Automatic Generation and Maintenance of Correct Spreadsheets. In 27th IEEE Int. Conf. on Software Engineering. 136-145.

Digital Library

[18]

M. Erwig, R. Abraham, S. Kollmansberger, and I. Cooperstein. 2006. Gencel-A Program Generator for Correct Spreadsheets. Journal of Functional Programming 16, 3 (2006), 293-325.

Digital Library

[19]

M. Erwig and M. M. Burnett. 2002. Adding Apples and Oranges. In 4th Int. Symp. on Practical Aspects of Declarative Languages (LNCS 2257). 173-191.

Digital Library

[20]

M. Erwig and E. Walkingshaw. 2013. A Visual Language for Explaining Probabilistic Reasoning. Journal of Visual Languages and Computing 24, 2 (2013), 88-109.

Digital Library

[21]

Marc Fisher and Gregg Rothermel. 2005. The EUSES Spreadsheet Corpus: A Shared Resource for Supporting Experimentation with Spreadsheet Dependability Mechanisms. SIGSOFT Softw. Eng. Notes 30, 4 (May 2005), 1-5.

Digital Library

[22]

Felienne Hermans and Emerson Murphy-Hill. 2015. Enron's Spreadsheets and Related Emails: A Dataset and Analysis. In 37th Int. Conf. on Software Engineering. 7-16.

Digital Library

[23]

Felienne Hermans, Martin Pinzger, and Arie van Deursen. 2010. Automatically Extracting Class Diagrams from Spreadsheets. In European Conference on Object-Oriented Programming 2010. 52-75.

Digital Library

[24]

Felienne Hermans, Martin Pinzger, and Arie van Deursen. 2011. Breviz: Visualizing Spreadsheets using Dataflow Diagrams. CoRR abs/1111.6895 (2011).

[25]

Felienne Hermans, Martin Pinzger, and Arie van Deursen. 2011. Supporting Professional Spreadsheet Users by Generating Leveled Dataflow Diagrams. In 33rd Int. Conf. on Software Engineering. 451-460.

Digital Library

[26]

B. Kankuzi and J. Sajaniemi. 2014. Visualizing the problem domain for spreadsheet users: A mental model perspective. In IEEE Symp. on Visual Languages and Human-Centric Computing. 157-160.

[27]

Bennett Kankuzi and Jorma Sajaniemi. 2016. A mental model perspective for tool development and paradigm shift in spreadsheets. International Journal of Human-Computer Studies 86 (2016), 149-163.

Digital Library

[28]

Ruth McKeever, Kevin McDaid, and Brian Bishop. 2009. An Exploratory Analysis of the Impact of Named Ranges on the Debugging Performance of Novice Users. CoRR abs/0908.0935 (2009).

[29]

B. A. Nardi and J. R. Miller. 1991. Int. Journal of Man-Machine Studies. (1991), 161-184.

Digital Library

[30]

Santanu Paul, Atul Prakash, Erich Buss, and John Henshaw. 1991. Theories and Techniques of Program Understanding. In Conf. of the Centre for Advanced Studies on Collaborative Research. 37-53.

Digital Library

[31]

Stephen G. Powell and Kenneth R. Baker. 2003. The Art of Modeling with Spreadsheets. John Wiley & Sons, Inc., New York, NY, USA.

Digital Library

[32]

R. Pressman. 2001. Software Engineering: A Practitioner's Approach (5th ed.). McGraw-Hill, New York, NY.

Digital Library

[33]

C. Verhoef. 2000. How to Implement the Future. In 26th Euromicro Conference. 32-47.

[34]

A. von Mayrhauser, M. Vans, and A. Howe. 1997. Understanding Behaviour During Enhancement of Large-scale Software. Journal on Software Maintenance: Research and Practice 9, 5 (1997), 299-327.

Digital Library

[35]

E. Walkingshaw and M. Erwig. 2011. A DSEL for Studying and Explaining Causation. In IFIP Working Conference on Domain-Specific Languages. 143-167.

Cited By

Tehranchi FBagherzadeh ARitter F(2024)A user model to directly compare two unmodified interfaces: a study of including errors and error corrections in a cognitive user modelArtificial Intelligence for Engineering Design, Analysis and Manufacturing10.1017/S089006042300015X37Online publication date: 2-Jan-2024
https://doi.org/10.1017/S089006042300015X

Index Terms

Explaining spreadsheets with spreadsheets (short paper)
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages
    2. Software maintenance tools

Recommendations

Explaining spreadsheets with spreadsheets (short paper)
GPCE 2018: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

Based on the concept of explanation sheets, we present an approach to make spreadsheets easier to understand and thus easier to use and maintain. We identify the notion of explanation soundness and show that explanation sheets which conform to simple ...
Optimization Modeling with Spreadsheets
Using google™ spreadsheets

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 53, Issue 9

GPCE '18

September 2018

214 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/3393934

Editor:
Jens Palsberg
University of California, Los Angeles

Issue’s Table of Contents

GPCE 2018: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
November 2018
214 pages
ISBN:9781450360456
DOI:10.1145/3278122
General Chair:
Eric Van Wyk
University of Minnesota, USA
,
Program Chair:
Tiark Rompf
Purdue University, USA

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 April 2020

Published in SIGPLAN Volume 53, Issue 9

Check for updates

Author Tags

Qualifiers

Article

Funding Sources

Fundação para a Ciência e a Tecnologia
Fundação Luso-Americana para o Desenvolvimento

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
235
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Tehranchi FBagherzadeh ARitter F(2024)A user model to directly compare two unmodified interfaces: a study of including errors and error corrections in a cognitive user modelArtificial Intelligence for Engineering Design, Analysis and Manufacturing10.1017/S089006042300015X37Online publication date: 2-Jan-2024
https://doi.org/10.1017/S089006042300015X

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents