基于petri网的组合事务故障处理模型

2010 Second International Conference on Computational Intelligence and Natural Computing Pub Date : 2010-11-22 DOI:10.1109/CINC.2010.5643816

X. Mei, Yiyan Fan, Yonglin Wang, Xiao Fang

{"title":"基于petri网的组合事务故障处理模型","authors":"X. Mei, Yiyan Fan, Yonglin Wang, Xiao Fang","doi":"10.1109/CINC.2010.5643816","DOIUrl":null,"url":null,"abstract":"Due to the existing failure and cancellation of business logic of Web services composition, service compensation is one of the most important issues in the research of Service- Oriented Computing (SOC). To ensure the weaker notion of atomicity through performing compensation, the execution semantics of this mechanism's compensation pattern are analyzed based on Petri net, a Petri-net-based formalization to construct Web composition process is proposed, interface dependency, compensation dependency and sequence that handlers were triggered in nesting scopes are discussed, the semantics of interface and excution of composition service is discussed based on Petri net.","PeriodicalId":227004,"journal":{"name":"2010 Second International Conference on Computational Intelligence and Natural Computing","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2010-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A petri net-based failure handling model for composition transactions\",\"authors\":\"X. Mei, Yiyan Fan, Yonglin Wang, Xiao Fang\",\"doi\":\"10.1109/CINC.2010.5643816\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Due to the existing failure and cancellation of business logic of Web services composition, service compensation is one of the most important issues in the research of Service- Oriented Computing (SOC). To ensure the weaker notion of atomicity through performing compensation, the execution semantics of this mechanism's compensation pattern are analyzed based on Petri net, a Petri-net-based formalization to construct Web composition process is proposed, interface dependency, compensation dependency and sequence that handlers were triggered in nesting scopes are discussed, the semantics of interface and excution of composition service is discussed based on Petri net.\",\"PeriodicalId\":227004,\"journal\":{\"name\":\"2010 Second International Conference on Computational Intelligence and Natural Computing\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-11-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 Second International Conference on Computational Intelligence and Natural Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CINC.2010.5643816\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 Second International Conference on Computational Intelligence and Natural Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CINC.2010.5643816","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

由于Web服务组合中存在业务逻辑失效和取消的问题，服务补偿成为面向服务计算(service - Oriented Computing, SOC)研究中的重要问题之一。为了通过执行补偿来保证较弱的原子性概念，基于Petri网分析了该机制的补偿模式的执行语义，提出了一种基于Petri网构造Web组合过程的形式化方法，讨论了嵌套范围内处理程序的接口依赖关系、补偿依赖关系和触发顺序，讨论了基于Petri网的组合服务的接口语义和执行。

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

查看原文本刊更多论文

A petri net-based failure handling model for composition transactions

Due to the existing failure and cancellation of business logic of Web services composition, service compensation is one of the most important issues in the research of Service- Oriented Computing (SOC). To ensure the weaker notion of atomicity through performing compensation, the execution semantics of this mechanism's compensation pattern are analyzed based on Petri net, a Petri-net-based formalization to construct Web composition process is proposed, interface dependency, compensation dependency and sequence that handlers were triggered in nesting scopes are discussed, the semantics of interface and excution of composition service is discussed based on Petri net.

求助全文

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

来源期刊

2010 Second International Conference on Computational Intelligence and Natural Computing

自引率

0.00%

发文量