基于有色Petri网的模型驱动SOA服务模型组合

摘要

In the framework of model-driven SOA,a verifiable and reasonable service process can be created in the business process layer.The five basic logical structures in the service combination are defined through formalization,and are described by colored Petri Net.Then these definitions are Abstracted as algebraic computing.On the basis of which,the nature of the services obtained by algebraic computing and the way to construct the Web services are given.An example shows that the modeling approach can ensure the combination of services is correct and can be terminated.%在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。