反应式系统的解耦适应度准则
计算机科学中的逻辑
2023-09-08 v3
摘要
反应式系统的正确性问题已被深入探索并很好理解。与此同时，反应式系统的效率问题未受到同等关注。确实，一个正确系统可能不如另一个正确系统适应度高，而手动判定这一点具有挑战性且常是临时进行的。我们 (1) 提出一种新颖且通用的框架，其利用与被评估系统解耦的可解释参数，自动为反应式系统分配可比较的适应度分数；(2) 陈述评估该适应度分数的计算问题，并将此问题归约为矩阵分析问题；(3) 讨论解决该矩阵分析问题的符号与数值方法；以及 (4) 通过对九个系统跨越三个案例研究(包括交替位协议与两阶段提交)的适应度评估来说明我们的方法。
引用
@article{arxiv.2212.12455,
title = {Decoupled Fitness Criteria for Reactive Systems},
author = {Derek Egolf and Stavros Tripakis},
journal= {arXiv preprint arXiv:2212.12455},
year = {2023}
}
备注
v3 notable changes: "component separable" -> "faithful representation"; v2 notable changes: - updated discussion of "component separable" - updated presentation/organization of section 4 - updated presentation/organization of section 5 - added new case study