[논문 리뷰] A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming.

Moez A. AbdelGawad|arXiv (Cornell University)|2016. 03. 29.

Advanced Software Engineering Methodologies인용 수 3

한 줄 요약

이 논문은 객체지향 프로그래밍의 명명형 타입 체계인 NOOP, 즉 명명형 타입 기반 도메인 이론적 모델과 카르델리 및 쿡의 구조적 모델 간의 형식적 비교를 제시한다. 이는 객체지향 프로그래밍에서 명명형 타입 체계와 구조적 타입 체계 간의 관계를 정밀하게 수학적으로 설명하며, 명명형 타입 체계가 명시적인 이름 기반 타입 구분을 통해 구조적 모델을 어떻게 보완하는지를 명확히 한다.

ABSTRACT

Mainstream object-oriented programming languages such as Java, C#, C++ and Scala are all almost entirely nominally-typed. NOOP is a recently developed domain-theoretic model of OOP that was designed to include full nominal information found in nominally-typed OOP. This paper compares NOOP to the most widely known domain-theoretic models of OOP, namely, the models developed by Cardelli and Cook, which were structurally-typed models. Leveraging the development of NOOP, the comparison presented in this paper provides a clear and precise mathematical account for the relation between nominal and structural OO type systems.

연구 동기 및 목표

• 명명형 타입 기반과 구조적 타입 기반 객체지향 타입 체계 간의 형식적 차이를 분석하는 것.
• NOOP, 즉 객체지향 프로그래밍의 도메인 이론적 모델이 완전한 명명형 타입 정보를 어떻게 통합하는지 조사하는 것.
• 객체지향 프로그래밍에서 명명형과 구조적 타입 체계를 비교하기 위한 엄밀한 수학적 프레임워크를 수립하는 것.
• 주류의 구조적 모델(Carlleli 및 Cook)과 새로운 명명형 모델(NOOP) 간의 개념적 및 형식적 관계를 명확히 하는 것.

제안 방법

• 명시적인 명명형 타입 정보를 포함하는 도메인 이론적 모델로서 NOOP를 개발한 것.
• 비교의 기준점으로서 카르델리 및 쿡의 구조적 모델을 형식화한 것.
• 도메인 이론을 사용하여 명명형 및 구조적 환경에서의 객체 타입, 상속, 하위타입 관계를 모델링한 것.
• 범주론적 및 순서론적 구성요소를 통해 명명형 타입 체계와 구조적 타입 체계 간의 수학적 대응 관계를 수립한 것.
• 두 모델의 하위타입 관계를 분석하여 명명형 타입 체계가 타입 안정성과 표현력에 미치는 영향을 규명한 것.
• NOOP가 도메인 이론적 우아함을 유지하면서도 이름 기반 타입 구분을 추가함으로써 구조적 모델을 확장함을 보여준 것.

실험 결과

연구 질문

• RQ1 명명형 타입 기반 도메인 이론적 모델인 NOOP와 구조적 타입 기반 모델 간의 형식적 차이는 무엇인가?
• RQ2 객체지향 타입 체계에서 명명형 하위타입과 구조적 하위타입 간의 정밀한 수학적 관계는 무엇인가?
• RQ3 도메인 이론적 모델이 명명형 타입을 완전히 통합하면서도 객체지향 프로그래밍의 구조적 성질을 유지할 수 있는가?
• RQ4 명명형 타입 체계가 도메인 이론적 모델에서의 타입 안정성과 표현력에 미치는 영향는 무엇인가?

주요 결과

• NOOP는 도메인 이론적 프레임워크에 완전한 명명형 타입 체계를 통합하여 명시적인 이름 기반 타입 구분을 가능하게 하였다.
• 논문은 명명형 타입 체계가 순수하게 구조적 모델에서 가능한 것 이상의 표현력을 제공함을 수립하였다.
• 비교 결과, 카르델리 및 쿡의 구조적 모델이 NOOP가 지원하는 더 광범위한 모델 클래스에 포함됨을 드러내었다.
• NOOP의 명명형 타입 체계는 클래스 식별성과 상속과 관련된 경우에 더 정밀한 하위타입 관계를 허용한다.
• 수학적 프레임워크는 명명형 타입 체계와 구조적 타입 체계가 상호 배타적이지 않으며, 형식적 통합을 통해 연결될 수 있음을 보여주었다.
• NOOP는 자바와 C#과 같은 실제 객체지향 언어를 도메인 이론적 환경에서 추론할 수 있는 기초를 제공한다.