基于约束求解器的场景式建模中复合事件的动态构建
软件工程
2020-10-13 v2
摘要
场景式编程（Scenario-Based Programming）是一种由称为场景（scenarios）的简单独立构件来建模与构造复杂反应式系统的方法。这些场景用于建模系统的不同特征，并可交织在一起执行以产生内聚的系统行为。现有的场景式程序执行框架仅允许场景通过非常严格的接口来指定其关于系统必须、可以或不可以做的事的视角。这限制了该方法的表达能力，且常使用户无法建模某些复杂需求。在此，我们提议扩展场景式编程的执行机制，允许场景使用丰富的逻辑约束来指定系统应如何行为。随后我们利用现代约束求解器（如SAT或SMT求解器）在系统运行的每一步求解这些约束，以产生期望的整体系统行为。我们提供了该方法的一种实现，并展示了其在多种系统上的适用性，这些系统无法被现有场景式方法以可执行方式轻松建模。
引用
@article{arxiv.1909.00408,
title = {On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers},
author = {Guy Katz and Assaf Marron and Aviran Sadon and Gera Weiss},
journal= {arXiv preprint arXiv:1909.00408},
year = {2020}
}
备注
This is a preprint version of the paper that appeared at Modelsward 2019