[論文レビュー] Tabula: A Language to Model Spreadsheet Tables

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

Spreadsheets and End-User Computing参考文献 9被引用数 4

ひとこと要約

この論文では、クラスシートなどの先行モデル駆動アプローチよりも表現力を向上させるために、型制約、ネストされたクラス、繰り返しをサポートする、スプレッドシートの表用に特化したドメイン固有のモデリング言語Tabulaを紹介する。Tabulaはモデルとスプレッドシート間の双方向同期を可能にし、モデルの複雑さを低減し、保守性を向上させる。実際のマイクロソフトの予算テンプレートをモデル化した結果、クラス数と属性数が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の表現力と効率性を、クラスシートなどの既存モデルと比較して評価すること。

提案手法

• Tabulaは、クラスシートの視覚的表記を拡張し、ネストされたクラスと繰り返しをサポートすることで、複雑なスプレッドシート構造の階層的モデリングを可能にする。
• レイアウトとデータ構造を分離する形式的な抽象表現を導入することで、より柔軟でスケーラブルなモデリングが可能になる。
• 有効なセル値を制限し、意味的エラーを防ぐために、型システムに制約（例：正の数のみ）を導入する。
• 双方向変換エンジンにより、Tabulaモデルと実際のスプレッドシート間で変更を同期し、モデルまたはインスタンスのどちらが更新されても一貫性が保たれる。
• 静的および動的モデリングの両方をサポートする：モデルは月を明示的にリストするか、繰り返し構造を用いて表現できる。
• 実際のマイクロソフト提供の個人予算スプレッドシートを、Tabulaとクラスシートの両方でモデル化し、定量的指標を収集して比較評価した。

実験結果

リサーチクエスチョン

• RQ1 クラスシートなどの既存のモデル駆動言語と比較して、Tabulaは現実世界のスプレッドシートをより自然で簡潔にモデリングできるか？
• RQ2 ネストされたクラスと繰り返しのサポートにより、Tabulaはクラスシートと比較してどの程度モデルの複雑さを低減できるか？
• RQ3 Tabulaにおける型制約の導入は、スプレッドシート開発におけるエラー防止にどの程度寄与するか？
• RQ4 双方向同期の導入が、進化するスプレッドシートにおけるモデルとインスタンスの一貫性に与える影響は何か？
• RQ5 Tabulaの動的モデリング機能（例：繰り返し）により、繰り返し構造を持つスプレッドシートをモデル化する際のクラス数と属性数はどの程度削減できるか？

主な発見

• マイクロソフトの個人予算スプレッドシートをモデル化した際、Tabulaはクラス数を20–26%、属性数も同程度削減した。
• 予算スプレッドシートのTabulaモデルは12行で構成されたのに対し、クラスシートモデルは42行であり、視覚的な簡潔さが著しく向上した。
• Tabulaモデルでは194の公式に比べて54の公式しか必要としなかったため、式の複雑さが顕著に低減された。
• Tabulaにおけるネストされたクラスと繰り返しの使用により、クラスシートモデルで個別に属性として定義が必要だった11種類の経費タイプを明示的に定義する必要がなくなり、削減された。
• Tabulaモデルは拡張性を備えている：モデルを変更せずに新しい経費カテゴリを追加できる。一方、クラスシートではモデルの変更が必要だった。
• 双方向変換エンジンは、モデルまたはスプレッドシートのいずれかが更新された後も、モデルとスプレッドシートの間で同期を正常に維持した。