论文部分内容阅读
当今越来越多的信息、服务都被发布在互联网上,信息搜索、服务集成技术已经成为IT行业关注的焦点。电信服务作为一种传统的通信服务,也顺应这种趋势,越来越多地被运营商以Web服务的方式提供给客户,同样面临服务的组合或重用问题。SOA作为一种架构思想,能够通过服务的组合或集成,迅速适应业务要求,同时,有效地降低了系统、服务之间的耦合性,提高了业务实现技术的灵活性。SOA是在Web服务的基础上发展起来的,主要目的是实现组件的集成,而Web服务本质上就是一个服务组件,它能够实现松散耦合的服务和粗粒度的服务。BPEL作为SOA的重要组成部分,它的出现,很好地支持了不同Web服务的集成,满足了流程对服务组合和重用的要求,同时为业务流程的实现提供技术和服务方面的保障,从而能够组合出新的服务来顺应不断变化的业务需求。
本文结合电信运营支撑系统的发展趋势,以实验室过去基于Petri网的并发机制、规则应用等研究为基础,将BPEL作为描述具体业务流程的方式,着重研究它对流程的并发、协同的表示方法和相关机制,同时建立一种算法将BPEL流程映射成Petri网模型,从而可以根据不同的技术需求实现两者的转换。传统的Petri网在描述工作流上有其局限性,多维、染色概念的提出能很好地解决了这个不足,成为扩展Petri网的重要方面,多维染色token的调度机制以及和BPEL并发流程的内在联系也是本文研究的重要方面。文章首先简要介绍了Web服务组合技术和Petri网等相关知识,然后针对BPEL规范中的各个概念进行深入理解,尤其是它的并发协同机制,以及和Petri网的互映射问题。接下来通过一个实例来详细说明本文提出的BPEL到Petri网的映射算法。最后,给出映射过程中的相关设计和实现方法。