[论文解读] Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton

Jan Oliver Ringert, Bernhard Rumpe⋆+1 more|arXiv (Cornell University)|Sep 15, 2015

Advanced Software Engineering Methodologies参考文献 32被引用 40

一句话总结

本文提出 MontiArcAutomaton，一种领域特定语言，通过在 MontiArc 基础上扩展基于自动机的行为建模能力，用于网络物理系统（CPS）。该语言通过状态、变量和转换的机制，以语法强制的方式精确指定组件行为，支持两种语言配置文件：一种用于时序同步行为，另一种用于事件驱动行为。该语言配备完整的工具链，包括编辑器和针对 EMF、Java、Mona 与 Python 的代码生成。

ABSTRACT

This book presents MontiArcAutomaton, a modeling language for architecture and be- havior modeling of Cyber-Physical Systems as interactive Component & Connector mod- els. MontiArcAutomaton extends the Architecture Description Language MontiArc with automata to describe component behavior. The modeling language MontiArcAutomaton provides syntactical elements for defin- ing automata with states, variables, and transitions inside MontiArc components. These syntactical elements and a basic set of well-formedness rules provide the syntax for a fam- ily of modeling languages for state-based behavior modeling in Component & Connector architectures. We present two concrete language profiles with additional well-formedness rules to model time-synchronous component behavior and untimed, event-driven behav- ior of components. This book gives an overview of the MontiArcAutomaton language including examples, a language reference, and a context-free grammar for MontiArcAutomaton models. It also provides syntax definition, well-formedness rules, and semantics for two language profiles. We summarize projects and case studies applying MontiArcAutomaton. MontiArcAutomaton is implemented using the DSL framework MontiCore. Available tools include a textual editor with syntax highlighting and code completion as well as a graphical editor and a powerful and extensible code generation framework for target languages including EMF, Java, Mona, and Python.

研究动机与目标

• 解决网络物理系统（CPS）中集成架构与行为建模的需求，以提升系统设计的清晰度与正确性。
• 通过统一组件架构与基于状态的行为规范，克服单体化或分离式建模方法的局限性。
• 提供一种形式化且可扩展的建模语言，支持在单一框架内对定时与非定时的组件行为进行建模。
• 通过完整的工具链（包括语法感知编辑器与多目标语言的代码生成）实现工具支持的开发。
• 建立一致且结构良好的 CPS 行为建模基础，基于形式化语法与良好结构规则。

提出的方法

• 扩展 MontiArc 架构描述语言，增加用于定义自动机的语法构造，包括组件内的状态、变量与转换。
• 定义两种具有不同良好结构规则的语言配置文件：一种用于时序同步行为，另一种用于非定时、事件驱动行为。
• 为 MontiArcAutomaton 模型指定上下文无关文法，以确保语法正确性与工具互操作性。
• 使用 MontiCore DSL 框架实现该语言，支持与现有软件工程工具链的集成。
• 提供支持语法高亮与代码补全的文本编辑器，以及支持图形化建模的图形编辑器。
• 集成一个强大且可扩展的代码生成框架，支持输出至 EMF、Java、Mona 与 Python，用于目标系统的实现。

实验结果

研究问题

• RQ1 如何在网络物理系统中统一建模基于组件的架构与基于状态的行为？
• RQ2 为确保在组件架构中行为建模的一致性与正确性，需要哪些语法与良好结构规则？
• RQ3 如何在单一语言中形式化区分并建模时序同步与事件驱动的组件行为？
• RQ4 为实现工业 CPS 开发中此类建模语言的实际应用，需要哪些工具支持？
• RQ5 如何使从 MontiArcAutomaton 模型生成代码的过程具备可扩展性，并与现有软件工程栈实现互操作？

主要发现

• MontiArcAutomaton 有效实现了组件架构与基于自动机的行为建模的统一，支持对 CPS 组件进行精确且一致的规格说明。
• 通过量身定制的良好结构规则，该语言支持两种截然不同的行为配置文件——时序同步与事件驱动，显著提升了建模的表达能力。
• 基于 MontiCore 的实现支持完整的工具链，包括语法感知编辑、图形化建模以及对 EMF、Java、Mona 与 Python 的代码生成。
• 上下文无关文法与形式化语法定义确保了模型的一致性，并促进了工具集成与分析。
• 案例研究与项目应用证明了 MontiArcAutomaton 在真实 CPS 建模场景中的实际适用性。
• 该语言与工具链堆栈为 CPS 开发流水线中的形式化验证与自动化实现生成提供了坚实基础。