{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T06:51:19Z","timestamp":1773298279319,"version":"3.50.1"},"reference-count":21,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2017,8]]},"abstract":"<jats:p> Business process modeling is a way to the organizational change management, which provides abstract workflows to describe business logics for customer demands analysis and IT infrastructures improvement. In order to reuse business process for covering different application scopes, it requires the capacity of configuring each task of business process by selecting appropriate services from the candidate services set, and then assembling them together to properly work with each other as domain-specific software. Considering choosing an executable business process with high quality service (QoS), the service selection is regarded as the pivotal step of determining process instances since service displays probabilistic behaviors under the uncertainty of Internet making business process shown different reliability. In this paper, it proposes an approach to the service selection for business process modeling. In the first phase, the function similarity method is used to pick out services from service repository in order to build a set of candidate services, which checks the functions description to find matching services, especially service may publish one or more functions through multiple interfaces. In the second phase, the probabilistic model checking-based method is employed to the quantitative verification of process instances, which involves services composition and stochastic behaviors computing according to workflow structures. Then, corresponding algorithms are discussed for service selection purposes. Furthermore, it introduces the probabilistic model checking-based framework for prototype design and implementation. Finally, experiments are conducted to demonstrate the effectiveness and efficiency of the proposed method comparing with traditional methods. <\/jats:p>","DOI":"10.1142\/s0218194017500334","type":"journal-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T04:26:13Z","timestamp":1501475173000},"page":"897-923","source":"Crossref","is-referenced-by-count":47,"title":["Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling"],"prefix":"10.1142","volume":"27","author":[{"given":"Honghao","family":"Gao","sequence":"first","affiliation":[{"name":"Computing Center, Shanghai University, 200444 Shanghai, P. R. China"},{"name":"School of Computer Engineering and Science, Shanghai University, 200444 Shanghai, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danqi","family":"Chu","sequence":"additional","affiliation":[{"name":"Computing Center, Shanghai University, 200444 Shanghai, P. R. China"},{"name":"School of Computer Engineering and Science, Shanghai University, 200444 Shanghai, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yucong","family":"Duan","sequence":"additional","affiliation":[{"name":"College of Information Science and Technology, Hainan University, 570100 Haikou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuyu","family":"Yin","sequence":"additional","affiliation":[{"name":"College of Computer, Hangzhou Dianzi University, 310018 Hangzhou, P. R. China"},{"name":"College of Computer Science and Technology, Zhejiang University, 310058 Hangzhou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2017,7,31]]},"reference":[{"key":"S0218194017500334BIB001","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.10.002"},{"key":"S0218194017500334BIB002","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2014.10.020"},{"key":"S0218194017500334BIB003","doi-asserted-by":"publisher","DOI":"10.4018\/ijwsr.2014010104"},{"issue":"7","key":"S0218194017500334BIB004","first-page":"899","volume":"11","author":"Luo H.","year":"2000","journal-title":"Chin. J. Softw."},{"issue":"3","key":"S0218194017500334BIB005","first-page":"460","volume":"26","author":"Ling J. M.","year":"2015","journal-title":"J. Softw."},{"key":"S0218194017500334BIB007","doi-asserted-by":"publisher","DOI":"10.12785\/amis\/071L20"},{"key":"S0218194017500334BIB008","doi-asserted-by":"publisher","DOI":"10.1145\/1059816.1059820"},{"key":"S0218194017500334BIB011","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00016-6"},{"key":"S0218194017500334BIB014","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2334276"},{"key":"S0218194017500334BIB016","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2009.04.006"},{"key":"S0218194017500334BIB017","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2015.12.003"},{"key":"S0218194017500334BIB018","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2014.04.002"},{"key":"S0218194017500334BIB019","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.02.002"},{"key":"S0218194017500334BIB020","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2011.580007"},{"issue":"3","key":"S0218194017500334BIB021","first-page":"449","volume":"26","author":"Dong Z. H.","year":"2015","journal-title":"J. Softw."},{"issue":"3","key":"S0218194017500334BIB022","first-page":"1117","volume":"13","author":"Perez-Castillo R.","year":"2014","journal-title":"Softw. Syst. Model."},{"key":"S0218194017500334BIB033","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2014.2361138"},{"key":"S0218194017500334BIB036","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2014.2338851"},{"key":"S0218194017500334BIB037","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2396001"},{"key":"S0218194017500334BIB038","doi-asserted-by":"publisher","DOI":"10.1109\/TST.2015.7173450"},{"key":"S0218194017500334BIB042","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2008.01149"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194017500334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T08:18:29Z","timestamp":1565079509000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194017500334"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,31]]},"references-count":21,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2017,7,31]]},"published-print":{"date-parts":[[2017,8]]}},"alternative-id":["10.1142\/S0218194017500334"],"URL":"https:\/\/doi.org\/10.1142\/s0218194017500334","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,31]]}}}