【摘 要】
：
近年来，以Web服务为基础的面向服务的体系结构的迅速发展，为互联网应用提供了一种共享数据的有效手段。Web服务组合为企业业务应用提供了极大的灵活性。然而，Web服务组合技术的
论文部分内容阅读
近年来，以Web服务为基础的面向服务的体系结构的迅速发展，为互联网应用提供了一种共享数据的有效手段。Web服务组合为企业业务应用提供了极大的灵活性。然而，Web服务组合技术的研究刚刚起步，如何有效地解决Web服务在异构应用之间、松散耦合环境下的互操作、集成和协作等问题，就成为国内外软件技术研究的重要方向。
目前国内外针对Web服务组合，已经提出了很多Web服务的描述语言及组合方法。这些语言从不同方面对Web服务进行建模和规范，但在Web服务的行为表示上，仍缺乏一个清晰的语义和概念化模型。
本文基于动作时序逻辑(TLA)的推理特性，将Web服务的OWL-S描述转化为TLA表达式，同时对用户的请求以工作流的方式进行抽象建模，然后利用TLA的逻辑推理特性米验证Web服务组合结果的正确性，并且提出了Web服务组合与验证的推理算法，并开发了Web服务组合的推理系统。实验证明此推理算法具有一定的可扩展性。
其他文献
随着互联网技术的日新月异,Web服务为网络资源信息的互操作提供了良好的技术支撑。凭借其自身所拥有的特性,诸如标准的接口、平台无关性、协议标准化和国际化等,Web服务越来
随着互联网上Web服务大量涌现,大规模服务管理及Web服务自动化处理的重要性不断增加,迫切需要构建新的SOA体系的基础设施。对Web服务进行分类和语义标注是构建Web服务基础设
决策树是解决分类问题的有效方法,已成功应用于模式识别、决策支持、生物信息处理等许多领域。ID3算法是著名的决策树归纳算法,它处理的对象是离散值决策表,但不能直接处理具
随着教育信息化的不断发展，通过网络获取相关学习资源已经成为人们日常学习中的重要方式之一。网络学习的资源丰富而开放，获取途径简单不受时空的限制，近几年已经成为现代教育教
数据安全问题是制约云存储发展的关键问题之一。基于属性的加密算法将用户存储在云中的数据以密文形式存放,可以防止云服务提供商挖掘或者泄露用户隐私数据,从而保证数据安全
公安机关警务督察与考核一体化(以下简称“督考一体化”)工作机制的实施对整体社会治安管理工作有重大促进作用。“督考一体化”工作机制中业务流程具有不确定性,其IT支撑平
软件测试是保证软件质量和可靠性的重要手段。面向对象技术发展迅速并得到业界的普遍认同,成为人们首选的开发模式。但在这种开发模式给用户带来巨大方便的同时,其特性,例如
互联网的应用推广以及由此带来的便捷信息传递和信息服务,使电子商务在迅速发展、状大的同时也产生了信息超载现象。用户面对大量的商品信息,想要方便、快捷地找到自己感兴趣
随着全球经济一体化的深入发展，敏捷的、不受限制的业务集成需求已经成为关键的业务需求。企业希望能够集成企业内外的信息，同时又能随时更新。面向服务架构(SOA)应运而生，是当
随着互联网技术的进步和网络应用的普及，对等网络、移动自组网络、网格以及无线传感器网络等新型网络模型相继出现，由于此类网络具有开放、动态、自主、分布式等特性，使得安全问