[논문 리뷰] Tabula: A Language to Model Spreadsheet Tables

Jorge Mendes, João Saraiva|arXiv (Cornell University)|2017. 07. 10.

Spreadsheets and End-User Computing참고 문헌 9인용 수 4

한 줄 요약

이 논문은 스프레드시트 테이블을 위한 도메인 특화 모델링 언어인 Tabula를 소개한다. 이는 이전의 모델 기반 접근 방식인 ClassSheets에 비해 유형 제약 조건, 중첩 클래스, 반복을 지원함으로써 표현력을 향상시킨다. Tabula는 모델과 스프레드시트 간 이중 방향 동기화를 가능하게 하여 모델의 복잡성을 감소시키고 유지보수성을 향상시킨다. 실제로 마이크로소프트 예산 템플릿을 모델링할 때 ClassSheets 대비 클래스와 속성 수가 20–26% 감소한 것으로 나타났다.

ABSTRACT

Spreadsheets provide a flexible and easy to use software development environment, but that leads to error proneness. Work has been done to prevent errors in spreadsheets, including using models to specify distinct parts of a spreadsheet as it is done with model-driven software development. Previous model languages for spreadsheets offer a limited expressiveness, and cannot model several features present in most real world spreadsheets. In this paper, the modeling language Tabula is introduced. It extends previous spreadsheet models with features like type constraints and nested classes with repetitions. Tabula is not only more expressive than other models but it can also be extended with more features. Moreover, Tabula includes a bidirectional transformation engine that guarantees synchronization after an update either in the model or spreadsheet.

연구 동기 및 목표

• 기존의 모델 기반 스프레드시트 모델링 언어가 실제 스프레드시트의 복잡성에 비해 표현력이 떨어지는 한계를 해결하기 위해.
• 특히 중첩 및 반복적인 데이터 구조에 대해 스프레드시트 로직과 레이아웃을 더 자연스럽고 간결하게 모델링할 수 있도록 하기 위해.
• 업데이트 시 일관성을 유지하기 위해 모델과 스프레드시트 인스턴스 간 이중 방향 동기화를 지원하기 위해.
• 스프레드시트 셀에 대한 제약 조건을 포함한 유형 체계를 도입하여 오류율을 낮추고 유지보수성을 향상시키기 위해.
• 실제 예산 스프레드시트를 대상으로 Tabula의 표현력과 효율성을 ClassSheets와 같은 기존 모델과 비교 평가하기 위해.

제안 방법

• Tabula는 ClassSheets의 시각적 표기법을 확장하여 중첩 클래스와 반복을 지원함으로써 복잡한 스프레드시트 구조의 계층적 모델링을 가능하게 한다.
• 레이아웃과 데이터 구조를 분리하는 형식적 추상 표현을 도입함으로써 더 유연하고 확장 가능한 모델링을 가능하게 한다.
• 유형 체계를 포함하여 (예: 양수만 허용) 유효한 셀 값에 제약을 두어 의미 오류를 방지한다.
• 이중 방향 변환 엔진을 통해 Tabula 모델과 실제 스프레드시트 간 변경 사항을 동기화하여, 모델이나 인스턴스가 업데이트될 경우에도 일관성을 유지한다.
• 정적 및 동적 모델링을 모두 지원한다: 모델은 월을 명시적으로 나열하거나 반복 구조를 사용하여 표현할 수 있다.
• 모델링 평가를 위해 마이크로소프트에서 제공한 개인 예산 스프레드시트를 Tabula와 ClassSheets를 사용하여 각각 모델링하였으며, 비교를 위한 정량적 지표를 수집하였다.

실험 결과

연구 질문

• RQ1 Tabula는 기존의 모델 기반 언어인 ClassSheets보다 실제 스프레드시트를 더 자연스럽고 간결하게 모델링할 수 있는가?
• RQ2 Tabula의 중첩 클래스 및 반복 기능은 ClassSheets에 비해 모델 복잡성을 얼마나 감소시키는가?
• RQ3 Tabula의 유형 제약 조건 도입이 스프레드시트 개발 시 오류 방지에 어떤 영향을 미치는가?
• RQ4 이중 방향 동기화가 변화하는 스프레드시트에서 모델과 인스턴스 간 일관성에 어떤 영향을 미치는가?
• RQ5 Tabula의 동적 모델링 기능(예: 반복)은 반복적인 스프레드시트 구조를 모델링하기 위해 필요한 클래스와 속성 수를 얼마나 줄일 수 있는가?

주요 결과

• 마이크로소프트 개인 예산 스프레드시트를 모델링할 때 Tabula는 동등한 ClassSheet 모델 대비 클래스 수를 20–26% 감소시키고, 속성 수도 유사한 수준으로 감소시켰다.
• 예산 스프레드시트에 대한 Tabula 모델은 12행을 사용한 반면, ClassSheet 모델은 42행을 사용하여 빌드 시각적 간결성에서 뚜렷한 향상을 보였다.
• Tabula 모델은 54개의 수식을 사용한 반면, ClassSheet 모델은 194개의 수식을 사용하여 수식 복잡도가 상당히 감소한 것으로 나타났다.
• Tabula에서의 중첩 클래스와 반복 기능은 11개의 지출 유형을 별도의 속성으로 명시적으로 정의할 필요 없이 처리할 수 있었으며, 이는 ClassSheet 모델에서 각각 별도의 속성으로 정의되어야 했던 점과 대비된다.
• Tabula 모델은 확장 가능성을 지원한다: 모델을 수정하지 않고도 사용자가 새로운 지출 카테고리를 추가할 수 있다. 반면 ClassSheets에서는 모델 수정이 필요하다.
• 이중 방향 변환 엔진은 모델이나 스프레드시트 중 하나가 업데이트된 후에도 일관성을 유지하는 데 성공했다.