{"title":"A Model Analyzing Method for OWL-S Services Composition Based on High Level Petri Net","authors":"Shaoran Dong, Zeng-zhi Li","doi":"10.1109/KAM.2009.18","DOIUrl":null,"url":null,"abstract":"To analyze model of Web Services composition, firstly analyze and abstract dataflow and control construct in OWL-S process to build High Level Petri Net model, then describe Petri Net in Poses++ language, at last simulate Petri Net with Poses++ to check data type and deadlock and calculate service performance. The experiment shows that this model analyzing method is able to accomplish type checking and deadlock and performance analyzing.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 Second International Symposium on Knowledge Acquisition and Modeling","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/KAM.2009.18","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
To analyze model of Web Services composition, firstly analyze and abstract dataflow and control construct in OWL-S process to build High Level Petri Net model, then describe Petri Net in Poses++ language, at last simulate Petri Net with Poses++ to check data type and deadlock and calculate service performance. The experiment shows that this model analyzing method is able to accomplish type checking and deadlock and performance analyzing.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
