时间约束条件下Web服务组合的形式化分析与验证

发布时间：2017-08-26 23:34

  本文关键词：时间约束条件下web服务组合的形式化分析与验证

  更多相关文章： 服务组合 形式化方法 时间自动机 UPPAAL 模型检查

【摘要】：随着Web技术和商业应用的快速发展,Web服务组合技术已成构建电子商务应用的主要方法之一。当前,为适应快速变化的商业环境,对商业应用提出了实时性的要求,即限定服务的行为必须满足给定的时间约束条件。文中提出了一种形式化方法,用于分析与验证Web服务组合的时间约束行为。首先,扩展了Web服务接口描述语言,增加对时间约束的描述,然后定义一种时间行为自动机,用于刻画Web服务组合的时间行为,最终利用模型验证技术来自动验证这些行为是否满足给定的时间属性。通过对股票分析应用场景以及使用UPPAAL模型验证工具,表明该方法的可行性和有效性。
【作者单位】： 莆田学院信息工程学院;
【关键词】： 服务组合 形式化方法 时间自动机 UPPAAL 模型检查
【基金】：福建省中青年教师教育科研项目(A类)(JA14279) 莆田市科技项目(2014G16) 莆田学院教育教学改革研究项目(JG2012006)资助
【分类号】：TP393.09
【正文快照】： 在分布式计算和电子商务中,面向服务计算(Service-Oriented Computing,SOC)已成为一个典型的应用范例[1],它将可用的服务通过组合的方式来快速构建复杂的应用。Web服务应用就是采用SOC的思想:首先,可用的服务是基于标准的Web服务定义语言(Web Services Description Lan-guage,

【相似文献】

中国期刊全文数据库 前10条

1 孙洁丽;龚立群;;Web服务组合标准规范的研究[J];现代图书情报技术;2007年05期

2 万里平;蔡美玲;高春鸣;;基于服务联盟的Web服务组合模型及方法[J];计算机工程与应用;2007年31期

3 郭峰;张萌;;Web服务组合的可靠性分析[J];系统仿真学报;2008年S2期

4 程永上;王志坚;;Web服务组合在水利领域中的应用[J];计算机工程与应用;2008年07期

5 陈世展;冯志勇;;服务网络:Web服务组合的新基点[J];计算机应用研究;2008年05期

6 刘志红;;Web服务组合的相关研究[J];农业科技与装备;2009年01期

7 熊伟;;Web服务组合综述[J];信息化纵横;2009年05期

8 曾伟;胡W，

本文编号：743260