基于Alloy的服务组合验证

曹玖新; 吴江林; 王国进; 刘波; 杨鹏伟; 董丹

doi:10.3969/j.issn.1000-436x.2012.z2.001

您当前的位置：

首页 >

文章列表页 >

基于Alloy的服务组合验证

学术论文 | 更新时间：2024-06-05

- 基于Alloy的服务组合验证
- Alloy-based verification of Web service composition
- “在服务计算领域，专家提出了基于Alloy的服务组合验证方法，为服务正确执行提供保障。”
- 通信学报 2012年33卷第Z2期页码：1-8
- 作者机构：
  
  1. 东南大学计算机科学与工程学院，江苏南京 210096
  2. 东南大学计算机网络与信息集成教育部重点实验室，江苏南京 210096
  3. 华为技术有限公司，江苏南京 210012
- 作者简介：
  
  [ "曹玖新（1967-），男，河南商丘人，东南大学教授、博士生导师，主要研究方向为移动互联网、服务与社会计算。" ]
  [ "吴江林（1988-），男，江苏南通人，东南大学硕士生，主要研究方向为服务计算。" ]
  [ "王国进（1983-），男，江苏高邮人，硕士，华为技术有限公司软件工程师，主要研究方向为服务计算。" ]
  [ "刘波（1975-），女，河南南阳人，博士，东南大学副教授，主要研究方向为社会计算。" ]
  [ "杨鹏伟（1989-），男，山东临沂人，东南大学硕士生，主要研究方向为服务计算。" ]
  [ "董丹（1989-），女，江苏南通人，东南大学硕士生，主要研究方向为服务计算。" ]
- 基金信息：
  
  国家自然科学基金资助项目(61070161);国家自然科学基金资助项目(61070158);国家自然科学基金资助项目(61003257);国家自然科学基金资助项目(90912002);国家重点基础研究发展计划（“973”计划）基金资助项目(2010CB328104);国家科技支撑计划课题基金资助项目(2010BAI88B03);教育部博士点基金课题基金资助项目(200802860031);江苏省自然科学基金资助项目(BK2008030);国家科技重大专项课题基金资助项目(2009ZX03004-004-04);江苏省“网络与信息安全”重点实验室基金资助项目(BM2003201)
- DOI：10.3969/j.issn.1000-436x.2012.z2.001
  中图分类号： TP311
- 网络出版日期：2012-11，
  
  纸质出版日期：2012-11-25
- 稿件说明：
移动端阅览
曹玖新, 吴江林, 王国进, 等. 基于Alloy的服务组合验证[J]. 通信学报, 2012,33(Z2):1-8.

Jiu-xin CAO, Jiang-lin WU, Guo-jin WANG, et al. Alloy-based verification of Web service composition[J]. Journal on communications, 2012, 33(Z2): 1-8.
曹玖新, 吴江林, 王国进, 等. 基于Alloy的服务组合验证[J]. 通信学报, 2012,33(Z2):1-8. DOI： 10.3969/j.issn.1000-436x.2012.z2.001.

Jiu-xin CAO, Jiang-lin WU, Guo-jin WANG, et al. Alloy-based verification of Web service composition[J]. Journal on communications, 2012, 33(Z2): 1-8. DOI： 10.3969/j.issn.1000-436x.2012.z2.001.

浏览量

下载量

CSCD

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

提交

工具集

关联资源

基于改进人工蜂群算法的云制造服务组合优化方法

基于描述语境特征词与改进GSDMM模型的服务聚类方法

制造云服务组合中支持服务关联的QoS感知评估模型

Android共谋攻击检测模型

基于结构化噪声矩阵补全的Web服务QoS预测

基于Alloy的服务组合验证

Alloy-based verification of Web service composition

DOI：10.3969/j.issn.1000-436x.2012.z2.001