2단계 모델링 vs. 다단계 모델링: 연쇄적 유지보수 부담에 관한 실증적 연구

핵심 정의가 변경되면 모든 의존적인 산출물(artefact)을 업데이트해야 하며, 이는 소프트웨어 유지보수의 핵심적인 문제인 연쇄적 문제(cascading problem)를 야기합니다. 모델 주도 공학 (Model-Driven Engineering, MDE)에서 지배적인 2단계 모델링 (two-level modelling, 2LM) 패러다임은 도메인 지식을 메타모델 (metamodel)과 모델 산출물 (model artefacts)로 파편화하며, 이들은 상호 일관성을 유지해야 하므로 공동 진화 (co-evolution)는 지속적인 불일치와 노력의 원인이 됩니다. 다단계 모델링 (Multi-level modelling, MLM)은 이러한 산출물들을 통합하여 공동 진화의 부담을 줄인다고 주장되지만, 이는 2LM과 통제된 쌍체 비교 (paired comparison)를 통해 테스트된 적이 없습니다. 본 연구에서는 의미론적으로 동일한 진화 시나리오에서 MLM의 구조적 통합이 2LM보다 변경 후 불일치를 줄이고 수정 범위 (modification footprint)를 축소할 것이라는 가설을 세웁니다. 이를 테스트하기 위해, 우리는 두 패러다임의 공동 진화 동작에 대해 사전 등록된 변이 기반 (mutation-based) 실증적 비교를 제시합니다. 출판된 2LM 공동 진화 시나리오로 구성된 선별된 코퍼스 (corpus)로부터 의미론적으로 동일한 MLM 대응물을 구축하고, 양측에 동일한 진화 변이 (evolution mutations)를 적용한 뒤, 자동화된 일관성 검사 (consistency checking) 및 사전 등록된 가설 검정을 통해 결과를 측정합니다. 양성 대조군 (Positive controls)과 블라인드 매핑 프로토콜 (blinded mapping protocol)을 통해 편향을 방지합니다. 이 설계는 패러다임 수준의 구조적 선택이 연쇄적 유지보수 부담에 영향을 미치는지 평가하기 위한 최초의 실증적 프레임워크를 제공하며, 공동 진화 부담을 두 가지 자동 측정 가능한 결과 변수로 운영화하고 재현 및 확장을 위한 재사용 가능한 벤치마킹 프로토콜을 제공합니다.