平津山口;El-Fakih，哈立德;格雷戈·波希曼。;东野东彦 从写为谓词/转换网络的服务规范中派生协议规范。 （英语） 兹比尔1118.68028 计算。Netw公司。 51，第1期，258-284（2007）. 摘要：我们考虑从谓词/转换网（Pr/T-nets）中编写的服务规范派生协议规范。服务规范描述了系统的全局行为，包括将Pr/T-net位置分配给分布式站点。本文提出了一种新的算法来推导一个协议规范，该协议规范定义了在N个站点上执行的通信实体的行为，并协调它们的行为，以符合服务规范定义的全局行为。我们的算法将服务规范的每个转换分解为一组运行在\（N）实体上的通信Pr/T子网。此外，为了有效地控制共享资源的冲突，我们提出了一种基于时间戳的竞争控制算法，并将其纳入推导算法中。已经开发了一个工具，该工具实现了我们的算法，并与其他现有工具一起用于服务的图形表示和派生协议规范。讨论了两个应用示例。 引用于2文件 MSC公司： 68个M12 网络协议 关键词：Petri网;分布式系统;规格;自动化设计 软件：CPN/工具 PDF格式BibTeX公司 XML格式引用 \textit{H.Yamaguchi}等人，计算。Netw公司。51，第1号，258--284（2007；Zbl 1118.68028） 全文： 内政部