{"title":"基于彩色Petri网的本体web服务交互建模方法","authors":"Meng Su, Jingxin Gao","doi":"10.1109/ICSESS.2014.6933528","DOIUrl":null,"url":null,"abstract":"Formal verification of Web service composition is an important means for ensuring the quality of Web service. The Web service composition modeling is a key step of the validation of Web services interaction. Based on the semantic consistency of the Web services description semantic OWL-S and Coloured Petri net, this dissertation proposes a modeling method of Web services interaction based on the OWL-S and Coloured Petri Net and the description rules of OWL-S service operation semantics by CPN. And the analysis and verification of this modeling method has also been done.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"45 1","pages":"128-131"},"PeriodicalIF":0.0000,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Modeling method of ontology web service interaction based on Coloured Petri Net\",\"authors\":\"Meng Su, Jingxin Gao\",\"doi\":\"10.1109/ICSESS.2014.6933528\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Formal verification of Web service composition is an important means for ensuring the quality of Web service. The Web service composition modeling is a key step of the validation of Web services interaction. Based on the semantic consistency of the Web services description semantic OWL-S and Coloured Petri net, this dissertation proposes a modeling method of Web services interaction based on the OWL-S and Coloured Petri Net and the description rules of OWL-S service operation semantics by CPN. And the analysis and verification of this modeling method has also been done.\",\"PeriodicalId\":6473,\"journal\":{\"name\":\"2014 IEEE 5th International Conference on Software Engineering and Service Science\",\"volume\":\"45 1\",\"pages\":\"128-131\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 IEEE 5th International Conference on Software Engineering and Service Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSESS.2014.6933528\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 IEEE 5th International Conference on Software Engineering and Service Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSESS.2014.6933528","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Modeling method of ontology web service interaction based on Coloured Petri Net
Formal verification of Web service composition is an important means for ensuring the quality of Web service. The Web service composition modeling is a key step of the validation of Web services interaction. Based on the semantic consistency of the Web services description semantic OWL-S and Coloured Petri net, this dissertation proposes a modeling method of Web services interaction based on the OWL-S and Coloured Petri Net and the description rules of OWL-S service operation semantics by CPN. And the analysis and verification of this modeling method has also been done.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
