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

›› 2012, Vol. 25 ›› Issue (2): 93-.

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

王宏达,周良

(南京航空航天大学计算机科学与技术学院,江苏南京 210016)

出版日期:2012-02-15 发布日期:2012-02-29
作者简介:王宏达(1985—),男,硕士研究生。研究方向:系统集成。周良(1966—),男,副教授。研究方向:人机交互技术,信息系统与信息安全,知识工程。

Research on Service Model Combination of Model-driven SOA Based on Colored Petri Nets

WANG Hong-Da, ZHOU Liang

(School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China)

Online:2012-02-15 Published:2012-02-29

摘要/Abstract

摘要：

在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。

关键词: SOA, MDA, 有色Petri网, 服务组合

Abstract:

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.

Key words: SOA;MDA;colored Petri nets;model combination

中图分类号:

TP311.52

王宏达, 周良. 基于有色Petri网的模型驱动SOA服务模型组合[J]. , 2012, 25(2): 93-.

WANG Hong-Da, ZHOU Liang. Research on Service Model Combination of Model-driven SOA Based on Colored Petri Nets[J]. , 2012, 25(2): 93-.

[1]	徐贵,马晓艳,马晓娟. 基于SOA的安防系统设计[J]. , 2016, 29(1): 128-.
[2]	孙祺,那彦,刘波. 基于Mamdani型直觉模糊推理的图像融合算法[J]. , 2014, 27(5): 193-.
[3]	杨光. 带有超级电容储能的永磁同步电机—电梯曳引系统[J]. , 2014, 27(11): 167-.
[4]	张喆,张小苗,呼延江利,李洋. 一种基于SIW技术的喇叭天线[J]. , 2013, 26(7): 97-.
[5]	奚思, 于连栋. 关节式坐标测量机结构参数标定优化采样策略[J]. , 2012, 25(8): 132-.
[6]	刘书凯. 单电源I/F转换电路设计[J]. , 2011, 24(1): 106-.
[7]	何聚厚, 何秀青. 基于SOA的开放式考试系统设计[J]. , 2010, 23(5): 119-.
[8]	张仙伟, 张璟. Web服务的核心技术之一——SOAP协议[J]. , 2010, 23(3): 93-.