[論文レビュー] Improving the lifecycle of robotics components using Domain-Specific Languages

Adrián Romero‐Garcés, Luis J. Manso+3 more|arXiv (Cornell University)|Jan 25, 2013

Model-Driven Software Engineering Techniques参考文献 9被引用数 8

ひとこと要約

本論文は、RoboCompフレームワークにおけるロボティクスコンポーネントのライフサイクルを自動化・最適化するため、モデル駆動工学（MDE）フレームワーク内に4つのドメイン固有言語（CDSL、IDSL、DDSL、PDSL）を提案する。コンポーネントコード、インターフェース、デプロイ構成、パラメータ設定の自動生成により、手動でのコーディングを削減し、エラーを低減するとともに開発を加速する。5つの実験を通じて、開発時間とコード量の顕著な削減が確認された。

ABSTRACT

There is currently a large amount of robotics software using the component-oriented programming paradigm. However, the rapid growth in number and complexity of components may compromise the scalability and the whole lifecycle of robotics software systems. Model-Driven Engineering can be used to mitigate these problems. This paper describes how using Domain-Specific Languages to generate and describe critical parts of robotic systems helps developers to perform component managerial tasks such as component creation, modification, monitoring and deployment. Four different DSLs are proposed in this paper: i) CDSL for specifying the structure of the components, ii) IDSL for the description of their interfaces, iii) DDSL for describing the deployment process of component networks and iv) PDSL to define and configure component parameters. Their benefits have been demonstrated after their implementation in RoboComp, a general-purpose and component-based robotics framework. Examples of the usage of these DSLs are shown along with experiments that demonstrate the benefits they bring to the lifecycle of the components.

研究の動機と目的

• 急速なコンポーネントの増加に伴う、ロボティクスソフトウェアコンポーネントのライフサイクルにおける複雑化と保守負荷の増大に対処するため。
• コンポーネント作成、変更、デプロイ、設定における手動コーディングエラーと非生産的開発時間の低減のため。
• モデル駆動工学（MDE）を用いて、コンポーネントベースのロボティクスフレームワークRoboCompのスケーラビリティと保守性を向上させるため。
• コンポーネント開発をミドルウェアやプログラミング言語依存の低レベル実装詳細から分離するため。
• 構造的で機械可読性のあるDSLを通じて、コンポーネントのデプロイおよび設定の高レベル抽象化を実現するため。

提案手法

• プラットフォームに依存しない方法でコンポーネント構造と動作を記述するためのコンポーネント記述DSL（CDSL）の設計および実装。
• 基盤となる通信ミドルウェアに依存しない方法でコンポーネントインターフェースを定義するためのインターフェース記述DSL（IDSL）の作成。
• コンポーネントネットワーク、依存関係、実行場所をモデル化し、自動デプロイを可能にするデプロイ記述DSL（DDSL）の開発。
• 実行時動作のパラメータを宣言的に定義・設定するためのパラメータ記述DSL（PDSL）の設計。
• MDEの原則を適用し、モデル間（M2M）およびモデルからテキスト（M2T）への変換を用いて、DSLモデルからソースコードを生成。
• 5つの実世界の実験を通じて、DSL使用有無での開発時間とコード量を比較し、DSLの有効性を評価。

実験結果

リサーチクエスチョン

• RQ1 ドメイン固有言語（DSLs）は、ロボティクスソフトウェアフレームワークにおけるコンポーネントライフサイクル管理をどのように改善するか？
• RQ2 DSLsは、コンポーネント作成、インターフェース定義、デプロイ、設定における手動コーディング作業とエラー率をどの程度低減するか？
• RQ3 DSLsは、特定のプログラミング言語やミドルウェア実装からコンポーネント開発を分離できるか？
• RQ4 実際のロボティクスフレームワークにおいてDSLを使用することで、開発時間とコード量にどの程度の測定可能な改善が得られるか？
• RQ5 DSLsは、大規模なロボティクスソフトウェアシステムにおける保守性とスケーラビリティをどのように支援するか？

主な発見

• DSLの使用により、5つの実験すべてで開発時間が短縮された。箱ひげ図分析により、統計的に有意な改善が確認された。
• 特に複数ファイルにまたがる複雑な変更では、DSL使用時におけるコード量が顕著に低減された。
• 唯一の改善がわずか数秒にとどまった実験は、事前にCMakeによる自動化が導入済みであったため、DSLの効果が顕著に現れるのは、高影響度で繰り返し発生するタスクにおいて顕著であることを示している。
• DSLsにより、コンポーネントインターフェースが基盤となるミドルウェアから明確に分離され、プラットフォームおよびミドルウェア非依存性が向上した。
• デプロイDSL（DDSL）により、RCControlManagerを介したワンクリックネットワークデプロイが可能になり、デプロイライフサイクルの大幅な簡素化が達成された。
• 構造的で自動化されたコード生成と集中管理された構成管理のおかげで、フレームワークの保守性とスケーラビリティが向上した。