[論文レビュー] A Domain-Specific Language for Rich Motor Skill Architectures

Arne Nordmann, Sebastian Wrede|arXiv (Cornell University)|Feb 26, 2013

Model-Driven Software Engineering Techniques参考文献 11被引用数 7

ひとこと要約

本論文は、柔軟ロボティクスにおける豊富なモータースキルアーキテクチャをモデル化するためのAMARSiドメイン固有言語（DSL）を提示する。このDSLにより、モーションプリミティブに基づく適応的でモジュラーな制御システムの形式的で標準化された記述が可能となり、モデル駆動開発アプローチとメタモデル、言語モジュラー化を用いることで、C++実装への自動コード生成を可能にし、AMARSiプロジェクトにおける異分野チーム間の比較可能性、再現性、共同作業性を向上させる。

ABSTRACT

Model-driven software development is a promising way to cope with the complexity of system integration in advanced robotics, as it already demonstrated its benefits in domains with comparably challenging system integration requirements. This paper reports on work in progress in this area which aims to improve the research and experimentation process in a collaborative research project developing motor skill architectures for compliant robots. Our goal is to establish a model-driven development process throughout the project around a domain-specific language (DSL) facilitating the compact description of adaptive modular architectures for rich motor skills. Incorporating further languages for other aspects (e.g. mapping to a technical component architecture) the approach allows not only the formal description of motor skill architectures but also automated code-generation for experimentation on technical robot platforms. This paper reports on a first case study exemplifying how the developed AMARSi DSL helps to conceptualize different architectural approaches and to identify their similarities and differences.

研究の動機と目的

• AMARSiプロジェクトにおいて、異分野チームがモーターコントロールアーキテクチャを記述するために使用する不整合で相互運用性のない表記法の課題に対処すること。
• モーションプリミティブに基づく適応的でモジュラーなモータースキルアーキテクチャの形式的で比較可能な標準化されたモデル化を可能にすること。
• ドメイン固有言語（DSL）を用いたモデル駆動開発を支援し、実ロボットプラットフォーム向けの自動コード生成を促進すること。
• 異分野の技術的および概念的アプローチを統合することで、アーキテクチャ記述の統一を図ることで、ロボティクス研究における共同作業性と再現性を向上させること。
• 特に動的システム、学習、適応制御を対象とする、将来的なロボティクスにおけるモデル駆動開発の基盤を構築すること。

提案手法

• 柔軟ロボットモーターコントロール分野におけるコアな概念、構造、制約を特定するため、特徴指向ドメイン分析（FODA）を用いた形式的ドメイン分析を実施する。
• 汎用ソフトウェアアーキテクチャ要素（例：コンポonent、ポート）とドメイン固有のエンティティ（例：適応的コンポーネント、トラッキングコントローラ）を捉えるアーキテクチャメタモデルを定義する。
• 関心の分離を図るためのモジュラー言語アーキテクチャ（LME&C）を設計し、AMARSi DSLは高レベルのモーターコントロール構造と意味論に焦点を当てる。
• MPS言語ワークベンチを用いてDSLを実装し、モデル変換、中間モデルの保持、CCAおよびRCIライブラリを介したC++へのコード生成を可能にする。
• 実行可能コードファイルおよび型付きポートとライフサイクルフックを備えたCCAコンポーネントハローを生成し、オンラインおよびオフライン学習の両方をサポートする。
• Graph DSLを用いてGraphMLを介してシステムアーキテクチャを可視化し、異なるアーキテクチャブループリントの比較分析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ドメイン固有言語は、異分野のロボティクスプロジェクトにおけるモーターコントロールアーキテクチャ設計の比較可能性と標準化をどのように向上させるか？
• RQ2 DSLを用いたモデル駆動開発アプローチは、モータースキルアーキテクチャ研究における複雑さの低減と再現性の向上に、どの程度寄与するか？
• RQ3 モジュラーなDSLアーキテクチャは、システム構造、データ型、デプロイメント設定といった関心の分離を効果的に実現できるか？また、自動コード生成を可能にするか？
• RQ4 統一されたDSLの使用は、多様なモーターコントロールアーキテクチャ間の共通パターンや構造的差異の特定をどのように支援するか？
• RQ5 中間モデルの保持は、開発パイプライン中における専門家による生成モデルの段階的精錬に、どのような役割を果たすか？

主な発見

• AMARSi DSLは、AMARSiプロジェクトから得られた4つの異なるモーターコントロールアーキテクチャブループリントを形式的で標準化された表現で記述でき、直接的な比較が可能になった。
• DSLベースのアプローチにより、アーキテクチャ間の構造的類似性と相違性が明らかになった。特に、従来の多様な表記法によって隠れていた、適応的コンポーネントやスペースの共有利用が明らかになった。
• AMARSi DSLからの自動コード生成により、実行可能C++コードおよびCCAコンポーネントハローが生成され、学習フックのサポートを含む、技術的妥当性が裏付けられた。
• MPSワークベンチにおける中間モデルの使用により、高レベルのアーキテクチャ的意図を損なわず、専門家による技術的詳細（例：デプロイメント、可視化）の段階的精錬が可能になった。
• DSLベースのモデル駆動パイプラインは、用語と構造の統一を通じて、異分野研究者間の共同作業性と概念的整合性を顕著に向上させた。
• このアプローチはスケーラブルかつ拡張可能であり、将来的にはロボティクスシステム全体への再利用を想定して、別個のロボットデータ型DSLを抽出する計画がある。