[论文解读] Towards a Domain Specific Language for a Scene Graph based Robotic World Model

Sebastian Blumenthal, Herman Bruyninckx|arXiv (Cornell University)|Aug 1, 2014

Robotics and Sensor-Based Localization参考文献 9被引用 12

一句话总结

本文提出了RSG-DSL，一种基于机器人场景图（RSG）框架的领域特定语言（DSL），用于建模机器人世界模型。该语言支持结构化、低错误率的场景配置、语义结构以及功能模块的输入/输出定义，并通过模型到文本的转换自动生成C++代码，集成至BRICS_3D库中，从而提升机器人领域模型驱动开发的效率。

ABSTRACT

Robot world model representations are a vital part of robotic applications. However, there is no support for such representations in model-driven engineering tool chains. This work proposes a novel Domain Specific Language (DSL) for robotic world models that are based on the Robot Scene Graph (RSG) approach. The RSG-DSL can express (a) application specific scene configurations, (b) semantic scene structures and (c) inputs and outputs for the computational entities that are loaded into an instance of a world model.

研究动机与目标

• 解决模型驱动工程中机器人世界模型领域特定语言（DSL）缺失的问题。
• 为机器人应用中的场景配置、语义结构以及功能模块接口提供正式且结构化的定义方式。
• 通过早期设计阶段对世界模型组件进行规范定义，减少运行时错误并提升开发效率。
• 通过从DSL模型自动生成代码，支持与现有C++库（如BRICS_3D）的集成。
• 支持将多个DSL组合用于机器人子领域（如感知、规划与协调）的统一开发框架。

提出的方法

• 采用四级模型驱动工程架构（M0至M3），以M2作为DSL的元模型。
• 使用分层结构（如GeometricNode、Transform、Group和Attribute）对场景结构进行建模，实现空间与语义组织。
• 通过输入/输出结构定义功能模块，支持可选的基数（如"*"表示多个输出），并提供插入点以集成至场景图中。
• 利用模型到文本的转换技术，从M1 DSL模型生成C++代码，目标为BRICS_3D C++库以支持运行时执行。
• 通过类型定义（如PointCloudPCL）表示数据类型，使用智能指针和库依赖关系以支持代码生成。
• 支持语义注解（如具有四条腿的桌子）以及通过链接至传感器或处理节点的输入/输出钩子实现动态数据流。

实验结果

研究问题

• RQ1 如何设计一种领域特定语言，以建模基于场景图的机器人世界模型的结构与计算特性？
• RQ2 与直接使用C++ API相比，RSG-DSL在降低代码复杂度与错误风险方面达到何种程度？
• RQ3 RSG-DSL是否能够表达语义知识（如预定义的对象结构）以及功能数据流（输入/输出），用于机器人处理模块？
• RQ4 DSL如何通过代码生成支持与PCL和BRICS_3D等现有机器人软件栈的集成？
• RQ5 将多个DSL（如几何或控制相关）组合为统一机器人开发框架的潜力如何？

主要发现

• RSG-DSL成功建模了特定应用的场景配置，包括机器人运动学、静态环境部件以及传感器数据存储位置。
• DSL支持语义场景结构的定义，例如由托盘和四条腿组成的桌子，可作为识别算法的先验知识使用。
• 功能模块接口通过输入/输出结构正式定义，支持通过"*"基数运算符表示可变数量的输出。
• 模型到文本的转换能够生成与BRICS_3D库兼容的正确C++代码，确保与现有世界模型实现的互操作性。
• DSL将场景结构定义与底层API的调用顺序约束解耦，提升了开发效率并减少了编码错误。
• 该方法具备可扩展性，未来可支持不确定性建模、多机器人支持以及与其他机器人子领域DSL的集成。