×

兹马思-数学第一资源

从编写为谓词/转换网络的服务规范派生协议规范。(英语) Zbl 1118.68028
摘要:我们考虑从用谓词/转换网(Pr/T-nets)编写的服务规范派生协议规范。服务规范描述了系统的全局行为,包括将Pr/T-net位置分配给\(N\)个分布式站点。本文提出了一种新的协议规范生成算法,该协议规范定义了在站点上执行的通信实体的行为,并协调它们的行为,以符合服务规范定义的全局行为。我们的算法将服务规范的每个转换分解为一组运行在\(N\)实体上的通信Pr/T子网。此外,为了有效地控制共享资源的冲突,我们提出了一种基于时间戳的竞争控制算法,并将其引入到派生算法中。已经开发了一个工具来实现我们的算法,并与其他现有工具一起工作,以图形化的方式表示服务和派生的协议规范。讨论了两个应用实例。

理学硕士:
68M12 网络协议
软件:
CPN/工具
PDF格式 BibTeX公司 XML 引用
全文: 内政部