伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;鲍拉·斯波莱蒂尼 量化不一致：消息序列图中的顺序差异。 （英语） Zbl 1200.68046号 发现的国际期刊。计算。科学。 21，第2期，211-233（2010）. 概要：消息序列图（MSC）和高级消息序列图是用于描述消息传递协议场景的形式。我们建议使用艾伦逻辑来表示消息的时间顺序。我们引入了“不一致”的概念来量化HMSC不同节点中消息之间排序的直观性和语义之间的差异。我们研究了这个概念的算法特性：我们表明，虽然一对消息的不一致通常很难计算，但如果HMSC的节点数或进程数是恒定的，则问题将变成多项式时间可计算的。此外，对于给定的HMSC，在计算上总是很容易识别出一对显示最坏情况不一致的消息，并计算出这对消息的不一致。 MSC公司： 68个M12 网络协议 22E46型 半单李群及其表示 53立方35 对称空间的微分几何 57秒20 变换的非紧李群 关键词：不和谐;消息序列图;订单差异 PDF格式BibTeX公司 XML格式引用 \textit{E.Elkind}等人，国际期刊发现。计算。科学。21，编号211--233（2010年；兹bl 1200.68046） 全文： 内政部 参考文献： [1] 内政部：10.1145/182.358434·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434 [2] Alur R.，软件–概念和工具17，第70页–·Zbl 1142.68429号 [3] DOI:10.1016/j.tcs.2004.09.034·Zbl 1088.68097号 ·doi:10.1016/j.tcs.2004.09.034 [4] 内政部：10.1145/322374.322380·Zbl 0512.68039号 ·数字对象标识代码：10.1145/322374.32280 [5] DOI:10.1023/A:1011227529550·兹伯利0985.68033 ·doi:10.1023/A:1011227529550 [6] Floyd R.W.，美国计算机学会通讯第356页—— [7] DOI:10.1007/s10009-002-0085-2·Zbl 02178135号 ·doi:10.1007/s10009-002-0085-2 [8] DOI:10.1007/978-3-642-19029-2·doi:10.1007/978-3-642-19029-2 [9] 内政部：10.1145/876638.876639·Zbl 1325.68220号 ·doi:10.1145/876638.876639 [10] 内政部：10.1016/j.ic.2003.10.002·Zbl 1091.68006号 ·doi:10.1016/j.ic.2003.10.002 [11] 内政部：10.1145/32105.321107·Zbl 0118.33104号 ·数字对象标识代码：10.1145/32105.321107 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。