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

张广泉; 戎玫; 朱雪阳; 何亚丽; 石慧娟

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-08

- 基于XYZ/ADL的Web服务组合描述与验证
- 暂无标题
- 电子学报 2011年第S1期页码：86-93
- 作者机构：
  
  1. 苏州大学计算机科学与技术学院
  2. 中国科学院计算机科学国家重点实验室
  3. 暨南大学深圳旅游学院
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60973149);中国科学院计算机科学国家重点实验室开放课题 (No.SYSKF0908);江苏省高校自然科学研究项目 (No.08KJB520010)
- DOI：
  中图分类号： TP393.09
- 纸质出版：2011
- 稿件说明：
移动端阅览
张广泉, 戎玫, 朱雪阳, 等. 基于XYZ/ADL的Web服务组合描述与验证[J]. 电子学报, 2011,(S1):86-93.
张广泉, 戎玫, 朱雪阳, 等. 基于XYZ/ADL的Web服务组合描述与验证[J]. 电子学报, 2011,(S1):86-93. DOI：

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}

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

网络协议中的时间约束测试