中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
基于扩展自动机的服务组合静态与动态验证方法
Author: 张广泉 ; 狄浩军 ; 石慧娟 ; 晏荣杰 ; 朱雪阳
Keyword: Web服务组合 ; 定量属性 ; 有限自动机 ; CTL ; UPPAAL
Source: 通信学报
Issued Date: 2012
Issue: S1, Pages:1-8
Indexed Type: CNKI
Department: 苏州大学计算机科学与技术学院;中国科学院软件研究所计算机科学国家重点实验室;
Sponsorship: 国家自然科学基金资助项目(61100074)|江苏省自然科学基金资助项目(BK2011281)|苏州市应用基础研究计划基金资助项目(SYG201241)
Abstract: 针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个可以描述数据及时间等信息的Web服务组合形式化模型;基于该模型,采用计算树逻辑(CTL)描述相关属性,并利用模型检测工具UPPAAL对Web服务组合的行为属性、时间属性以及数据属性等进行了验证;最后结合所建立的诊断模型,给出了一种能够对Web服务组合运行过程中出现异常时进行有效处理的错误诊断算法。
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15348
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
张广泉,狄浩军,石慧娟,等. 基于扩展自动机的服务组合静态与动态验证方法[J]. 通信学报,2012-01-01(S1):1-8.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[张广泉]'s Articles
[狄浩军]'s Articles
[石慧娟]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[张广泉]‘s Articles
[狄浩军]‘s Articles
[石慧娟]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace