패키지 관리자 의존성 해결의 형식 모델

패키지 관리자는 프로그래밍 언어와 운영 체제마다 고유한 해결책을 제공하며, 의존성 해결을 위한 미묘하게 다른 의미론을 가집니다. 이러한 파편화는 다국어 프로젝트에서 언어 생태계 전반의 정밀한 의존성을 표현하는 것을 방해하고, 외부 시스템 의존성을 암묵적이고 버전 관리되지 않은 상태로 두며, 공급망 분석에 필요한 전체 의존성 그래프를 모호하게 만듭니다. 본 연구는 패키지 관리자의 핵심 의미론을 통합하는 의존성 해결을 위한 형식주의인 '패키지 계산법(Package Calculus)'을 제시합니다. 일련의 형식적 환원(formal reductions)을 통해, 이 핵심이 실제 의존성 표현 언어의 다양성을 모델링하기에 충분히 표현력이 있음을 보입니다. 패키지 계산법은 의존성 표현의 공통 언어(lingua franca)로서, 미래의 교차 생태계 도구 개발을 위한 이론적 토대를 제공합니다. 이는 파편화된 패키지 관리 환경에서 발생하는 문제들을 해결하고, 보다 통합적이고 투명한 의존성 관리를 가능하게 할 것입니다.