[论文解读] Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems

Markus Look, Antonio Pérez+3 more|arXiv (Cornell University)|Sep 8, 2014

Advanced Software Engineering Methodologies参考文献 6被引用 18

一句话总结

本文提出了一种黑盒集成方法，将六种异构建模语言——组件与连接器架构、自动机、I/O 表格、类图、OCL 和 Java DSL——统一集成到用于网络物理系统（特别是机器人系统）的 MontiArcAutomaton 框架中。该方法在不修改现有语言实现的前提下，实现了无缝互操作性，实现了复杂机器人应用中分析与代码生成的完整工具链集成。

ABSTRACT

Robots belong to a class of Cyber-Physical Systems where complex software as a mobile device has to full tasks in a complex environment. Modeling robotics applications for analysis and code generation requires modeling languages for the logical software architecture and the system behavior. The MontiArcAutomaton modeling framework integrates six independently developed modeling languages to model robotics applications: a component & connector architecture description language, automata, I/O tables, class diagrams, OCL, and a Java DSL. We describe how we integrated these languages into MontiArcAutomaton a-posteriori in a black-box integration fashion.

研究动机与目标

• 解决在网络物理系统（特别是机器人系统）中使用多个独立开发的建模语言所带来的集成挑战。
• 在不修改其实现的前提下，实现如组件与连接器描述、自动机和 Java DSL 等多种建模语言之间的互操作性。
• 支持包括分析与代码生成在内的端到端软件工程工作流，适用于机器人应用。
• 提供可扩展、可伸缩的集成框架，同时保留各语言特有的工具链与语义。
• 通过在一个统一、一致的环境中统一异构建模资产，促进复杂网络物理系统的开发。

提出的方法

• 通过将每种现有建模语言封装为独立的、可外部调用的组件，应用黑盒集成方法。
• 定义标准化接口与数据交换格式，以实现异构建模语言之间的通信。
• 使用 MontiArcAutomaton 中的中心协调器，协调跨集成语言的模型转换与执行。
• 利用每种语言的现有工具链（例如 OCL 验证器、Java 代码生成器），且不修改其源代码。
• 通过明确定义的转换规则与语言间模型交换协议，确保语义一致性。
• 通过事件驱动更新与变更传播，支持跨集成语言的双向同步与模型演化。

实验结果

研究问题

• RQ1 如何在不修改其源代码的前提下，将多种异构建模语言集成到单一框架中？
• RQ2 何种架构模式能够实现在网络物理系统中，独立开发的建模工具之间的无缝互操作性？
• RQ3 黑盒集成在多大程度上能够保留各建模语言的完整功能与工具链？
• RQ4 该集成方法在机器人应用中如何支持端到端的分析与代码生成？
• RQ5 在统一如组件模型、自动机和 OCL 等多种建模范式时，实际面临哪些挑战与权衡？

主要发现

• 黑盒集成方法成功地将六种异构建模语言——组件与连接器、自动机、I/O 表格、类图、OCL 和 Java DSL——统一集成到 MontiArcAutomaton 框架中。
• 该集成保留了每种语言原生工具链的全部功能，包括验证、代码生成与分析，且无需修改源代码。
• 该框架实现了跨集成语言的端到端模型驱动工程工作流，包括模型转换、仿真与代码生成。
• 该方法展示了可扩展性与可伸缩性，可通过标准化接口无缝添加新建模语言，且无需修改架构。
• 该解决方案通过在单一、一致的环境中统一建模逻辑架构与行为特性，支持复杂机器人应用。