适合当前无线电技术发展湖南省移动.docVIP

适合当前无线电技术发展的湖南省移动 电子商务信息系统架构关键技术研究 ■ 刘建闽 无线电技术发展已经进入了一个崭新的时代。2009年1月，国家工业与信息化部宣布发放3张第三代移动通信(3G)牌照，分别是TD-SCDMA牌照授予中国移动、CDMA2000牌照授予中国电信和WCDMA牌照授予中国联通，此举标志着继世界各国之后，全球最有前途的移动通信及增值业务市场—中国，无线电通信技术正式进入3G时代。 移动商务是指利用移动工具和移动技术所进行的商务活动。移动商务分为“以消费者为主”的移动商务和“以商务目的为主”的移动商务。“以消费者为主”的移动商务以提供个人化信息服务为目标以满足一般消费者的要求，如卫星定位信息系统；“以商务目的为主”的移动商务则是利用移动装置完成企业商务往来或增进企业生产效率的运做模式，如企业间上下游供应链的结合。 在无线电通信技术进行3G时代后，各种移动增值业务及核心的移动支付是3G领域重要应用之一，基于3G技术的移动支付将使得移动电子商务的各种交易指令流、信息流、现金流、物流整合起来，通过实时的交易指令流整合资金流、信息流和物流，将使得移动商务完美地闭环运行。 随着移动支付的发展，移动支付涉及的领域越来越广泛，涉及的企业和用户越来越多，每笔交易的发生都涉及到了多方面的相互协作，原有单一的交易方式越来越向着多元化和分布式发展；因此，随着加入移动支付的企业和用户群的增大，业务流程自动化就成为当前移动支付的最需要解决的问题。 移动支付整合着来自不同领域的多样化系统的复杂应用，包括B2C，B2B和企业应用集成。其业务交互模型通常被认为是以连串的P2P的消息传递，无论是同步的还是异步的，都是设计双方或者是多方的有状态的长期运行的交互，为了定义这样的业务交互，一个用于描述业务流程交互的正式的消息交互协议正是我们所需要的。这样的业务协议的定义设计了精确描述协议中所设计的各方的共同可见的消息交互行为，但不能去揭露企业的内部的实现，并且能够描述企业之间业务的所有行为方式。描述跨企业协作的商业流程的业务协议具有以下特点：业务协议总是包含数据依赖行为。指定异常条件及其结果的能力，包括恢复次序的能力，对业务协议来说，至少和定义正常流程行为的能力一样重要。长期的交互往往包括多个，通常是嵌套的工作单元，每一个都有其自己的数据需求。业务协议需要频繁的多伙伴协作以得到不同粒度的工作单元的结果 (成功或失败)。 当前SOA己得到了广泛的应用，而BPEL是SOA的重要组成部分之一，能否正确的设计BPEL是能否保证SOA架构质量的关键因素之一。由于并行计算的关系，复杂的BPEL可能产生死锁。虽然大部分IDE都有一定的检验能力，但是还不完善，经检验部署在服务器上的BPEL还有可能存在逻辑错误。而颜色Petri网是是一种图形化的系统模型，它的模验证方法已经比较完善，可以保证所建立模型的流程清晰、正确。笔者研究将经过验证的颜色Petri网模型转化为BPEL，以保证BPEL的逻辑正确。 Petri-net出自于1962年Car Adam Petri的博士论文。Petri网可以用来描述与一个或多个系统，以及系统之间的相互影响。它是一种用网状图形表示的数学工具。Petri-net功能强大，其能力等价于图灵机，适用于描述异步的过程，当然也可以描述并发的程序。Petri-net的描述中没有负责集中控制的部分，所有的控制都是局部的，这一特点与并行分布的程序很相似，使其描述并发流程很方便。Petri-net可以用来模拟并行的系统，适合于描述异步的活动。具有严格数学定义的同时，使用图形来表示实际中的系统。经过多年的研究，Petri-net 以其高可用性和形式化特性成为高性能的工作流建模工具之一，它可以利用简单的图元描述复杂的业务流程，同时其经过严格定义的形式化方法可以以严谨的方式描述出业务流程各个元素之间的关系，在经典 Petri-net的基础上又演变出一系列的扩展方法，比如：颜色扩展、层次扩展、时间扩展等，其中颜色Petri网是对基本Petri-net的扩展之后的一种高级Petri网。在基本Petri网的基础上，添加了对令牌的区分，颜色Petri网对令牌进行了扩展。在基本Petri网中，所有的令牌都是相同的，没有区别。颜色Petri网给令牌赋予颜色，这里的颜色不是指自然中的颜色，而是代表令牌的类型，相同颜色的令牌代替同一种资源，不同颜色的托肯代表不同类型的资源。利用颜色Petri网的这一特性，可以很方便的表示BPEL中的变量。降低模型的复杂度，并且是模型更易于理解。 BPEL是Business Process Execution Language for Web Services的简写，又可称为BPEL4WS，以平台无关的形式为企业间的业务交互的行为提供了一个描述业