[論文レビュー] Rapid Spreadsheet Reshaping with Excelsior: multiple drastic changes to content and layout are easy when you represent enough structure

Jocelyn Paine, Emre Tek+1 more|ArXiv.org|Mar 3, 2008

Spreadsheets and End-User Computing参考文献 2被引用数 6

ひとこと要約

Excelsior は、コンponents を明示的にモデル化し、論理とレイアウトを分離することで、複雑なスプレッドシートの迅速かつ安全な再構築を可能にする新しいスプレッドシートツールである。論理をレイアウトから分離し、スプレッドシートを独立してテスト可能な単位にモジュラー化することで、サイズ変更、再配置、反転、クロス集計の挿入といった大幅な変更を、出力が正しく保たれるように実施でき、変更は数分で完了する。

ABSTRACT

Spreadsheets often need changing in ways made tedious and risky by Excel. For example: simultaneously altering many tables' size, orientation, and position; inserting cross-tabulations; moving data between sheets; splitting and merging sheets. A safer, faster restructuring tool is, we claim, Excelsior. The result of a research project into reducing spreadsheet risk, Excelsior is the first ever tool for modularising spreadsheets; i.e. for building them from components which can be independently created, tested, debugged, and updated. It represents spreadsheets in a way that makes these components explicit, separates them from layout, and allows both components and layout to be changed without breaking dependent formulae. Here, we report experiments to test that this does indeed make such changes easier. In one, we automatically generated a cross-tabulation and added it to a spreadsheet. In the other, we generated new versions of a 10,000-cell housing-finance spreadsheet containing many interconnected 20*40 tables. We varied table sizes from 5*10 to 200*2,000; moved tables between sheets; and flipped table orientations. Each change generated a spreadsheet with different structure but identical outputs; each change took just a few minutes.

研究の動機と目的

• 大きな構造的変更を伴う伝統的なスプレッドシートにおける高いリスクと低い保守性を是正すること。
• スプレッドシートコンポーネントを明示的に表現することで、大規模な再構築中に数式エラーの発生確率を低減すること。
• レイアウトとは無関係に、スプレッドシートコンポーネントのモジュラーな開発、テスト、更新を可能にすること。
• 数式の論理とレイアウトを分離することで、サイズや方向、シート配置の変更が依存関係を破壊しないための対策をとること。
• 構造的でコンポーネントベースのアプローチを用いることで、複雑な再構築作業を迅速かつ安全に実行できることを実証すること。

提案手法

• 各コンポーネントに明示的なデータと数式論理を備え、レイアウトとは分離されたモジュラーなコンポーネントとしてスプレッドシートを表現すること。
• 参照整合性を保持するコンポーネントアーキテクチャを用いて、数式論理とレイアウトを分離すること。
• ドメイン固有言語（DSL）を用いてコンポーネントとその関係性を定義し、プログラムによる操作を可能にすること。
• コンポーネントとレイアウト定義の変換により、出力の正しさを保ちながら新しいスプレッドシート構造を自動生成すること。
• 構造的なプログラムルールを用いて、テーブルのサイズ変更、シート間での再配置、方向の反転、クロス集計の挿入といった変換を適用すること。
• 元のスプレッドシートの挙動を基準に、自動テストを用いて変換後の出力の一貫性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 数式を破壊することなく、テーブルのサイズ変更、再配置、方向転換といった大幅な構造的変更をスプレッドシートツールがサポートできるか？
• RQ2 スプレッドシートコンポーネントのモジュラー化が、再構築時の保守性向上とエラーリスク低減に寄与するか？
• RQ3 コンポーネントとレイアウトのプログラム的変換により、出力が同一の新しいスプレッドシートレイアウトを生成することは可能か？
• RQ4 手動での Excel 編集と比較して、コンポーネントベースのアプローチを用いた場合、複雑な再構築作業はどの程度効率的に実行できるか？
• RQ5 既存のスプレッドシートに、既存の論理やレイアウトを損なわずにクロス集計を自動挿入できるか？

主な発見

• Excelsior は、エラーを引き起こさずにクロス集計を自動生成し、スプレッドシートに挿入することに成功した。
• 10,000セルの住宅金融スプレッドシートにおいて、テーブルのサイズを 5×10 から 200×2,000 に変更し、シート間での再配置、方向の反転といった複数の大幅な変更を正常に適用した。
• 各変換で元のスプレッドシートと同一の出力を得たため、参照整合性が保たれていることが確認された。
• すべての再構築作業がわずか数分で完了し、手動での Excel 編集に比べて顕著な時間短縮が実証された。
• モジュラーなアーキテクチャにより、コンポーネントを独立してテスト・デバッグ・更新でき、リスク低減と保守性向上が達成された。
• 論理とレイアウトの分離により、レイアウトの変更が数式の正しさに影響を与えないことが実証され、コア設計原理が裏付けられた。