기술 요약: 객체를 넘어서 (Beyond Objects)

문제 정의

본 논문은 객체 지향 프로그래밍(OOP)의 핵심 원칙—즉, 시스템의 기능을 문제 영역(problem domain)의 개별 대상과 직접적으로 대응하는 객체들로 분할하는 것—이 자연스럽지도 않고 명쾌하지도 않다고 주장한다. OOP가 50년 넘게 소프트웨어 공학을 지배해 왔음에도 불구하고, 소프트웨어 개발의 근본적인 문제들(코드 작성, 읽기, 유지보수의 어려움; "의존성 지옥"; 그리고 기술 부채의 축적)은 지속되고 있으며, 이는 사실상 이 기초적인 원칙의 필연적인 결과이다.

중심적인 문제는 서로 다른 두 가지 개념의 혼용에서 발생한다:

1. "작은 기계(Tiny Machine)" 관점: 고유한 상태와 행동을 가진 자율적인 에이전스로서의 객체.
2. 도메인 모델링: 소프트웨어 엔티티를 실제 세계의 문제 영역 엔티티에 직접 매핑하는 관행.

이 두 아이디어가 결합되면, 모든 중요한 연산(action)은 문제 영역의 개별 엔티티를 나타내는 단 하나의 객체에 할당되어야 한다는 결론에 도달한다. 논문은 이러한 할당이 종종 임의적이거나 불가능함을 입증한다. 연산은 흔히 여러 도메인 엔티티를 포함하지만(예: 예약에는 사용자, 슬롯, 레스토랑이 포함됨), OOP는 해당 연산을 정확히 하나의 클래스에 할당할 것을 요구한다. 이는 다음과 같은 두 가지 주요한 모듈성 실패를 초래한다:

• 혼재(Conflation): 서로 관련 없는 기능들(예: 인증, 사용자 프로필, 예약 로직)이 하나의 "사용자(User)" 객체에 강제로 통합되어, 해당 객체가 특정 시스템의 "지문(fingerprint)"이 되게 함으로써 재사용을 방해한다.
• 파편화(Fragmentation): 하나의 논리적 연산(예: 예약 생성)이 폐쇄 규칙(closure rules)을 만족시키기 위해 여러 객체(User, Slot, Reservation)로 쪼개져야 하며, 이는 강한 결합과 불변성(invariants)의 분산을 초래한다.

나아가, 본 논문은 데이터 접근 방향(예: 레스토랑이 리뷰 목록을 보여줘야 하는 상황)이 모듈 설계 원칙에 어긋나는 의존성을 강제하여, 코드 구조가 문제 영역과 거의 닮지 않게 되는 "탐색의 문제(problem of navigation)"를 강조한다.

방법론

본 논문은 관계형 데이터 모델링과 형식 기법(formal methods)에 기반한 **개념 기반 모듈화(Concept-based modularization)**로의 전환을 제안한다.

개념적 프레임워크

저자들은 행동을 세 가지 현상으로 해체한다:

1. 개인(Individuals): 지속적인 정체성을 가진 구별되는 엔티티 (예: 사용자, 슬롯).
2. 관계(Relationships): 개인들을 서로 또는 단순한 값들과 연관 짓는 사실.
3. 행동(Actions): 관계를 변화시키는 원자적 사건.

행동과 상태를 특정 개인 객체에 할당하는 대신, 논문은 **개념(Concepts)**을 도입한다. 개념은 다음을 수행하는 모듈이다:

• 특정 행동들의 집합과 그 행동에 참여하는 개인들 사이의 관계를 구현한다.
• 개인을 분할하지 않는다. 즉, 하나의 개인(예: User)은 여러 개념(예: UserAuthentication, UserProfiling)에 참여할 수 있다.
• 상태를 복합 객체가 아닌 관계의 집합(개인들과 그 속성들의 집합)으로 저장한다.

동기화를 통한 조정

개념들은 서로를 호출하거나 위임하지 않는다. 대신 **동기화(Synchronizations)**를 통해 조정된다. 동기화는 개념 간의 인과 관계를 설정하는 선언적 규칙이다. 동기화는 다음을 명시한다:

• 언제(When): 한 개념에서 특정 행동이 발생할 때.
• 어디서(Where): 다른 개념의 상태에 대한 조건 확인(쿼리).
• 그 후(Then): 다른 개념에서 실행될 행동.

이 접근 방식은 문제 영역의 개인들을 기능적 파티션을 담당하는 모듈로부터 분리한다.

