【摘 要】
：
近年来,以Web服务为基础的面向服务的体系结构的迅速发展,为互联网应用提供了一种共享数据的有效手段。Web服务组合为企业业务应用提供了极大的灵活性。然而,Web服务组合技术
论文部分内容阅读
近年来,以Web服务为基础的面向服务的体系结构的迅速发展,为互联网应用提供了一种共享数据的有效手段。Web服务组合为企业业务应用提供了极大的灵活性。然而,Web服务组合技术的研究刚刚起步,如何有效地解决Web服务在异构应用之间、松散耦合环境下的互操作、集成和协作等问题,就成为国内外软件技术研究的重要方向。
目前国内外针对Web服务组合,已经提出了很多Web服务的描述语言及组合方法。这些语言从不同方面对Web服务进行建模和规范,但在Web服务的行为表示上,仍缺乏一个清晰的语义和概念化的模型。本文分析了服务组合的相关解决方案,比较了它们满足服务组合正确性、安全性、自动组合等需求的情况。针对这些方法在满足组合需求问题上的不足,本文引入了一种基于模型检验机制的动作时序逻辑(Temporal Logic of Action,简称TLA)对Web服务的描述和组合问题进行研究。
本文基于有限状态自动机(Finite State Automata,简称FSA)理论,将Web服务建模成一个有限状态自动机,首先针对WSDL在服务行为描述方面的缺陷对WSDL进行扩展,并提出了从扩展的WSDL语言到TLA语言的转换算法,从而用TLA对服务的行为进行形式化的描述和规范,为描述Web服务提供了一个新的方法和途径。然后,本文讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。
其他文献
当前,网络安全形势日趋严峻的一个重要原因是网络中充斥着大量含有漏洞和弱点的隐患终端。这些隐患终端不仅会成为被攻击的对象,还可能被攻击者利用,成为黑客攻击、病毒传播
指纹识别领域虽然已有许多研究成果，但随着社会对指纹识别的迫切需求和指纹识别技术在实际应用和测试中表现出来的许多不足，近年来，许多研究机构都在进一步深入研究指纹识别领域
近年来,MMORPG (Massively Multiplayer Online Role Playing Game)大受欢迎并受到广泛的重视。它充分利用了网络不受时间地点限制的优势,使不同地理位置的玩家在一致的虚拟
近年来,随着多媒体压缩编码技术、网络通讯技术、嵌入式技术和高性能处理芯片的迅速发展,网络视频服务业务不断涌现,基于网络的视频服务需求急剧膨胀。但是,网络的不可知性、
遗传算法是一种抽象于生物体的进化过程,通过全面模拟自然选择和遗传机制,形成的全局优化搜索算法。在进化过程中,性能好的个体以更高的概率被选择,主要通过交叉和变异操作,
由于信息技术的飞速发展,人们对信息存储空间的需求越来越大。全息存储具有超大存储容量、存储密度高和存取速度快的优点。因此,全息存储技术正成为研究的热点问题。编码是全
近年来，随着仿真规模的不断扩大，分布式仿真网络中的信息安全问题越来越突出。如何有效的保护分布式仿真网络中的信息安全已经成为一个亟待解决的问题。作为信息安全技术核心之
伴随着手机软硬件平台能力的不断增强和无线网络通信技术的飞速发展,我国的无线通信业务正迅速的从单纯的语音服务向形式多样的增值业务发展。由于无线业务的飞速发展,引发了
随着Internet的迅速发展，可共享的资源越来越多，对数据的描述千差万别，数据环境的差异也越来越大。在企业内部，由于部门间相对独立，构建系统时缺乏统一的规划和标准，所以造成了现有
国内企业信息化建设为企业业务的展开和效率的提高带来了不可磨灭的贡献。企业在不同时间、不同部门开发的应用系统间的信息交换一直是困扰企业的难题,“信息孤岛”问题普遍