服务交互协议的分析与验证——简要综述
软件工程
2010-09-21 v1 计算机科学中的逻辑
摘要
服务间交互的建模与分析是面向服务计算中的一个关键问题。组合Web服务是一项复杂的任务，需要技术和工具来验证新系统将正确运行。本文首先概述了文献中提出的用于描述服务的一些形式化模型。其次，我们简要综述了可用于分析服务及其交互的验证技术。最后，我们重点关注编排的可实现性和一致性。
引用
@article{arxiv.1009.3716,
title = {Analysis and Verification of Service Interaction Protocols - A Brief Survey},
author = {Gwen Salaün},
journal= {arXiv preprint arXiv:1009.3716},
year = {2010}
}
备注
In Proceedings TAV-WEB 2010, arXiv:1009.3306