基于XYZ/ADL的Web服务组合描述与验证

您当前的位置：

首页 >

文章列表页 >

基于XYZ/ADL的Web服务组合描述与验证

更新时间：2025-07-08

- 基于XYZ/ADL的Web服务组合描述与验证
- Acta Electronica Sinica Issue S1, Pages: 86-93(2011)
- 作者机构：
  
  1. 苏州大学计算机科学与技术学院
  2. 中国科学院计算机科学国家重点实验室
  3. 暨南大学深圳旅游学院
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393.09
- Published：2011
- 稿件说明：
移动端阅览
[J]. Acta Electronica Sinica, 2011, (S1): 86-93.
DOI：

[J]. Acta Electronica Sinica, 2011, (S1): 86-93. DOI：

摘要

Web服务组合是当前Web服务领域的一个研究热点

目前已有一些相关的描述与验证方法

本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法

提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展

考虑到多数Web服务具有实时特征

采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统

根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机

分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.

Abstract

关键词

Keywords

references

{"db_type":"CJFDREF","db_name":"期刊","reference_articles":[{"unit":"软件学报","flag":"[J]","issue":"06","year":2007,"author":"文艳军;王戟;齐治昌","index":1,"title":"并发反应式系统的组合模型检验与组合精化检验"},{"unit":"软件学报","flag":"[J]","issue":"05","year":2006,"author":"杨鑫;陈俊亮","index":2,"title":"WSC/ADL:Web Services组合系统体系结构描述语言"},{"unit":"软件学报","flag":"[J]","issue":"04","year":2003,"author":"朱雪阳,唐稚松","index":3,"title":"基于时序逻辑的软件体系结构描述语言XYZ/ADL"},{"unit":"电子学报","flag":"[J]","issue":"S1","year":2002,"author":"林惠民,张文辉","index":4,"title":"模型检测:理论、方法与应用"}],"articles_count":4}

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Testing Time Constraints in Network Protocols

Related Author

CHEN Dong-luo

YIN Xia

WU Jian-ping

Related Institution

Department of Computer Science and Technology, Tsinghua, University

⁰