基于CCS的BPEL4WS兼容性检查

2011 International Conference on System science, Engineering design and Manufacturing informatization Pub Date : 2011-11-18 DOI:10.1109/ICSSEM.2011.6081199

Huiyun Long, Dan Ma

{"title":"基于CCS的BPEL4WS兼容性检查","authors":"Huiyun Long, Dan Ma","doi":"10.1109/ICSSEM.2011.6081199","DOIUrl":null,"url":null,"abstract":"We have extended the type system of the value-passing CCS firstly, then coded the composite Web services which are described in BPEL4WS. Secondly, we provided an algorithm for checking compatibility of BPEL4WS based on CCS with type. To illustrate the feasibility of the algorithm, we gave an example of travel agency.","PeriodicalId":406311,"journal":{"name":"2011 International Conference on System science, Engineering design and Manufacturing informatization","volume":"37 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Checking compatibility of BPEL4WS based on CCS\",\"authors\":\"Huiyun Long, Dan Ma\",\"doi\":\"10.1109/ICSSEM.2011.6081199\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We have extended the type system of the value-passing CCS firstly, then coded the composite Web services which are described in BPEL4WS. Secondly, we provided an algorithm for checking compatibility of BPEL4WS based on CCS with type. To illustrate the feasibility of the algorithm, we gave an example of travel agency.\",\"PeriodicalId\":406311,\"journal\":{\"name\":\"2011 International Conference on System science, Engineering design and Manufacturing informatization\",\"volume\":\"37 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-11-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 International Conference on System science, Engineering design and Manufacturing informatization\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSSEM.2011.6081199\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 International Conference on System science, Engineering design and Manufacturing informatization","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSSEM.2011.6081199","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

我们首先扩展了值传递CCS的类型系统，然后对BPEL4WS中描述的复合Web服务进行了编码。其次，提出了一种基于CCS的BPEL4WS与类型的兼容性检测算法。为了说明该算法的可行性，我们给出了一个旅行社的例子。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Checking compatibility of BPEL4WS based on CCS

We have extended the type system of the value-passing CCS firstly, then coded the composite Web services which are described in BPEL4WS. Secondly, we provided an algorithm for checking compatibility of BPEL4WS based on CCS with type. To illustrate the feasibility of the algorithm, we gave an example of travel agency.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2011 International Conference on System science, Engineering design and Manufacturing informatization

自引率

0.00%

发文量