{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:21:30Z","timestamp":1760242890845,"version":"build-2065373602"},"reference-count":36,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2016,9,27]],"date-time":"2016-09-27T00:00:00Z","timestamp":1474934400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61174140","61472127","61272395"],"award-info":[{"award-number":["61174140","61472127","61272395"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Technology Support Program of China Grant","award":["2012BAH09B02"],"award-info":[{"award-number":["2012BAH09B02"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Internet"],"abstract":"<jats:p>In order to develop a Supercomputing Cloud Platform (SCP) prototype system using Service-Oriented Architecture (SOA) and Petri nets, we researched some technologies for Web service composition. Specifically, in this paper, we propose a reliability calculation method for Web service compositions, which uses Fuzzy Reasoning Colored Petri Net (FRCPN) to verify the Web service compositions. We put forward a definition of semantic threshold similarity for Web services and a formal definition of FRCPN. We analyzed five kinds of production rules in FRCPN, and applied our method to the SCP prototype. We obtained the reliability value of the end Web service as an indicator of the overall reliability of the FRCPN. The method can test the activity of FRCPN. Experimental results show that the reliability of the Web service composition has a correlation with the number of Web services and the range of reliability transition values.<\/jats:p>","DOI":"10.3390\/fi8040047","type":"journal-article","created":{"date-parts":[[2016,9,27]],"date-time":"2016-09-27T10:14:11Z","timestamp":1474971251000},"page":"47","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Reliability Calculation Method for Web Service Composition Using Fuzzy Reasoning Colored Petri Nets and Its Application on Supercomputing Cloud Platform"],"prefix":"10.3390","volume":"8","author":[{"given":"Ziyun","family":"Deng","sequence":"first","affiliation":[{"name":"Changsha Commerce & Tourism College, Changsha 410116, China"},{"name":"National Supercomputing Center in Changsha, Changsha 410082, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Chen","sequence":"additional","affiliation":[{"name":"National Supercomputing Center in Changsha, Changsha 410082, China"},{"name":"College of Electrical and Information Engineering, Hunan University, Changsha 410082, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tingqing","family":"He","sequence":"additional","affiliation":[{"name":"National Supercomputing Center in Changsha, Changsha 410082, China"},{"name":"College of Information Science and Engineering, Hunan University, Changsha 410082, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Meng","sequence":"additional","affiliation":[{"name":"National Supercomputing Center in Changsha, Changsha 410082, China"},{"name":"College of Information Science and Engineering, Hunan University, Changsha 410082, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2016,9,27]]},"reference":[{"key":"ref_1","first-page":"1597","article-title":"New advances of the research on cloud simulation","volume":"Volume 4","author":"Li","year":"2014","journal-title":"Advanced Methods, Techniques, and Applications in Modeling and Simulation"},{"key":"ref_2","first-page":"1597","article-title":"Design a new manufacturing model: Cloud manufacturing","volume":"Volume 14","author":"Juan","year":"2014","journal-title":"Proceedings of the 2012 International Conference on Cybernetics and Informatics"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1080\/17517575.2012.683812","article-title":"Cloud manufacturing: A new manufacturing paradigm","volume":"8","author":"Zhang","year":"2014","journal-title":"Enterp. Inf. Syst."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1080\/17517575.2013.839055","article-title":"Cloud manufacturing: From concept to practice","volume":"9","author":"Ren","year":"2015","journal-title":"Enterp. Inf. Syst."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1016\/j.jmsy.2014.05.003","article-title":"Development of a hybrid manufacturing cloud","volume":"33","author":"Lu","year":"2014","journal-title":"J. Manuf. Syst."},{"key":"ref_6","unstructured":"Cho, S.-H. (2012). AsiaSim 2012, Springer."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1016\/j.advengsoft.2009.11.006","article-title":"A CAE-integrated distributed collaborative design system for finite element analysis of complex product based on SOOA","volume":"41","author":"Yu","year":"2010","journal-title":"Adv. Eng. Softw."},{"key":"ref_8","unstructured":"Wahab, O.A., Bentahar, J., Otrok, H., and Mourad, A. (2016). Towards trustworthy multi-cloud services communities: A trust-based hedonic coalitional game. IEEE Trans. Serv. Comput."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"9472","DOI":"10.1016\/j.eswa.2011.01.152","article-title":"OntoPipeliner: An ontology-based automatic semantic service pipeline generator","volume":"38","author":"Lee","year":"2011","journal-title":"Expert Syst. Appl."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s11036-014-0494-y","article-title":"Context-aware composition of semantic web services","volume":"19","author":"Angelo","year":"2014","journal-title":"Mob. Netw. Appl."},{"key":"ref_11","unstructured":"Lin, S. (2009). Research on Semantic Similarity Computation and Applications. [Ph.D. Thesis, Shangdong University]."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1109\/TSMCA.2011.2164064","article-title":"Modeling and performance evaluation of BPEL processes: A stochastic-petri-net-based approach","volume":"42","author":"Xia","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Hum."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1109\/TASE.2012.2188511","article-title":"A petri net approach to mediation-aided composition of web services","volume":"9","author":"Du","year":"2012","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"594","DOI":"10.1109\/TASE.2013.2253552","article-title":"Timed compatibility analysis of web service composition: A modular approach based on petri nets","volume":"11","author":"Du","year":"2014","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1109\/TSMC.2013.2248358","article-title":"Modeling and validating e-commerce business process based on petri nets","volume":"44","author":"Yu","year":"2014","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"1240","DOI":"10.1109\/TSMCA.2012.2227957","article-title":"A petri-net-based approach to reliability determination of ontology-based service compositions","volume":"43","author":"Xia","year":"2013","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1002\/tee.21728","article-title":"A learning fuzzy petri net model","volume":"7","author":"Feng","year":"2012","journal-title":"IEEE Trans. Electr. Electron. Eng."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Chen, L., and Zhang, G. (2013, January 14\u201315). A petri net approach to reliable execution for web service composition. Proceedings of the 2013 9th International Conference on Computational Intelligence and Security (CIS), Sichuan, China.","DOI":"10.1109\/CIS.2013.29"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1155\/2014\/847930","article-title":"QoS Measurement of workflow-based web service compositions using colored petri net","volume":"2014","author":"Nematzadeh","year":"2014","journal-title":"Sci. World J."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/s10115-011-0451-z","article-title":"Toward the use of petri nets for the formalization of OWL-S choreographies","volume":"32","author":"Vidal","year":"2012","journal-title":"Knowl. Inf. Syst."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"1206","DOI":"10.4028\/www.scientific.net\/KEM.467-469.1206","article-title":"Hierarchical colored petri nets based modeling and analyzing for web service composition","volume":"467","author":"Zhu","year":"2011","journal-title":"Key Eng. Mater."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1142\/S0218194010004955","article-title":"Generating test cases of composite services based on owl-s and eh-cpn","volume":"20","author":"Li","year":"2010","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"75","DOI":"10.5755\/j01.eee.19.2.3474","article-title":"Modelling of ontology-based service compositions using petri net","volume":"19","author":"Xia","year":"2013","journal-title":"Elektron. Elektrotech."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"2255","DOI":"10.1002\/cpe.2808","article-title":"A non-markovian stochastic petri net-based approach to performance evaluation of ontology-based service composition","volume":"24","author":"Xia","year":"2012","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.dss.2015.04.009","article-title":"A survey on trust and reputation models for Web services: Single, composite, and communities","volume":"74","author":"Wahab","year":"2015","journal-title":"Decis. Support Syst."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Hang, C.-W., Kalia, A.K., and Singh, M.P. (2012, January 24\u201329). Behind the curtain: Service selection via trust in composite services. Proceedings of the 2012 IEEE 19th International Conference on Web Services (ICWS), Honolulu, HI, USA.","DOI":"10.1109\/ICWS.2012.96"},{"key":"ref_27","unstructured":"Stantchev, V. (2008). Effects of Replication on Web Service Performance in WebSphere, International Computer Science Institute."},{"key":"ref_28","unstructured":"Stantchev, V., and Malek, M. (2009). High Assurance Services Computing, Springer."},{"key":"ref_29","unstructured":"Werner, M., Richling, J., Milanovic, N., and Stantchev, V. (2003, January 5). Composability concept for dependable embedded systems. Proceedings of the International Workshop on Dependable Embedded Systems at the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), Florence, Italy."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/TSC.2010.5","article-title":"TQoS: Transactional and QoS-aware selection algorithm for automatic web service composition","volume":"3","author":"Haddad","year":"2010","journal-title":"IEEE Trans. Serv. Comput."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1016\/j.jss.2012.11.037","article-title":"Petri net based techniques for constructing reliable service composition","volume":"86","author":"Fan","year":"2013","journal-title":"J. Syst. Softw."},{"key":"ref_32","first-page":"1260","article-title":"Trustworthy service discovery for dynamic web service composition","volume":"9","author":"Kim","year":"2015","journal-title":"KSII Trans. Internet Inf. Syst."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1109\/TSC.2014.2346492","article-title":"Prediction of atomic web services reliability for QoS-aware recommendation","volume":"8","author":"Silic","year":"2015","journal-title":"IEEE Trans. Serv. Comput."},{"key":"ref_34","unstructured":"Xu, J., and Yao, S. (July, January 27). Reliability of SOA systems using SPN and GA. Proceedings of the IEEE 10th World Congress on Services, Anchorage, AK, USA."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/j.isatra.2012.06.009","article-title":"Reliability analysis of repairable systems using petri nets and vague Lambda\u2014Tau methodology","volume":"52","author":"Garg","year":"2013","journal-title":"ISA Trans."},{"key":"ref_36","first-page":"686","article-title":"A survey of reachability trees of unbounded petri nets","volume":"41","author":"Gan","year":"2015","journal-title":"Acta Autom. Sin."}],"container-title":["Future Internet"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-5903\/8\/4\/47\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T19:31:53Z","timestamp":1760211113000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-5903\/8\/4\/47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,27]]},"references-count":36,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2016,12]]}},"alternative-id":["fi8040047"],"URL":"https:\/\/doi.org\/10.3390\/fi8040047","relation":{},"ISSN":["1999-5903"],"issn-type":[{"type":"electronic","value":"1999-5903"}],"subject":[],"published":{"date-parts":[[2016,9,27]]}}}