[论文解读] Ensuring Spreadsheet Integrity with Model Master

Jocelyn Paine|arXiv (Cornell University)|Jan 24, 2008

Spreadsheets and End-User Computing参考文献 6被引用 8

一句话总结

本文提出 Model Master（MM），一种用于以文本形式指定电子表格的领域特定语言，支持电子表格与 MM 程序之间的双向转换。通过将 MM 代码编译为电子表格，并将电子表格反编译为人类可读的 MM 代码，该方法提升了完整性，减少了错误，并通过形式化、可维护的规范支持代码重用——为直接编辑电子表格提供了稳健的替代方案，同时提升了互操作性。

ABSTRACT

We have developed the Model Master (MM) language for describing spreadsheets, and tools for converting MM programs to and from spreadsheets. The MM decompiler translates a spreadsheet into an MM program which gives a concise summary of its calculations, layout, and styling. This is valuable when trying to understand spreadsheets one has not seen before, and when checking for errors. The MM compiler goes the other way, translating an MM program into a spreadsheet. This makes possible a new style of development, in which spreadsheets are generated from textual specifications. This can reduce error rates compared to working directly with the raw spreadsheet, and gives important facilities for code reuse. MM programs also offer advantages over Excel files for the interchange of spreadsheets.

研究动机与目标

• 为解决传统电子表格开发中存在的高错误率和可维护性差的问题，引入一种形式化规范语言。
• 实现电子表格的逆向工程，将其转换为简洁、人类可读的文本描述，以支持审计和理解。
• 通过文本规范程序化生成电子表格，以提高正确性和重用性。
• 提供一种比原生 Excel 文件更可靠、更具互操作性的格式，用于共享和版本控制电子表格逻辑。
• 通过整合模块化和版本控制等软件工程原则，改进电子表格开发实践。

提出的方法

• 设计 Model Master（MM）语言，作为表达电子表格逻辑、布局和样式的文本化领域特定语言。
• 实现一个 MM 反编译器，将现有电子表格转换为紧凑、语义丰富的 MM 程序，总结其计算逻辑和结构。
• 开发一个 MM 编译器，从 MM 程序生成电子表格，保留其逻辑、布局和样式。
• 将文本化的 MM 程序用作正式规范，以支持版本控制、代码重用和协作开发。
• 利用 MM 程序的文本特性，支持自动化分析、错误检查和文档生成。
• 建立电子表格与 MM 代码之间的双向转换管道，确保一致性与完整性。

实验结果

研究问题

• RQ1 与直接编辑相比，文本化规范语言是否能降低电子表格开发中的错误率？
• RQ2 反编译生成的 MM 程序在多大程度上能准确总结现有电子表格的逻辑、布局和样式？
• RQ3 MM 程序编译为功能完整、人类可读的电子表格时，其语义保留效果如何？
• RQ4 使用 MM 在多大程度上提升了电子表格逻辑的可维护性、重用性和互操作性？
• RQ5 MM 方法是否能够支持电子表格计算的正式验证和版本控制？

主要发现

• MM 反编译器成功生成了简洁、人类可读的电子表格摘要，使开发人员能够快速理解并检测陌生电子表格中的错误。
• MM 编译器能够可靠地将 MM 程序转换为等价的电子表格，完整保留计算逻辑、布局和样式。
• 将 MM 用作规范语言可显著降低错误率，通过将开发方式从易出错的点选操作转变为结构化的文本编程。
• MM 程序支持有效的代码重用和模块化开发，因为逻辑可被抽象并跨多个电子表格共享。
• 与二进制 Excel 文件相比，MM 程序的文本格式显著提升了互操作性和版本控制能力，支持长期可维护性。
• 双向转换管道确保了原始电子表格与其文本规范之间的一致性，从而提升了完整性与可审计性。