TY - GEN

T1 - Quantifying the discord

T2 - 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007

AU - Elkind, Edith

AU - Genest, Blaise

AU - Peled, Doron

AU - Spoletini, Paola

PY - 2007

Y1 - 2007

N2 - Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSC) are formalisms used to describe scenarios of message passing protocols. We propose using Allen's logic to study the temporal order of the messages. We introduce the concept of discord to quantify the order discrepancies between messages in different nodes of an HMSC and study its algorithmic properties. We show that while discord of a pair of messages is hard to compute in general, the problem becomes polynomial-time computable if the number of nodes of the HMSC or the number of processes is constant. Moreover, for a given HMSC, it is always computationally easy to identify a pair of messages that exhibits the worst-case discord, and compute the discord of this pair.

AB - Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSC) are formalisms used to describe scenarios of message passing protocols. We propose using Allen's logic to study the temporal order of the messages. We introduce the concept of discord to quantify the order discrepancies between messages in different nodes of an HMSC and study its algorithmic properties. We show that while discord of a pair of messages is hard to compute in general, the problem becomes polynomial-time computable if the number of nodes of the HMSC or the number of processes is constant. Moreover, for a given HMSC, it is always computationally easy to identify a pair of messages that exhibits the worst-case discord, and compute the discord of this pair.

UR - http://www.scopus.com/inward/record.url?scp=38149020600&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-75596-8_27

DO - 10.1007/978-3-540-75596-8_27

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:38149020600

SN - 9783540755951

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 378

EP - 393

BT - Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings

PB - Springer Verlag

Y2 - 22 October 2007 through 25 October 2007

ER -