基于LTS的Web服务可适配性组合研究

发布时间：2018-03-08 13:56

本文选题：Web服务　切入点：LTS　出处：《江西财经大学》2016年硕士论文　论文类型：学位论文

【摘要】：随着互联网与电子商务的迅速发展,企业大量采用信息系统来自动化处理业务,并从中获得了巨大的收益。其中每个信息系统都对应不同的业务,这些分散的系统需要集成才能让企业内部其他系统或外部合作企业使用。然而集成需要解决平台之间所用语言、协议等属性的差异化问题,这需要付出很高的代价。由此面向服务体系结构(Service-Oriented Architecture,SOA)的方法被提出,它以Web服务作为基础单元,利用服务组合技术灵活而快速地将原有服务拼装成企业所需应用。SOA可以根据企业不同需要随时进行扩充、调整,并能够使用成熟、稳定的已有服务来减少开发和测试时间,提高工作效率。这种开发模式得到了业界的广泛认同。在服务组合的过程中,由于Web服务由不同第三方服务提供者开发的,在服务接口中定义的操作名、操作参数、操作调用顺序、操作返回值等不同的属性会产生不一致,从而导致在组合的兼容性检查中出现不兼容,这个问题是几乎不可避免的。对于这些不兼容的服务,完全舍去不兼容的服务可能会导致无法找到需求的服务。那么如何将这些不兼容的服务转化为企业可用的服务成为当前Web服务组合中重要的技术,也就是服务适配技术。当前服务组合技术研究的重点就是服务组合流程中的服务描述、服务检索、服务兼容性检查和服务适配技术。本研究首先查阅文献资料对现今Web服务组合技术研究现状进行梳理、归纳和分析,了解国内外研究情况,并对当前的主流的Web组合方法进行总结,得出当前服务组合研究中有两个不足之处。对于服务组合中的问题,大部分研究都从服务组合中的某一点进行研究,并没有作系统性的研究,并且大部分研究在面对多元兼容性检查问题上都从整体进行考虑,使得复杂度过高。本文针对上述问题对服务组合整体进行研究。本文提出将外部接口和内部行为统一起来的图形化的、直观的服务视图,采用标签转换系统(Labeled Transition System,LTS)对Web服务行为进行建模。根据检索算法从服务库中检索出需要的服务,并选择出适当的服务进行服务的兼容性判定。在组合阶段先针对两个服务之间的兼容性进行判定,将两个服务的交互过程表示为服务之间的动态变迁,通过使用LTS同步积模拟组合后服务的动态行为,再通过检查同步积是非正常来判定是否出现状态来进行行为兼容性判断,并设计判定算法以实现兼容性的自动分析。再对多元服务之间兼容性进行分析,根据Web服务间的连接关系,将相连服务的行为投影到对应连接件上,使得Web服务行为正交化,将整个系统的兼容性检查转化为对多对相连服务之间的兼容性检查。然后对造成服务不兼容原因进行分析,为每个适配原因提出解决方案,根据解决方案来制作适配器。本文通过网上阅读电子书的服务实例来对本文的方法进行分析,并通过一个服务组合系统来对本文方法进行解析。本研究采用服务视图模型来描述服务,其中采用LTS模型模拟Web服务交互行为。在服务组合的工程中,本文通过检索的方式过滤出候选服务,然后根据系统Web服务连接关系,对候选服务进行兼容性分析。针对多元服务将服务投影到相连的连接件上,实现了 Web服务行为的正交化,并基于投影将系统整体协作映射为P2P分布式协作子流程,形成不同连接件上服务投影进行成对的兼容性检查与适配,从而只需考虑单个连接件上交互过程的一致性,降低了兼容性检查与适配方法的复杂性。在满足了可适配的前提下,给出了适配器的自动生成算法,系统通过适配器协调来保证Web服务交互的正确性。这种方法在动态多变的网络环境中,在单个Web服务发生变化时,只需进行局部的兼容性与适配器的重新计算,降低了系统更新代价,提高了组合灵活性。在后续的研究将考虑在检索过程中通过适配程度来对服务进行排序,可以检索出更适合适配的服务,并对服务的可替换性进行研究。
[Abstract]:......
【学位授予单位】：江西财经大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TP393.09

【参考文献】