通过TLA指定和组合Web服务

2008 IEEE International Conference on Web Services Pub Date : 2008-09-23 DOI:10.1109/ICWS.2008.72

Hongbing Wang, Hui Liu, Xiaohui Guo

{"title":"通过TLA指定和组合Web服务","authors":"Hongbing Wang, Hui Liu, Xiaohui Guo","doi":"10.1109/ICWS.2008.72","DOIUrl":null,"url":null,"abstract":"This paper introduces the concept of temporal logic of actions (short for TLA), with which we can formally specify the behavior of a service, and compose Web services. The approach is demonstrated by an example. A services composition algorithm is presented.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"41 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Specify and Compose Web Services by TLA\",\"authors\":\"Hongbing Wang, Hui Liu, Xiaohui Guo\",\"doi\":\"10.1109/ICWS.2008.72\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper introduces the concept of temporal logic of actions (short for TLA), with which we can formally specify the behavior of a service, and compose Web services. The approach is demonstrated by an example. A services composition algorithm is presented.\",\"PeriodicalId\":275591,\"journal\":{\"name\":\"2008 IEEE International Conference on Web Services\",\"volume\":\"41 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-09-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 IEEE International Conference on Web Services\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICWS.2008.72\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 IEEE International Conference on Web Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICWS.2008.72","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

本文介绍了动作时态逻辑(简称TLA)的概念，我们可以使用它形式化地指定服务的行为，并组成Web服务。通过一个实例对该方法进行了验证。提出了一种服务组合算法。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Specify and Compose Web Services by TLA

This paper introduces the concept of temporal logic of actions (short for TLA), with which we can formally specify the behavior of a service, and compose Web services. The approach is demonstrated by an example. A services composition algorithm is presented.

求助全文

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

来源期刊

2008 IEEE International Conference on Web Services

自引率

0.00%

发文量

期刊最新文献

Redundant-Free Web Services Composition Based on a Two-Phase Algorithm Hybrid Parallelism for XML SAX Parsing Discovering Reference Process Models by Mining Process Variants Transparent Reputation Management for Composite Web Services SCWIM an Integrity Model for SOA Networks