[論文レビュー] A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages

Timo Greifenberg, Katrin Hölldobler+11 more|arXiv (Cornell University)|Sep 15, 2015

Model-Driven Software Engineering Techniques被引用数 8

ひとこと要約

本論文は、オブジェクト指向システムにおける手書きコードと生成コードの統合メカニズムを評価・比較し、保守性、ツールサポート、進化の安全性といった基準に基づくフレームワークを提案する。テンプレートベースのコード生成と明示的な分離、アノテーションベースのアプローチが最も効果的であると特定され、MDDツール開発者に対して技術的負債を低減し、複雑なプロジェクトにおける長期的なソフトウェア保守性を向上させるための指針が提供される。

ABSTRACT

Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound integration for generated and handwritten code is necessary. We provide an overview of mechanisms for integrating generated and handwritten code for object-oriented languages. In addition to that, we define and apply criteria to compare these mechanisms. The results are intended to help MDD tool developers in choosing an appropriate integration mechanism.

研究の動機と目的

• 大規模なモデル駆動開発（MDD）プロジェクトにおける手書きコードと生成コードの統合という課題に対処すること。
• オブジェクト指向言語におけるモデル生成コードと手書きコードの統合に用いられる既存のメカニズムを特定・分析すること。
• 統合メカニズムを体系的に比較し、ツール開発者が適切な解決策を選択するのを支援すること。
• 統合メカニズムが不適切に選ばれた場合のリスク（コードの重複、保守性の低下、ツール互換性の欠如など）を強調すること。
• 長期的なソフトウェア進化とプロジェクトの持続可能性を支援するための統合メカニズム評価基準を確立すること。

提案手法

• オブジェクト指向プログラミング言語における手書きコードと生成コードの統合に用いられる既存のメカニズムを調査・分類した。
• 保守性、ツールサポート、進化の安全性、関心の分離といった評価基準のセットを定義した。
• テンプレートベースの生成、アノテーションベースのアプローチ、ソースコードマージ技術といったメカニズムを、これらの基準に基づいて比較した。
• 事例研究および現実のMDDツールのパターン分析を通じて、メカニズムを評価した。
• 透明性、保守性、ツール統合のトレードオフを評価するための構造化された比較フレームワークを用いた。
• MDDツール開発者向けに、比較分析に基づく推奨フレームワークを提案した。

実験結果

リサーチクエスチョン

• RQ1 オブジェクト指向システムにおける手書きコードと生成コードの統合に利用可能な主なメカニズムは何か？
• RQ2 異なる統合メカニズムは、保守性、ツールサポート、進化の安全性の観点でどのように性能を発揮するか？
• RQ3 コード統合における透明性、関心の分離、長期的コード持続可能性の間には、どのような主要なトレードオフがあるか？
• RQ4 どの統合メカニズムがMDDプロジェクトにおける共同開発を最も支援し、技術的負債を低減するか？
• RQ5 ツール開発者は、プロジェクト固有の制約や目標に基づいて、最も適切な統合メカニズムをどのように選択すべきか？

主な発見

• 生成コードと手書きコードを明示的に分離するテンプレートベースのコード生成は、最高の保守性とツールサポートを提供する。
• アノテーションベースのアプローチは良好な統合を実現するが、モデルとソースコードの間で強い結合が生じるリスクがあり、保守の複雑さが増す。
• ソースコードマージ技術は、頻繁に変更が加わる大規模プロジェクトでは、しばしば競合を引き起こし、保守性を低下させる。
• 生成コードと手書きコードの間の明確な分離を強制するメカニズムは、誤って上書きするリスクと技術的負債のリスクを顕著に低減する。
• 本研究では、いかなるメカニズムも万能ではないことが判明した。最適な選択は、プロジェクトの規模、チーム構成、進化頻度に依存する。
• ツールサポートおよびIDEとの統合は、いかなる統合メカニズムの実用性と長期的持続可能性を左右する重要な要因であった。