[论文解读] Towards An Architecture-Centric Approach to Manage Variability of Cloud Robotics

Zhang, Lei, Huaxi Zhang+5 more|arXiv (Cornell University)|Jan 13, 2017

Robotics and Automated Systems被引用 3

一句话总结

本文提出 CRALA，一种面向云机器人的领域特定架构描述语言，支持在规格说明、配置和集成三个层面实现以架构为中心的设计与可变性管理。通过将云部署约束（如调度、网络）整合到结构化建模框架中，CRALA 利用 Ecore 和 Sirius 工具链，实现了可重用性与可配置性更高的可部署机器人系统架构的自动生成。

ABSTRACT

Cloud robotics is a field of robotics that attempts to invoke Cloud technologies such as Cloud computing, Cloud storage, and other Internet technologies centered around the benefits of converged infrastructure and shared services for robotics. In a few short years, Cloud robotics as a newly emerged field has already received much research and industrial attention. The use of the Cloud for robotics and automation brings some potential benefits largely ameliorating the performance of robotic systems. However, there are also some challenges. First of all, from the viewpoint of architecture, how to model and describe the architectures of Cloud robotic systems? How to manage the variability of Cloud robotic systems? How to maximize the reuse of their architectures? In this paper, we present an architecture approach to easily design and understand Cloud robotic systems and manage their variability.

研究动机与目标

• 解决云机器人系统缺乏系统性架构建模、可变性高的问题。
• 实现不同云部署环境中机器人系统架构的重用与配置。
• 将云特定的非功能需求（如调度、网络）正式集成到架构描述中。
• 支持从高层模型自动生成可部署的架构。
• 提供一种结构化、可扩展的框架，用于管理云机器人中的架构可变性。

提出的方法

• 设计三级架构模型：规格说明（组件角色）、配置（组件/服务）和集成（实例），以管理可变性。
• 使用 Ecore 定义 CRALA 的元模型，以表示架构元素及其关系。
• 将云部署关注点（如调度、网络（例如 OpenStack Neutron）和物理机器部署）集成到架构模型中。
• 使用 Sirius 生成图形化建模工作台，支持可视化编辑和自动模型到图表的渲染。
• 在基于 Eclipse 的 EMF 和 Sirius 平台实现 CRALA 工具套件，用于模型创建与可视化。
• 基于定义的关系和部署约束，自动生成示例架构（如 Arch1）。

实验结果

研究问题

• RQ1 如何系统化地设计云机器人系统，以管理不同部署配置下的可变性？
• RQ2 如何将云特定的非功能属性（如调度、网络拓扑）正式集成到架构描述中？
• RQ3 如何在多个抽象层次（规格说明、配置、集成）上管理架构可变性？
• RQ4 领域特定语言（CRALA）能否实现云机器人系统架构的自动生�与部署？
• RQ5 如何通过结构化建模方法支持组件的重用与配置？

主要发现

• CRALA 成功地在三个抽象层次（规格说明、配置、集成）上对云机器人架构进行建模，实现了结构化的可变性管理。
• 将云部署约束（如虚拟机部署和网络拓扑）集成到架构模型中，提升了系统的控制力与清晰度。
• 基于 EMF 和 Sirius 构建的 CRALA 工具套件，能够从元模型自动生成图形化模型，支持可视化设计与验证。
• 基于定义的关系和部署规则，自动生成了示例架构（如 Arch1），验证了其可行性与可重用性。
• 该方法支持架构各层次间的横向可变性，以及通过组件实现方式的纵向可变性，显著提升了可配置性。
• 实现表明，架构描述可直接关联到云部署方面，从而实现对机器人系统部署的更好控制与自动化。