基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为了增强服务组合的QoS特性, 迫切需要在流程设计层面验证时序约束兼容性. 针对工作流中常见的纯顺序、 并发与选择结构, 估算了其概率分布, 进而提出了一种基于概率的、 定量检验服务组合的时序兼容性的方法. 通过案例分析与性能测试验证了其有效性.
推荐文章
基于行为描述的Web服务组合兼容性检查
Web服务
接口
行为视图
兼容性
π演算
一种Web服务组合形式化模型及验证方法
Pi演算
Web服务
服务组合
组合验证
一种Web服务组合一致性验证方法研究
Web服务组合
确定有限状态自动机
事务
一致性检测
一种基于协议的Web服务组合方法研究
服务组合
业务逻辑
协议
基于协议的服务组合
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种时序约束下的Web服务组合兼容性的定量验证方法
来源期刊 桂林理工大学学报 学科 工学
关键词 服务组合 时序约束 定量时序兼容性 正态分布
年,卷(期) 2015,(3) 所属期刊栏目 信息科学与自动控制
研究方向 页码范围 607-610
页数 4页 分类号 TP311
字数 3189字 语种 中文
DOI 10.3969/j.issn.1674-9057.2015.03.030
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 叶恒舟 桂林理工大学信息科学与工程学院 22 44 4.0 5.0
2 郑宇迪 桂林理工大学信息科学与工程学院 1 1 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (4)
节点文献
引证文献  (1)
同被引文献  (8)
二级引证文献  (0)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2014(1)
  • 参考文献(1)
  • 二级参考文献(0)
2015(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
服务组合
时序约束
定量时序兼容性
正态分布
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
桂林理工大学学报
季刊
1674-9057
45-1375/N
16开
广西桂林市建干路12号
48-7
1981
chi
出版文献量(篇)
2706
总下载数(次)
1
总被引数(次)
16310
论文1v1指导