{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,17]],"date-time":"2023-01-17T05:28:15Z","timestamp":1673933295744},"reference-count":24,"publisher":"IGI Global","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,1]]},"abstract":"<p>To verify the composed web services, a general view of what traits of a service need to be identified is still lacking. The existing verification model did not address any mechanism for getting alternative services if we failed to reach the desired service and partially concentrated on the reachability problem for a deterministic and non-deterministic system in sequential. This paper proposes a synthesised non-deterministic turing machine model (SNTMM) by combining the multistacked non-deterministic Turing machine (MSNTM) model and multitaped non-deterministic Turing machine (MTNTM) model to verify the composed web services for both deterministic and non-deterministic systems in parallel. The deceased transition and departed service marking algorithm have been proposed to address each participated service's reachability in composing service for all possible input in parallel. This article shows an example to demonstrate the meticulousness of the model. The experimental results show that the performance of the proposed model is measured efficiently.<\/p>","DOI":"10.4018\/ijwsr.2021100104","type":"journal-article","created":{"date-parts":[[2021,9,28]],"date-time":"2021-09-28T18:26:22Z","timestamp":1632853582000},"page":"75-102","source":"Crossref","is-referenced-by-count":0,"title":["Verification of Composed Web Service Using Synthesized Nondeterministic Turing Model (SNTMM) With Multiple Tapes and Stacks"],"prefix":"10.4018","volume":"18","author":[{"family":"Thilagavathi N.","sequence":"first","affiliation":[{"name":"Periyar Maniammai Institute of Science and Technology, India"}]},{"family":"Lakshmi K.","sequence":"additional","affiliation":[{"name":"Periyar Maniammai Institute of Science and Technology, India"}]}],"member":"2432","reference":[{"key":"IJWSR.2021100104-0","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., & Traverso, P. (2003). A Framework for Planning with Extended Goals under Partial Observability. American Association for Artificial Intelligence, 215\u2013224."},{"key":"IJWSR.2021100104-1","doi-asserted-by":"publisher","DOI":"10.1109\/AMS.2010.107"},{"key":"IJWSR.2021100104-2","first-page":"152","article-title":"A Novel Approach for Verifying Web Services Composition Using Muller Transition Algorithm.","author":"E.Danapaquiame","year":"2012","journal-title":"International Conference on Recent Trends in Information Processing & Computing"},{"issue":"5","key":"IJWSR.2021100104-3","first-page":"115","article-title":"Corroboration Strategy For Web Service Choreography Using Revise Buchi Automata. International Journal of u- and e- Service","volume":"6","author":"N.Danapaquiame","year":"2013","journal-title":"Science and Technology"},{"key":"IJWSR.2021100104-4","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAT.2015.070494"},{"key":"IJWSR.2021100104-5","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1610"},{"key":"IJWSR.2021100104-6","first-page":"567","article-title":"A Model Checking Approach To Analysing Timed Compatibility In Mediation Aided Composition Of Web Services.","author":"Y.Du","year":"2015","journal-title":"IEEE International Conference on Web Services"},{"key":"IJWSR.2021100104-7","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050039"},{"key":"IJWSR.2021100104-8","author":"J. E.Hopcroft","year":"2008","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"IJWSR.2021100104-9","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-020-00517-0"},{"key":"IJWSR.2021100104-10","doi-asserted-by":"publisher","DOI":"10.1109\/CW.2002.1180904"},{"key":"IJWSR.2021100104-11","unstructured":"Ohlbach, H. J. (2012). Java2OWL A System for Synchronising Java and OWL Version. http:\/\/www.pms.informatik.uni-muenchen.de\/publikationen Forschungsbericht\/ResearchReport"},{"issue":"5","key":"IJWSR.2021100104-12","first-page":"195","article-title":"Achieving Web Services Composition:A Survey.","volume":"2","author":"V.Portchelvi","year":"2012","journal-title":"Scientific & Academic Publishing on Software Engineering"},{"key":"IJWSR.2021100104-13","first-page":"43","article-title":"A Survey of Automated Web Service Composition Methods.","author":"J.Rao","year":"2004","journal-title":"International conference on Semantic Web Services and Web Process Composition"},{"issue":"1","key":"IJWSR.2021100104-14","first-page":"1","article-title":"Inferring ontology graph structures using OWL reasoning.","volume":"19","year":"2018","journal-title":"BMC Bioinformatics"},{"key":"IJWSR.2021100104-15","doi-asserted-by":"crossref","unstructured":"Saranya Jothi, C., Ravikumar, S., Kumar, A.K., & Suresh, A. (2018). An approach for verifying correctness of web service compositions. International Journal of Engineering & Technology, 7(1.7), 5\u201310.","DOI":"10.14419\/ijet.v7i1.7.9378"},{"key":"IJWSR.2021100104-16","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-013-0894-y"},{"key":"IJWSR.2021100104-17","unstructured":"Shahin Saadati and Grit Denker. (n.d.). An OWL-S Editor Tutorial. http:\/\/owlseditor.semwebcentral.org\/documents\/tutorial.pdf"},{"key":"IJWSR.2021100104-18","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-019-03018-9"},{"issue":"6","key":"IJWSR.2021100104-19","first-page":"2409","article-title":"An Index based Graph Plan Approach to Enhance Performance of Web Service Composition.","volume":"12","author":"N.Thilagavathi","year":"2020","journal-title":"Journal of Advanced Research in Dynamical & Control Systems"},{"issue":"7","key":"IJWSR.2021100104-20","first-page":"1883","article-title":"Web Service Composition Verification: A Study on open challenges.","volume":"10","author":"N.Thilagavathi","year":"2018","journal-title":"Journal of Advanced Research in Dynamical & Control Systems"},{"key":"IJWSR.2021100104-21","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2010.48.54"},{"key":"IJWSR.2021100104-22","unstructured":"Zeshan, F., and Mohamad, R. (2011). Semantic Web Service Composition Approaches: Overview and Limitations. International Journal of New Computer Architectures and their Applications, 1(3), 640\u2013651."},{"key":"IJWSR.2021100104-23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29966-7_16"}],"container-title":["International Journal of Web Services Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=289836","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T21:08:57Z","timestamp":1673903337000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJWSR.2021100104"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2021,10,1]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,10]]}},"URL":"https:\/\/doi.org\/10.4018\/ijwsr.2021100104","relation":{},"ISSN":["1545-7362","1546-5004"],"issn-type":[{"value":"1545-7362","type":"print"},{"value":"1546-5004","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,1]]}}}