×

消息序列图的通信模型层次结构。 (英语) Zbl 1014.68040号

摘要:在消息序列图(MSC)中,描述了多个协作实体的动态行为。MSC定义了这些实体之间通信事件的部分顺序。此顺序确定实现指定行为所需的物理架构,例如每个实体之间的FIFO缓冲区。以一种系统的方式,我们为MSC定义了50个通信模型,并定义了MSC通过这样的模型实现意味着什么。其中一些模型是等效的,因为它们实现了同一类MSC。在分析了可实现性的概念之后,只剩下十个类,我们为其开发了一个层次结构。我们还开发了算法来检查给定的MSC是否属于这样的类。

MSC公司:

68甲15 编程语言理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部