{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T22:42:56Z","timestamp":1776811376827,"version":"3.51.2"},"reference-count":15,"publisher":"European Society of Computational Methods in Sciences and Engineering","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCM"],"published-print":{"date-parts":[[2021,3,25]]},"abstract":"<jats:p>As the most notable implementation of service-oriented architectures, web services has brought some challenging research issues, one of which is the composition. Correct interaction among web services is the prerequisite of their successful composition. In this paper, we propose a novel approach to model dynamic interactive behavior of web services, aiming to effectively take advantage of the flexibility of service composition technology and guarantee the behavior compatibility of web services and further to facilitate the application of web service composition in healthcare field. An interaction model of web services based on Kahn process network (KPN) is presented in this paper, which is a data-flow and channel-based model supporting parallel and cooperative computation. Formal behavioral semantics of this model is defined by Pi-calculus process algebra and formal properties of the proposed model are discussed. An application case is demonstrated to illustrate how the proposed model can be applied to describe services behavior and their interaction. The reachability analysis of the application case is performed based on modal -calculus. How the supporting tool, i.e. CWB-NC, can be utilized to verify the properties we anticipate is presented.<\/jats:p>","DOI":"10.3233\/jcm-204425","type":"journal-article","created":{"date-parts":[[2020,7,14]],"date-time":"2020-07-14T11:11:59Z","timestamp":1594725119000},"page":"135-150","source":"Crossref","is-referenced-by-count":0,"title":["IWSN: A novel method for modeling the interaction of web services"],"prefix":"10.66113","volume":"21","author":[{"given":"Li","family":"Bao","sequence":"first","affiliation":[{"name":"School of Data Science and Application, Inner Mongolia University of Technology, Huhhot 010080, Inner Mongolia Autonomous Region, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianxiong","family":"Wan","sequence":"additional","affiliation":[{"name":"School of Data Science and Application, Inner Mongolia University of Technology, Huhhot 010080, Inner Mongolia Autonomous Region, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Le","family":"Hao","sequence":"additional","affiliation":[{"name":"Endocrine Department, Geriatric Research Center, Inner Mongolia People\u2019s Hospital, Huhhot 010080, Inner Mongolia Autonomous Region, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"55691","reference":[{"issue":"3","key":"10.3233\/JCM-204425_ref1","doi-asserted-by":"crossref","first-page":"793","DOI":"10.3233\/JCM-180830","article-title":"Research on cloud service quality control implementation based on improved load balance algorithm","volume":"18","author":"Yang","year":"2018","journal-title":"Journal of Computational Methods in Sciences and Engineering"},{"issue":"2","key":"10.3233\/JCM-204425_ref2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/JCM-180874","article-title":"Research on cloud computing task scheduling algorithm based on particle swarm optimization","volume":"19","author":"Wang","year":"2019","journal-title":"Journal of Computational Methods in Sciences and Engineering"},{"issue":"2","key":"10.3233\/JCM-204425_ref3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/TSC.2013.2295791","article-title":"Robust service compositions with functional and location diversity","volume":"9","author":"Wagner","year":"2016","journal-title":"IEEE Transactions on Services Computing"},{"issue":"6","key":"10.3233\/JCM-204425_ref4","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1109\/TSMC.2013.2280559","article-title":"Constrain-aware approach to web service composition","volume":"44","author":"Wang","year":"2014","journal-title":"IEEE Transactions on Systems Man & Cybernetics Systems"},{"key":"10.3233\/JCM-204425_ref5","unstructured":"A.L. Lemos, F. Daniel and B. Benatallah, Web service composition: A survey of techniques and tools, ACM Comput. Surveys 48(3) (2016), Art. no. 33."},{"issue":"2","key":"10.3233\/JCM-204425_ref7","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1109\/TSMCA.2009.2037018","article-title":"A petri net approach to analysis and composition of web services","volume":"40","author":"Xiong","year":"2010","journal-title":"IEEE Transactions on Systems Man and Cybernetics \u2013 Part A Systems and Humans"},{"issue":"2","key":"10.3233\/JCM-204425_ref8","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 ransactions on Automation Science and Engineering"},{"issue":"2","key":"10.3233\/JCM-204425_ref9","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1109\/TSMCA.2012.2204741","article-title":"Interactive petri nets","volume":"43","author":"Liu","year":"2013","journal-title":"IEEE Transactions on System, Man, and Cybernetics: System"},{"issue":"3","key":"10.3233\/JCM-204425_ref10","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1109\/TASE.2009.2034016","article-title":"Data-driven service composition in enterprise SOA solutions: A petri net approach","volume":"7","author":"Tan","year":"2010","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"1","key":"10.3233\/JCM-204425_ref11","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":"El Hadad","year":"2010","journal-title":"IEEE Transactions on Services Computing"},{"issue":"3","key":"10.3233\/JCM-204425_ref12","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1109\/TSC.2012.6","article-title":"A novel process network model for interacting context-aware web services","volume":"6","author":"Zhang","year":"2013","journal-title":"IEEE Transactions on Services Computing"},{"issue":"1","key":"10.3233\/JCM-204425_ref13","first-page":"2393","article-title":"Describing and verifying web services composition using Pi-calculus","volume":"3","author":"Saurabh","year":"2016","journal-title":"International Journal of Concurrent Engineering and Scientific Research"},{"issue":"5","key":"10.3233\/JCM-204425_ref14","doi-asserted-by":"crossref","first-page":"1311","DOI":"10.1007\/BF02829258","article-title":"A formal model for BPEL4WS description of web service composition","volume":"11","author":"Gu","year":"2006","journal-title":"Wuhan University Journal of Natural Sciences"},{"issue":"2-3","key":"10.3233\/JCM-204425_ref19","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(87)90012-0","article-title":"Modal logics for communicating systems","volume":"49","author":"Stirling","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.3233\/JCM-204425_ref20","unstructured":"S.H. Zarit, N.K. Orr and J.M. Zarit, Families under stress: Caring for the patient with Alzheimer\u2019s disease and related disorders, New York: University Press, 1985."}],"container-title":["Journal of Computational Methods in Sciences and Engineering"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/JCM-204425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T22:06:08Z","timestamp":1776809168000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/JCM-204425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,25]]},"references-count":15,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/jcm-204425","relation":{},"ISSN":["1472-7978","1875-8983"],"issn-type":[{"value":"1472-7978","type":"print"},{"value":"1875-8983","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,3,25]]}}}