{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T11:44:53Z","timestamp":1757591093999},"reference-count":34,"publisher":"IGI Global","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"abstract":"<jats:p>To improve the computational efficiency of web service automatic composition, this article proposes a novel approach based on a planning graph and propositional logic. This approach has a forward searching stage and a backward combination stage: the former stage searches services in a service storage and performs the composition in a hierarchical architecture based on a planning graph, while the latter stage combines them via propositional logic operations. This method can obtain all composite services that contain no redundant services, and the computational complexity can be significantly reduced. Experiments are done to illustrate the effectiveness of the approach.<\/jats:p>","DOI":"10.4018\/joeuc.2019070101","type":"journal-article","created":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T18:42:22Z","timestamp":1555353742000},"page":"1-16","source":"Crossref","is-referenced-by-count":5,"title":["A Web Service Composition Approach Based on Planning Graph and Propositional Logic"],"prefix":"10.4018","volume":"31","author":[{"given":"ShiYang","family":"Deng","sequence":"first","affiliation":[{"name":"Shandong University of Science and Technology, Qingdao, China"}]},{"given":"YuYue","family":"Du","sequence":"additional","affiliation":[{"name":"Shandong University of Science and technology, Qingdao, China"}]},{"given":"Liang","family":"Qi","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology, Newark, USA"}]}],"member":"2432","reference":[{"key":"JOEUC.2019070101-0","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2007.16"},{"key":"JOEUC.2019070101-1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054108005759"},{"key":"JOEUC.2019070101-2","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1016.2013.01015"},{"key":"JOEUC.2019070101-3","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1087.2012.02328"},{"key":"JOEUC.2019070101-4","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1087.2013.02167"},{"key":"JOEUC.2019070101-5","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-014-3002-9"},{"key":"JOEUC.2019070101-6","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2012.759280"},{"key":"JOEUC.2019070101-7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2277696"},{"key":"JOEUC.2019070101-8","doi-asserted-by":"publisher","DOI":"10.1109\/ISCID.2009.165"},{"key":"JOEUC.2019070101-9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.10.014"},{"key":"JOEUC.2019070101-10","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2009.41"},{"key":"JOEUC.2019070101-11","first-page":"113","article-title":"A workflow-based Web service composition system.","author":"E.Karakoc","year":"2006","journal-title":"Proceedings of IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops"},{"key":"JOEUC.2019070101-12","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2010.237"},{"key":"JOEUC.2019070101-13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2093884"},{"key":"JOEUC.2019070101-14","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2013.36"},{"key":"JOEUC.2019070101-15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.11.025"},{"issue":"7","key":"JOEUC.2019070101-16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11432-014-5259-5","article-title":"Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets.","volume":"58","author":"G.Liu","year":"2015","journal-title":"Science China. Information Sciences"},{"key":"JOEUC.2019070101-17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2204741"},{"key":"JOEUC.2019070101-18","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2597061"},{"key":"JOEUC.2019070101-19","doi-asserted-by":"publisher","DOI":"10.3837\/tiis.2011.07.003"},{"key":"JOEUC.2019070101-20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2311392"},{"key":"JOEUC.2019070101-21","doi-asserted-by":"publisher","DOI":"10.1360\/jos181883"},{"key":"JOEUC.2019070101-22","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2011.10"},{"key":"JOEUC.2019070101-23","doi-asserted-by":"publisher","DOI":"10.4018\/jebr.2009040601"},{"key":"JOEUC.2019070101-24","doi-asserted-by":"publisher","DOI":"10.1109\/WI.2007.82"},{"key":"JOEUC.2019070101-25","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2007010101"},{"key":"JOEUC.2019070101-26","first-page":"1","article-title":"Semantic grid service discovery approach using clustering of service ontologies.","author":"R.Sudha","year":"2006","journal-title":"Proceedings of Tencon IEEE Region 10 Conference"},{"key":"JOEUC.2019070101-27","first-page":"1340","article-title":"Using service clustering to facilitate process-oriented semantic Web service discovery.","volume":"31","author":"P.Sun","year":"2008","journal-title":"Chinese Journal of Computers"},{"key":"JOEUC.2019070101-28","doi-asserted-by":"publisher","DOI":"10.1002\/9781118554609"},{"key":"JOEUC.2019070101-29","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.127"},{"key":"JOEUC.2019070101-30","first-page":"42","article-title":"QSynth: A Tool for QoS-Aware Automatic Service Composition.","author":"J.Wei","year":"2010","journal-title":"IEEE International Conference on Web Services"},{"key":"JOEUC.2019070101-31","first-page":"204","article-title":"A logical Petri net-based approach for web service cluster composition.","volume":"38","author":"H.Wu","year":"2015","journal-title":"Chinese Journal of Computers"},{"key":"JOEUC.2019070101-32","first-page":"1614","article-title":"An algorithm of r-adjustable negative selection algorithm and its simulation analysis.","volume":"28","author":"H.Zhang","year":"2005","journal-title":"Chinese Journal of Computers"},{"key":"JOEUC.2019070101-33","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2008.134"}],"container-title":["Journal of Organizational and End User Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=227338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T09:46:19Z","timestamp":1651830379000},"score":1,"resource":{"primary":{"URL":"http:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/JOEUC.2019070101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":34,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.4018\/joeuc.2019070101","relation":{},"ISSN":["1546-2234","1546-5012"],"issn-type":[{"value":"1546-2234","type":"print"},{"value":"1546-5012","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7]]}}}