论文标题
反应性系统的脱钩适应性标准
Decoupled Fitness Criteria for Reactive Systems
论文作者
论文摘要
反应性系统的正确性问题已得到彻底探索，并得到充分理解。同时，反应性系统的效率问题尚未受到相同的关注。实际上，一个正确的系统可能比另一个正确的系统更合适，并且手动确定这一点是具有挑战性的，并且经常进行临时。我们（1）提出了一个新颖和一般的框架，该框架自动使用可解释的参数自动为反应性系统分配了可比性的分数，这些参数与所评估的系统相结合，（2）陈述了评估此问题的计算问题，并将此问题评估为矩阵分析问题，（3）通过求解了该系统的符号和数字分析的方法，并且（3）以下分析方法，（3）（3）（3）（3）（3）（3）（3）（3）（3）（3）（4）分析方法（4））（4）（4）（4））三个案例研究，包括交替的位协议和两个阶段提交。
The correctness problem for reactive systems has been thoroughly explored and is well understood. Meanwhile, the efficiency problem for reactive systems has not received the same attention. Indeed, one correct system may be less fit than another correct system and determining this manually is challenging and often done ad hoc. We (1) propose a novel and general framework which automatically assigns comparable fitness scores to reactive systems using interpretable parameters that are decoupled from the system being evaluated, (2) state the computational problem of evaluating this fitness score and reduce this problem to a matrix analysis problem, (3) discuss symbolic and numerical methods for solving this matrix analysis problem, and (4) illustrate our approach by evaluating the fitness of nine systems across three case studies, including the Alternating Bit Protocol and Two Phase Commit.
