|国家科技期刊平台
| 注册
首页|期刊导航|通信学报|基于扩展自动机的服务组合静态与动态验证方法

基于扩展自动机的服务组合静态与动态验证方法

张广泉 狄浩军 石慧娟 晏荣杰 朱雪阳

通信学报Issue(z1)：1-8,8.
✕
通信学报Issue(z1)：1-8,8.DOI:10.3969/j.issn.1000-436x.2012.z1.001

基于扩展自动机的服务组合静态与动态验证方法

Static and dynamic verifying method based on extended finite automata for service compositions

张广泉 1狄浩军 2石慧娟 1晏荣杰 1朱雪阳3

作者信息

  • 1. 苏州大学 计算机科学与技术学院,江苏 苏州 215006
  • 2. 中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190
  • 3. 中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190
  • 折叠

摘要

Abstract

10.3969/j.issn.1000-436x.2012.z1.001

关键词

Web服务组合/定量属性/有限自动机/CTL/UPPAAL

Key words

Web service compositions/quantitative property/finite automata/CTL/UPPAAL

分类

信息技术与安全科学

引用本文复制引用

张广泉,狄浩军,石慧娟,晏荣杰,朱雪阳..基于扩展自动机的服务组合静态与动态验证方法[J].通信学报,2012,(z1):1-8,8.

基金项目

国家自然科学基金资助项目(61100074) （61100074）

江苏省自然科学基金资助项目(BK2011281) （BK2011281）

苏州市应用基础研究计划基金资助项目(SYG201241) （SYG201241）

通信学报

OA北大核心CSCDCSTPCD

1000-436X

访问量0
|
下载量0
段落导航相关论文