一种寻找具有最小冲突的最优路径的灵活方法
软件工程
2017-07-19 v1 计算机科学中的逻辑
摘要
复杂系统通常通过结构与行为模型的组合来建模，其中分离的行为模型便于设计和理解局部行为。当部分模型组合时，我们需要保证它们是一致的，并且已经开发了若干自动化技术来检查这一点。我们认为在某些情况下不可能保证完全一致，相反我们希望找到跨越此类模型的执行路径，使其相对于某个关注度量具有最小冲突。我们提出了一种高效且可扩展的解决方案，通过结合定理证明器Isabelle与约束求解器Z3来寻找最优路径。我们的方法受到一个医疗问题的启发，即如何检测患有多种慢性病的病人所服用药物之间的冲突，以及如何自动找到更优的替代方案。
引用
@article{arxiv.1707.05383,
title = {A Flexible Approach for Finding Optimal Paths with Minimal Conflicts},
author = {Juliana Bowles and Marco B. Caminati},
journal= {arXiv preprint arXiv:1707.05383},
year = {2017}
}
备注
Preprint of a paper accepted at the forthcoming ICFEM 2017 conference