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