[論文レビュー] Notions of Equivalence in Software Design

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

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

ひとこと要約

この論文は、オラクルの概念を拡張することで、ソフトウェア設計における複数の異なる同等性の概念を導入し、形式的言語（同等性が厳密に定義される）と自然言語（同等性が曖昧で文脈依存的）の違いを明確にしている。これらの異なる同等性の概念を認識することで、ソフトウェア設計者が曖昧性をよりよく管理し、設計の明確さと一貫性を向上させられると主張している。

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 曖昧性を犠牲にせずに、自然言語をソフトウェア設計で使用する際、設計者が同等性をどのようによりよく管理できるか？

主な発見

• ソフトウェア設計では、形式的言語では数学的に厳密な同等性に依存するのに対し、自然言語では解釈や文脈に依存する同等性が存在する。
• 形式的言語におけるオラクルは信頼でき、決定論的であるが、自然言語におけるオラクルは信頼できず、解釈のばらつきに左右されやすい。
• 本論文は、自然言語によるソフトウェア設計の記述が、形式的根拠に欠けるため、曖昧な同等性判断を引き起こすことが多いと示している。
• 形式的および非形式的オラクルの違いを特定することで、本論文は実際の設計において同等性が検証されずに単に仮定されていることが明らかになった。
• 提唱されたフレームワークにより、設計文書における同等性の主張がいつ、なぜ無効または誤解を招く可能性があるかを評価できるようになる。
• 本研究は、自然言語を形式的言語と同等とみなすと、仕様の誤りや保守コストの増加を招く可能性があると示唆している。