服务组合验证相关论文
随着近年来服务计算和面向服务的架构(SOA)的迅速发展以及Web服务技术的成熟与完善,服务组合作为服务计算和SOA领域的核心问题已经......
Web服务组合作为一种崭新的分布式计算模型,是Web上服务集成的有效机制。随着Web服务成为公认的实现服务的主流技术选择,这使得动......
构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过......
随着计算机和网络的发展,企业对信息化的要求越来越高。为了使金融、通信、地理空间信息等行业更具有竞争力,以及企业内部的人力管......
Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向。分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形......