相干分支特征互模拟
计算机科学中的逻辑
2015-04-15 v1 软件工程
摘要
软件产品族在族层面的行为分析进展得益于底层语义理论的进一步发展。在此，我们提出一种针对特征转换系统（FTS）的行为等价性，该等价性推广了标记转换系统（LTS）的分支互模拟。我们证明，对于产品族的 FTS，其分支特征互模拟与每个独立产品的 LTS 投影的分支互模拟一致。对于受限的相干分支特征互模拟概念，我们进一步提出了一种最小化算法并证明了其正确性。尽管相干分支特征互模拟的最小化问题被证明是难解的，但在小型案例研究场景中应用该算法，显著加速了行为属性的模型检测。
引用
@article{arxiv.1504.03474,
title = {Coherent branching feature bisimulation},
author = {Tessa Belder and Maurice H. ter Beek and Erik P. de Vink},
journal= {arXiv preprint arXiv:1504.03474},
year = {2015}
}
备注
In Proceedings FMSPLE 2015, arXiv:1504.03014