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 -