恩格斯,A.G。;茅,S。;Reniers,医学硕士。 消息序列图的通信模型层次结构。 (英语) Zbl 1014.68040号 科学。计算。程序。 44,第3期,253-292(2002). 摘要:在消息序列图(MSC)中,描述了多个协作实体的动态行为。MSC定义了这些实体之间通信事件的部分顺序。此顺序确定实现指定行为所需的物理架构,例如每个实体之间的FIFO缓冲区。以一种系统的方式,我们为MSC定义了50个通信模型,并定义了MSC通过这样的模型实现意味着什么。其中一些模型是等效的,因为它们实现了同一类MSC。在分析了可实现性的概念之后,只剩下十个类,我们为其开发了一个层次结构。我们还开发了算法来检查给定的MSC是否属于这样的类。 引用于6文件 MSC公司: 68甲15 编程语言理论 关键词:消息序列图;语义学;实施;验证;缓冲;通信模型;等级制度 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Engels}等人,科学。计算。程序。44,第3号,253--292(2002;Zbl 1014.68040) 全文: 内政部