[论文解读] Structured Spreadsheet Modeling and Implementation

Paul Mireault|arXiv (Cornell University)|Mar 10, 2015

Spreadsheets and End-User Computing参考文献 3被引用 4

一句话总结

本文提出了一种结构化方法，通过运用软件工程和信息系统的原则，将电子表格建模与实现过程分离。通过在实现过程中强制执行严格且简单的规则，该方法显著提升了电子表格的清晰度、可审计性和可维护性，从而大幅减少了终端用户计算环境中的错误。

ABSTRACT

Developing an error-free spreadsheet has been a problem since the beginning of end-user computing. In this paper, we present a methodology that separates the modeling from the implementation. Using proven techniques from Information Systems and Software Engineering, we present strict, but simple, rules governing the implementation from the model. The resulting spreadsheet should be easier to understand, audit and maintain.

研究动机与目标

• 解决终端用户计算环境中电子表格错误这一长期存在的挑战。
• 在电子表格开发过程中，将概念建模阶段与实现阶段分离。
• 应用经过验证的软件工程和信息系统技术，以提升电子表格质量。
• 创建一种能够增强电子表格清晰度、可审计性和可维护性的方法论。
• 通过可强制执行的简单实现规则降低错误风险。

提出的方法

• 该方法将建模（设计逻辑与结构）与实现（以电子表格格式编码）解耦。
• 将形式化的软件工程实践（如模块化、关注点分离和文档化）应用于电子表格开发。
• 通过严格且简单的规则规范模型在电子表格中的实现方式，以确保一致性和正确性。
• 该方法强调清晰的单元格标签、明确定义的输入/输出区域以及结构化公式的使用，以提升可读性。
• 实现采用基于模板的结构，强制执行最佳实践，且无需高级编程技能。
• 该方法通过提升电子表格的透明度和可追溯性，支持版本控制、同行评审和系统性审计。

实验结果

研究问题

• RQ1 如何使电子表格开发更具系统性且减少错误？
• RQ2 将建模与实现分离在提升电子表格质量方面发挥什么作用？
• RQ3 软件工程原则能否有效应用于终端用户电子表格开发？
• RQ4 哪些具体规则能够增强电子表格的清晰度、可审计性和可维护性？
• RQ5 结构化实现如何降低逻辑错误和语法错误的发生概率？

主要发现

• 该结构化方法通过强制一致的布局和标签，显著提升了电子表格的可理解性。
• 使用该方法开发的电子表格因输入、逻辑和输出区域的清晰分离而更易于审计。
• 该方法通过基于规则的实现方式，减少了模糊或难以追踪的公式，从而降低了错误率。
• 该方法通过支持系统性更新和同行评审，提升了可维护性。
• 该方法对非程序员也实用且易于使用，因为它依赖于简单且可强制执行的规则，而非复杂工具。
• 该方法已在工作坊环境中得到验证，证明其在真实世界电子表格开发中的可行性和价值。