[论文解读] 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

一句话总结

本文在模型驱动工程（MDE）框架内提出四种领域特定语言（CDSL、IDSL、DDSL、PDSL），用于自动化和简化RoboComp框架中机器人组件的生命周期。通过自动生成功能代码、接口、部署配置和参数设置，该方法减少了手动编码，降低了错误率，并加速了开发进程——在五个实验中显著缩短了开发时间和代码行数。

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），以声明式方式定义和配置组件参数，以控制运行时行为。
• 通过模型到模型（M2M）和模型到文本（M2T）转换，集成MDA原则，从DSL模型生成源代码。
• 通过五个真实场景实验评估DSL，对比使用与不使用DSL时的开发时间和代码量。

实验结果

研究问题

• RQ1 领域特定语言（DSLs）如何改善机器人软件框架中的组件生命周期管理？
• RQ2 DSL在组件创建、接口定义、部署和配置过程中，能在多大程度上减少手动编码工作量和错误率？
• RQ3 DSL能否实现组件开发与特定编程语言和中间件实现的解耦？
• RQ4 在真实机器人框架中使用DSL，能在开发时间和代码量方面实现哪些可量化的改进？
• RQ5 DSL如何支持大规模机器人软件系统中的可维护性和可扩展性？

主要发现

• 在所有五个实验中，DSL的使用均显著缩短了开发时间，箱线图分析显示差异具有统计学显著性。
• 使用DSL后编写代码行数大幅减少，尤其在涉及多个文件的复杂修改中更为明显。
• 唯一改进不明显的实验（仅几秒钟）是由于已有CMake自动化机制，表明DSL在高影响、重复性任务中效益最大。
• DSL成功将组件接口与底层中间件解耦，推动了平台和中间件的独立性。
• 部署DSL（DDSL）通过RCControlManager实现一键式网络部署，显著简化了部署生命周期。
• 由于结构化、自动化的代码生成和集中式配置管理，框架的可维护性和可扩展性得到提升。