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

您当前的位置：

首页 >

文章列表页 >

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

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

上一篇|下一篇

- 基于XYZ/ADL的Web服务组合描述与验证
- Specification and Verification of Web Service Composition Based on XYZ/ADL
- 张广泉，戎玫，朱雪阳，何亚丽，石慧娟
- 电子学报 2011年39卷第3A期页码：86-93
- 作者机构：
  1. 苏州大学计算机科学与技术学院,江苏,苏州,215006
  2. 中国科学院计算机科学国家重点实验室,北京,100080
  3. 暨南大学深圳旅游学院,广东,深圳,518053
  4. 苏州大学计算机科学与技术学院江苏苏州,215006
  5. 中国科学院计算机科学国家重点实验室北京,100080
  6. 暨南大学深圳旅游学院广东深圳,518053
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.60973149);中国科学院计算机科学国家重点实验室开放课题 (No.SYSKF0908);江苏省高校自然科学研究项目 (No.08KJB520010)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

69

浏览量

1471

下载量

0

CSCD

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

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

实时模型检测中基于驻留环的精确加速

时间感知Web服务交互行为建模与失配检测方法研究

Web服务组合中行为兼容性分析与优化控制策略

缓冲区溢出漏洞精确检测方法研究

模型检测:理论、方法与应用

相关作者

王从银

庄雷

尹传龙

Sheng

王

张广泉

朱志良

毕敬

相关机构

郑州大学信息工程学院

吉首大学数学与计算机科学学院,湖南吉首

郑州大学信息工程学院河南郑州

吉首大学数学与计算机科学学院湖南吉首

中国科学院计算机科学国家重点实验室