基于 MontiArcAutomaton 的信息物理系统架构与行为建模

本书介绍 MontiArcAutomaton，一种用于信息物理系统架构与行为建模的建模语言，采用交互式组件与连接器模型。MontiArcAutomaton 通过引入自动机来描述组件行为，从而扩展了架构描述语言 MontiArc。该建模语言提供了在 MontiArc 组件内部定义带有状态、变量和转换的自动机的语法元素。这些语法元素以及一组基本的良构性规则，为组件与连接器架构中基于状态的行为建模语言族提供了语法。我们给出了两个具体的语言配置文件，并附加了额外的良构性规则，分别用于建模时间同步的组件行为和不定时的、事件驱动的组件行为。本书概述了 MontiArcAutomaton 语言，包括示例、语言参考以及 MontiArcAutomaton 模型的上下文无关文法。它还提供了两个语言配置文件的语法定义、良构性规则和语义。我们总结了应用 MontiArcAutomaton 的项目和案例研究。MontiArcAutomaton 使用 DSL 框架 MontiCore 实现。可用工具包括一个具有语法高亮和代码补全功能的文本编辑器，以及一个图形编辑器和一个强大且可扩展的代码生成框架，其目标语言包括 EMF、Java、Mona 和 Python。