基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。
推荐文章
SOA架构下基于Petri网的Web服务协商模型
Petri网
Web服务
服务协商
服务组合
加权模糊推理
基于有色Petri网的动态资源模型
移动计算
动态资源
CPN Petri
基于面向对象Petri网的模型驱动开发方法的研究
OOPN
模型驱动开发
面向对象
Petri网
基于有色Petri网模型的安全协议检测方法
有色Petri网
CPN Tools
安全协议
Needham-Schroedor公钥协议
建模
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于有色Petri网的模型驱动SOA服务模型组合
来源期刊 电子科技 学科 工学
关键词 SOA MDA 有色Petri网 服务组合
年,卷(期) 2012,(2) 所属期刊栏目 图像·编码与软件
研究方向 页码范围 93-96
页数 分类号 TP311.52
字数 2798字 语种 中文
DOI 10.3969/j.issn.1007-7820.2012.02.028
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 周良 南京航空航天大学计算机科学与技术学院 95 1164 17.0 31.0
2 王宏达 南京航空航天大学计算机科学与技术学院 1 3 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (3)
同被引文献  (9)
二级引证文献  (0)
2012(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
SOA
MDA
有色Petri网
服务组合
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子科技
月刊
1007-7820
61-1291/TN
大16开
西安电子科技大学
1987
chi
出版文献量(篇)
9344
总下载数(次)
32
论文1v1指导