基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。
推荐文章
基于有色Petri网的Web服务合成建模
Web服务
有色Petfi网
Web服务网模型
合成建模
基于扩展的层次有色petri网的组合服务测试用例生成
有色petri网
数据流
测试序列
OWL-S
组合服务
一种基于有色Petri网的网格工作流模型
网格服务
工作流
有色Petri网
有色服务流程网
服务流水线
一个基于Petri网的Web服务组合模型
Web服务
Web服务组合
Petri网
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于有色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
总被引数(次)
31437
论文1v1指导