Alloy-based verification of Web service composition

Jiu-xin CAO; Jiang-lin WU; Guo-jin WANG; Bo LIU; Peng-wei YANG; Dan DONG

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

您当前的位置：

首页 >

文章列表页 >

Alloy-based verification of Web service composition

Papers | 更新时间：2024-06-05

- Alloy-based verification of Web service composition
- Journal on Communications Vol. 33, Issue Z2, Pages: 1-8(2012)
- 作者机构：
  
  1. 东南大学计算机科学与工程学院，江苏南京 210096
  2. 东南大学计算机网络与信息集成教育部重点实验室，江苏南京 210096
  3. 华为技术有限公司，江苏南京 210012
- 作者简介：
- 基金信息：
  
  The National Natural Science Foundation of China(61070161);The National Natural Science Foundation of China(61070158);The National Natural Science Foundation of China(61003257);The National Natural Science Foundation of China(90912002);The National Basic Research Program of China(973 Program)(2010CB328104);The National Key Technology R＆D Program(2010BAI88B03);The Ph.D.Programs Foundation of Ministry of Education of China(200802860031);The Natural Science Foundation of Jiangsu Province(BK2008030);The National Science and Technology Major Project of China(2009ZX03004-004-04);The Program of Jiangsu Province Key Laboratory of Network and Infermation Security(BM2003201)
- DOI：10.3969/j.issn.1000-436x.2012.z2.001
  CLC： TP311
- Online First：2012-11，
  
  Published：25 November 2012
- 稿件说明：
移动端阅览
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：

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.

Views

525

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Optimization method for cloud manufacturing service composition based on the improved artificial bee colony algorithm

Service clustering method based on description context feature words and improved GSDMM model

QoS aware evaluation model supporting service correlation in manufacturing cloud service composition

Android collusion attack detection model

Web services QoS prediction via matrix completion with structural noise

Related Author

Yuqing TIAN

Haoquan QI

Peng WU

Qingxue LIU

Qiang HU

Junwei DU

Guanghui JING

Jiaji SHEN

Related Institution

School of Information Science and Technology, Qingdao University of Science and Technology

School of Mechanical and Electrical Engineering, Kunming University

Guangxi Key Laboratory of Embedded Technology and Intelligent System, Guilin University of Technology

College of Information Science and Engineering, Guilin University of Technology

School of Computer Science and Technology, Civil Aviation University of China

AI导读

AI问答

⁰

Alloy-based verification of Web service composition

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