[论文解读] Notions of Equivalence in Software Design

David King, Chris Kimble|arXiv (Cornell University)|Jun 16, 2004

Software Engineering Research参考文献 16被引用 3

一句话总结

本文通过扩展‘可信源’（oracle）的概念，引入了软件设计中多种不同的等价性概念，区分了形式语言（其中等价性被严格定义）与自然语言（其中等价性模糊且依赖上下文）。文章认为，认识到这些不同的等价性概念，有助于软件设计师更好地管理模糊性，提升设计的清晰度与一致性。

ABSTRACT

Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages. This distinction is not simply a matter of convenience. Natural languages are not the same as formal languages; in particular, natural languages do not follow the notions of equivalence used by formal languages. In this paper, we show both the existence and coexistence of different notions of equivalence by extending the no-tion of oracles used in formal languages. This allows distinctions to be made between the trustworthy oracles assumed by formal languages and the untrust-worthy oracles used by natural languages. By examin-ing the notion of equivalence, we hope to encourage designers of software to rethink the place of ambiguity in software design.

研究动机与目标

• 解决基于形式语言的软件设计与实践中普遍使用自然语言之间的差距。
• 识别并澄清在形式语言与自然语言语境下，等价性的不同理解方式。
• 挑战自然语言描述在软件设计中可互换或等价的假设，而无需仔细审视。
• 鼓励软件设计师重新思考自然语言中的模糊性如何影响系统规格说明与正确性。
• 提出一个评估软件设计中等价性的框架，兼顾形式与非形式推理范式。

提出的方法

• 将可信源概念从形式语言理论扩展至分析软件设计中的等价性。
• 区分形式语言中的‘可信’可信源（等价性可数学验证）与自然语言中的‘不可信’可信源（等价性依赖于解释）。
• 利用可信源模型，对比形式规格说明的精确性与自然语言描述中固有的模糊性。
• 分析等价性不同解释如何影响软件设计结果与需求建模。
• 基于底层可信源的可靠性和一致性，提出一个评估设计成果中等价性的概念框架。
• 将该框架应用于演示：不同等价性观念的冲突如何导致软件开发过程中的误解。

实验结果

研究问题

• RQ1 在软件设计中，形式语言与自然语言的等价性概念有何不同？
• RQ2 可信源在判断两个软件描述是否等价时发挥什么作用？
• RQ3 为何自然语言描述在软件设计中被认为不如形式语言可靠以确立等价性？
• RQ4 自然语言中的模糊性在哪些方面影响软件规格说明的一致性与正确性？
• RQ5 设计师在软件设计中使用自然语言时，如何更好地管理等价性，而不牺牲清晰度或精确性？

主要发现

• 在软件设计中，多种等价性概念共存：形式语言依赖数学上严谨的等价性，而自然语言则依赖解释性、上下文敏感的等价性。
• 形式语言中的可信源是可信且确定的，而自然语言中的可信源则不可信且易受解释差异影响。
• 本文表明，软件设计中的自然语言描述常因缺乏形式基础，导致等价性判断模糊。
• 通过识别形式与非形式可信源之间的区别，本文揭示了实践中等价性往往被假设而非验证。
• 所提出的框架使设计师能够评估设计文档中等价性声明在何时以及为何可能无效或具有误导性。
• 研究表明，将自然语言视为与形式语言等价，可能导致规格说明错误并增加维护成本。