DesignBIP：一个用于使用 BIP 建模与生成系统的设计工作室
软件工程
2018-06-04 v2
摘要
行为-交互-优先级 (BIP) 框架植根于严格的语义，允许构建正确性由设计保证的系统。BIP 已被有效地用于构建和分析大型系统，例如机器人控制器和卫星星载软件。然而，BIP 模型的规约完全以纯文本方式完成，没有任何代码编辑器支持。为了便于 BIP 模型的规约，我们提出了 DesignBIP，一个基于 Web 的、支持协作与版本控制的设计工作室。为了促进 BIP 模型的扩展和重用，我们使用了一种图形化语言来对具有严格语义的参数化 BIP 模型进行建模。我们展示了该设计工作室提供的各种服务，包括模型编辑器、代码编辑器、一致性检查机制、代码生成器以及与 JavaBIP 工具集的集成。
引用
@article{arxiv.1805.09919,
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:1805.09919},
year = {2018}
}