作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
动态网络环境下,Web服务资源具有高度自治性和动态性,如何根据运行时具体的用户需求完成动态的服务组合是一个重要问题.时间自动机是一种形式化的实时并发系统模型,它为实时系统的行为描述提供了较好的分析方法.本文通过引入基于时间自动机的二部图表示可以实现对动态服务组合的建模与控制.
推荐文章
基于扩展自动机的服务组合静态与动态验证方法
Web服务组合
定量属性
有限自动机
CTL
UPPAAL
基于有限状态自动机的服务组合模型
有限状态自动机
带条件的有限状态自动机
服务计算
服务组合
基于XYZ/ADL的Web服务组合描述与验证
Web服务组合
XYZ/ADL
XYZ/RE
时间自动机
精化检验
模型检测
基于接口自动机的BPEL4WS Web服务组合形式化模型
接口自动机
Web服务
Web服务组合
Web服务商业流程执行语言
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于时间自动机的动态服务组合方法研究
来源期刊 井冈山大学学报(自然科学版) 学科 工学
关键词 Web服务 动态服务组合 服务质量 时间自动机
年,卷(期) 2010,(1) 所属期刊栏目 信息科学
研究方向 页码范围 95-97
页数 3页 分类号 TP301.1
字数 2252字 语种 中文
DOI 10.3969/j.issn.1674-8085.2010.01.020
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 刘振文 井冈山大学信息科学与传媒学院 4 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (15)
共引文献  (12)
参考文献  (1)
节点文献
引证文献  (1)
同被引文献  (7)
二级引证文献  (1)
1978(1)
  • 参考文献(0)
  • 二级参考文献(1)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(2)
  • 参考文献(0)
  • 二级参考文献(2)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(3)
  • 参考文献(0)
  • 二级参考文献(3)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
2016(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
Web服务
动态服务组合
服务质量
时间自动机
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
井冈山大学学报(自然科学版)
双月刊
1674-8085
36-1309/N
大16开
江西省吉安市青原区
2010
chi
出版文献量(篇)
2946
总下载数(次)
3
总被引数(次)
7565
论文1v1指导