DesignBIP：一个用于 BIP 建模与系统生成的设计算法工作室
软件工程
2019-11-20 v1 形式语言与自动机理论
计算机科学中的逻辑
摘要
行为-交互-优先级（BIP）框架基于严格的语义，允许构建天生正确的系统。BIP 已有效用于构建和分析大型系统，如机器人控制器和星载软件。然而，BIP 模型的规约以纯文本方式进行，无任何代码编辑器支持。为便于 BIP 模型的规约，我们提出 DesignBIP，一个基于 Web 的、协作式、版本可控的设计工作室。为促进 BIP 模型的规模扩展与可重用性，我们使用一种图形化语言对具有严格语义的参数化 BIP 模型进行建模。我们介绍了该设计工作室提供的各项服务，包括模型编辑器、代码编辑器、一致性检查机制、代码生成器，以及与 JavaBIP 工具集的集成。
引用
@article{arxiv.1911.08405,
title = {DesignBIP: A Design Studio for Modeling and Generating Systems with BIP},
author = {Anastasia Mavridou and Joseph Sifakis and Janos Sztipanovits},
journal= {arXiv preprint arXiv:1911.08405},
year = {2019}
}
备注
In Proceedings MeTRiD 2018, arXiv:1806.09330. A technical report with full details is available at arXiv:1805.09919