[论文解读] A Model-Driven Engineering Approach for ROS using Ontological Semantics

Stefan Zander, Georg Heppner+4 more|arXiv (Cornell University)|Jan 15, 2016

Service-Oriented Architecture and Web Services参考文献 22被引用 26

一句话总结

本文提出 ReApp，一种面向 ROS 的模型驱动工程方法，通过整合本体语义，提升工业机器人领域软件组件的重用性。通过利用针对硬件、软件和能力的领域特定本体，ReApp 实现了语义感知的组件发现、自动代码生成以及通过 IDE 和基于云的仓库实现的无缝集成，显著缩短了复杂机器人应用的开发时间并提升了可维护性。

ABSTRACT

This paper presents a novel ontology-driven software engineering approach for the development of industrial robotics control software. It introduces the ReApp architecture that synthesizes model-driven engineering with semantic technologies to facilitate the development and reuse of ROS-based components and applications. In ReApp, we show how different ontological classification systems for hardware, software, and capabilities help developers in discovering suitable software components for their tasks and in applying them correctly. The proposed model-driven tooling enables developers to work at higher abstraction levels and fosters automatic code generation. It is underpinned by ontologies to minimize discontinuities in the development workflow, with an integrated development environment presenting a seamless interface to the user. First results show the viability and synergy of the selected approach when searching for or developing software with reuse in mind.

研究动机与目标

• 解决由于专有控制语言和缺乏标准化元数据导致的工业机器人领域软件重用性低下的挑战。
• 通过引入基于本体的高层语义元数据，提升基于 ROS 的系统中组件的发现能力与互操作性。
• 通过集成开发环境，使开发人员能够在更高抽象层次上构建、注释和部署可重用的 ROS 组件。
• 通过标准化接口和语义描述，确保组件可互换，从而促进系统集成。
• 在真实工业自动化场景中展示该方法的可行性，并实现开发灵活性和可维护性的可测量提升。

提出的方法

• 设计一种模型驱动工程工作流，开发人员使用 ReApp Workbench IDE 指定组件，通过领域本体强制实施语义元数据。
• 开发并集成三个核心本体：用于硬件（如机械臂、传感器）、软件（如 ROS 节点、服务）以及能力（如“门定位”、“力控制”）。
• 通过自动代码生成将高层组件模型映射到 ROS 特定实现，同时保持语义一致性。
• 将带注释的组件存储在基于云的 ReApp Store 中，支持基于能力、硬件兼容性和功能意图的语义搜索。
• 使用本体对齐技术确保组件之间的语义互操作性，并在发布前验证组件合规性。
• 在 ReApp Store 中集成测试框架，自动验证上传组件的功能正确性和接口合规性。

实验结果

研究问题

• RQ1 如何有效将本体语义集成到 ROS 的模型驱动工程工作流中，以提升软件组件重用性？
• RQ2 基于本体的语义元数据在多大程度上能增强 ROS 组件的可发现性与正确组合能力？
• RQ3 统一的本体基础信息模型是否能够减轻开发人员在组装复杂机器人应用时的认知与技术负担？
• RQ4 与传统 ROS 开发相比，ReApp 方法在工业自动化任务中的工程时间与可维护性方面表现如何？
• RQ5 语义验证与自动代码生成对基于 ROS 的机器人软件的可靠性与可重用性有何影响？

主要发现

• ReApp 方法使系统集成商能够基于高层功能能力（如“门定位”或“力控制”）搜索和组合 ROS 组件，而无需了解底层协议知识。
• 组件开发人员可在 ReApp Workbench 的单一引导式工作流中指定语义元数据（如所需硬件、提供能力及接口语义），从而减少配置错误。
• ReApp Workbench 能够从高层模型自动生成符合 ROS 规范的源代码，显著降低手动编码与配置的开销。
• 该方法支持将复杂任务（如汽车门装配）模块化为可互换的技能（如定位、轨迹执行），每个技能均具备一致的接口与语义描述。
• ReApp Store 支持语义搜索与组件的自动验证，确保仅合规且注释完善的组件被发布与重用。
• 在宝马的真实场景试点中，基于 ReApp 的实现表明，仅通过替换定位方法即可完成软件修改，而无需重写整个系统，显著减少了工程时间并提升了灵活性。