사례 연구: 레스토항 예약

논문은 이 접근 방식을 레스토랑 예약 시스템을 통해 설명한다.

• 예약(Reserving) 개념: 약속(예약)을 관리하며, 사용자, 슬롯, 시간, 취소 상태를 추적한다.
• 가용성(Availability) 개념: 자원 할당(슬롯)을 관리하며, 장소, 시간 범위, 인원 제한 등을 추적한다.
• 동기화: Requesting.reserve라는 행동이 발생하면 makeReservation 규칙이 트리거된다. 이 규칙은 Availability에서 빈 슬롯을 조회하고, UserAuthentication에서 유효한 사용자인지 확인한 후, Reserving.reserve를 실행한다.

이 구조는 "사용자" 로직과 "예약" 로직을 혼재시키지 않으며, 예약의 불변성이 여러 클래스에 흩어지는 것을 방지한다.

주요 기여

1. OOP 기초 원칙에 대한 비판: 논문은 "단일 타겟(Single Target)" 원칙(연산을 특정 객체에 할당하는 것)과 도메인 모델링의 결합이 현대 소프트웨어의 모듈성 실패(혼재 및 파편화)의 근본 원인임을 식별한다.
2. 개념 구조화(Concept Structuring): 모듈(개념)을 그 안에 담긴 '개인'이 아니라, 그들이 다루는 '행동'과 '관계'에 의해 정의하는 새로운 모듈화 접근 방식을 제시한다.
3. 관계형 모듈성(Relational Modularity): 객체의 범위를 지정하는 것에서 관계와 그 불변성의 범위를 지정하는 것으로 전환한다. 이를 통해 코드 요소와 문제 영역의 특징 사이의 명확한 대응을 가능하게 하며, 행동을 특정 엔티티에 임의로 할당해야 하는 부담을 제거한다.
4. 디커플링 메커니즘: 외부화된 동기화를 통한 조정을 도입하여, 모듈 간의 직접적인 메서드 호출을 제거함으로써 의존성 사이클을 없애고 재사용성을 높인다.
5. 현대적 트렌드와의 정렬: 이 접근 방식이 마이크로서비스, 이벤트 기반 아키텍처, 도메인 주도 설계(특히 바운디드 컨텍스트)와 같은 현대 산업 트렌드와 일치하면서도, 더 세밀하고 가독성 높은 대안을 제공함을 언급한다.

결과 및 주장

본 논문은 경험적 실험 데이터나 성능 벤치마크를 제시하지 않는다. 대신, 그 "결과"는 논리적 분석과 구조적 비교를 통해 도출된다:

• 가독성 향상: 코드 요소(개념)와 문제 영역의 특징(행동/관계) 사이의 직접적인 대응을 보장함으로써 코드를 읽고 이해하기 쉽게 만든다.
• 임의적 할당의 제거: 문제 영역에 존재하지 않는 "설계 객체"나 "컬렉션 객체"(예: Reservations 클래스)를 만들 필요를 없앤다.
• 모듈성: 개념들은 독립적이며 서로 의존하지 않으므로, OOP에서 흔히 발생하는 "의존성 지옥"을 피할 수 있다.
• LLM 호환성: 저자들은 개념의 독립성이 LLM 기반 코드 생성에 특히 적합하다고 주장한다. 즉, 전체 시스템의 맥락 없이도 각 개념을 독립적으로 생성하고 검증할 수 있기 때문이다.

의의

본 논문은 소프트웨어 기능이 문제 영역의 개인에 대응하는 객체들 사이에 분할되어야 한다는 핵심 가정을 재고해야 할 때가 왔다고 주장한다. 소프트웨어의 현대적 어려움의 "씨앗"은 수십 년 전, 객체 구조화와 도메인 모델링을 혼용하면서 심어졌다는 것이다.

Abrial의 데이터 의미론, Z, B 언어에서 영감을 받은 관계형 모델링 원칙을 적용함으로써, 본 논문은 더 모듈적이고 유지보수가 용이하며 실제 문제 구조와 일치하는 소프트웨어를 향한 경로를 제시한다. 이는 객체의 정체성(identity)은 여전히 유효한 개념이지만, 행동의 조직화는 이러한 개인들로부터 분리되어야 함을 시사하며, 전통적인 객체 지향 설계의 내재적 결함을 해결하는 "더 단순한 접근 방식"을 제안한다.