I ett meddelandesekvensdiagram (MSC) beskrivs ett antal samarbetsvilliga processers dynamiska beteende. En MSC definierar en partiell ordning på kommunikationshändelserna mellan dessa processer. Denna order detenniner den fysiska arkitektur som behövs för att genomföra det angivna beteendet, såsom en FIFO buffert mellan var och en av processerna. På ett systematiskt sätt definierar vi 50 kommunikationsmodeller för MSC och vi definierar vad det innebär för en MSC att kunna implementeras av en sådan modell. Vissa av dessa modeller visar sig vara likvärdiga, i den meningen att de tillämpar samma klass av MSC. Efter att ha analyserat begreppet genomförbarhet återstår bara tio modeller, för vilka vi utvecklar en hierarki.
I REF definieras en hierarki av kommunikationsmodeller för grundläggande MSC, och begrepp om genomförandebarhet för MSC ges.
A Hierarchy of Communication Models for Message Sequence Charts
{'venue': 'Formal Description Techniques and Protocol Specification, Testing and Verification', 'journal': 'Formal Description Techniques and Protocol Specification, Testing and Verification', 'mag_field_of_study': ['Computer Science']}