[논문 리뷰] Notions of Equivalence in Software Design

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

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 명확성이나 정밀성을 희생시키지 않고 자연 언어를 사용할 때 설계자가 등가성을 어떻게 더 잘 관리할 수 있습니까?

주요 결과

• 소프트웨어 설계에서 서로 다른 등가성 개념이 공존하며, 형식 언어는 수학적으로 엄밀한 등가성에 의존하고, 자연 언어는 이해에 따라 달라지는 맥락 민감한 등가성에 의존한다.
• 형식 언어의 오라클은 신뢰할 수 있고 결정론적이지만, 자연 언어의 오라클은 신뢰할 수 없고 해석의 변동성에 취약하다.
• 논문은 자연 언어 기반 소프트웨어 기술이 형식적 기반 없이 등가성 판단이 모호해지기 때문에 자주 모호한 등가성 판단을 초래함을 입증한다.
• 형식적 오라클과 비형식적 오라클의 차이를 규명함으로써, 논문은 실질적으로 등가성이 검증되지 않은 채로 가정되는 경우가 많다는 점을 드러낸다.
• 제안된 프레임워크는 설계 문서에서 등가성 주장이 언제나나 잘못되었거나 오해의 소지가 있는지 평가할 수 있도록 한다.
• 연구는 자연 언어를 형식 언어와 동일하게 간주함으로써 사양 오류와 유지보수 비용 증가가 발생할 수 있음을 시사한다.