詹姆斯·约翰逊（James E.Johnson）。；David E.Langworthy。；莱斯利·兰波特；弗里德里希·沃格特。 web服务协议的正式规范。 （英语） Zbl 1178.68062号 J.日志。阿尔盖布。程序。 70，第1期，34-52（2007）. 摘要：我们描述了使用形式化方法来指定和检查Web服务协议。Web服务原子事务协议在\（TLA^{+}\）中指定，并使用TLC模型检查器进行检查。适度的努力揭示了导致协议意外行为的疏忽；通过对协议的澄清和更改，这些问题得到了纠正。 MSC公司： 68个M12 网络协议 68米10 计算机系统中的网络设计和通信 68问题65 抽象数据类型；代数规范 68英里11 互联网主题 关键词：规格；标准；TLA公司；验证 软件：图拉法勒；阿斯毫升 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Johnson}等人，J.Log。阿尔盖布。程序。70，编号1，34-52（2007；Zbl 1178.68062） 全文： 内政部 链接 参考文献： [1] 伯恩斯坦，P.A。；哈齐拉科斯，V。；Goodman，N.，《数据库系统中的并发控制和恢复》（1987），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州 [8] 格雷，J。；Reuter，A.，《交易处理：概念和技术》（1993年），Morgan Kaufmann Publishers，Inc.：Morgan Kufmann出版商，Inc.旧金山·Zbl 0781.68006号 [11] Lamport，L.，《指定系统》（2003），Addison-Wesley：Addison-Whesley Boston 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。