[论文解读] A Paradigm for Spreadsheet Engineering Methodologies

Thomas A. Grossman, Özgür Özlük|ArXiv.org|Feb 26, 2008

Spreadsheets and End-User Computing参考文献 14被引用 27

一句话总结

本文提出了一套系统化范式，通过显式建模开发参数（如目标、问题类型和资源约束），系统地组织、评估和选择电子表格工程方法论。该框架支持对方法论进行结构化比较，识别当前实践中的知识空白，并为设计具有明确定义成本与收益的新方法论奠定基础。

ABSTRACT

Spreadsheet engineering methodologies are diverse and sometimes contradictory. It is difficult for spreadsheet developers to identify a spreadsheet engineering methodology that is appropriate for their class of spreadsheet, with its unique combination of goals, type of problem, and available time and resources. There is a lack of well-organized, proven methodologies with known costs and benefits for well-defined spreadsheet classes. It is difficult to compare and critically evaluate methodologies. We present a paradigm for organizing and interpreting spreadsheet engineering recommendations. It systematically addresses the myriad choices made when developing a spreadsheet, and explicitly considers resource constraints and other development parameters. This paradigm provides a framework for evaluation, comparison, and selection of methodologies, and a list of essential elements for developers or codifiers of new methodologies. This paradigm identifies gaps in our knowledge that merit further research.

研究动机与目标

• 解决缺乏针对特定问题类型和资源约束而量身定制的标准化、良好文档化的电子表格工程方法论的问题。
• 提供一个结构化框架，用于比较和批判性评估现有的电子表格工程方法论。
• 使开发人员和研究人员能够为其特定的电子表格开发情境选择或设计合适的方法论。
• 识别电子表格工程中的知识空白，以指导未来的研究和方法论开发。
• 建立一个共同的参考点，用于编码新方法论，明确其成本、收益和适用性标准。

提出的方法

• 提出一个概念性范式，建模电子表格开发中的关键决策点，包括目标、问题类型和资源约束。
• 系统地映射电子表格工程中的选择，以构建方法论评估的结构化框架。
• 通过显式建模开发参数（例如时间、专业知识、数据复杂度）来评估方法论的适用性。
• 整合已知的ACM和MSC分类类别，使该范式与更广泛的软件工程和人机交互研究保持一致。
• 定义任何新方法论必须包含的基本组件，以确保其完整且可评估。
• 将该范式应用于分析和解释现有建议，揭示当前实践中存在的不一致性和遗漏。

实验结果

研究问题

• RQ1 在不同开发情境下，哪些关键决策因素能够区分有效的电子表格工程方法论？
• RQ2 当方法论在目标、复杂度和资源需求方面存在差异时，如何系统地比较和评估电子表格工程方法论？
• RQ3 哪些结构要素是使方法论在现实世界电子表格开发中既实用又可分析的关键？
• RQ4 当前的方法论在多大程度上未能考虑资源约束或问题特定特征？
• RQ5 统一范式如何改进未来电子表格工程方法论的设计与选择？

主要发现

• 所提出的范式提供了一个一致的框架，基于其与特定开发参数的匹配度，对电子表格工程方法论进行评估和比较。
• 许多现有方法论缺乏正式结构，导致难以评估其成本、收益或对特定电子表格类别的适用性。
• 时间、专业知识和数据复杂度等资源约束显著影响方法论的适用性，但在当前建议中常被忽视。
• 该范式揭示了当前知识中的系统性空白，尤其是在方法论如何应对可扩展性、可维护性和错误预防方面。
• 通过形式化电子表格开发的决策空间，该范式使新方法论的编码成为可能，并定义了成功标准。
• 该框架既支持对现有实践的回顾性分析，也支持对新证据驱动方法论的前瞻性设计。