{"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":"5 1","pages":"0"},"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}
引用次数: 1
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.