{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T08:54:58Z","timestamp":1740128098924,"version":"3.37.3"},"reference-count":42,"publisher":"Informa UK Limited","issue":"11","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Production Research"],"published-print":{"date-parts":[[2019,6,3]]},"DOI":"10.1080\/00207543.2018.1535723","type":"journal-article","created":{"date-parts":[[2018,11,20]],"date-time":"2018-11-20T10:34:17Z","timestamp":1542710057000},"page":"3421-3434","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":4,"title":["Service-based manufacturing systems: modelling and control"],"prefix":"10.1080","volume":"57","author":[{"given":"Marcelo","family":"Rosa","sequence":"first","affiliation":[{"name":"Graduate Program in Electrical Engineering, UTFPR, Pato Branco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco A. C.","family":"Barbosa","sequence":"additional","affiliation":[{"name":"Department of Informatics, UTFPR, Pato Branco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1008-7838","authenticated-orcid":false,"given":"Marcelo","family":"Teixeira","sequence":"additional","affiliation":[{"name":"Graduate Program in Electrical Engineering, UTFPR, Pato Branco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2018,11,16]]},"reference":[{"key":"CIT0001","unstructured":"Akesson, K., M. Fabian, H. Flordal, and R. Malik. 2006. \u201cSupremica \u2013 An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems.\u201d 2006 8th International Workshop on Discrete Event Systems (WODES), 384\u2013385."},{"key":"CIT0002","unstructured":"Atampore, F., J. Dingel, and K. Rudie. 2016. \u201cAutomated Service Composition via Supervisory Control Theory.\u201d 2016 13th International Workshop on Discrete Event Systems (WODES), 28\u201335."},{"key":"CIT0003","volume-title":"Service-Oriented Architecture (SOA) Compass: Business Value, Planning, and Enterprise Roadmap","author":"Bieberstein Norbert","year":"2005","edition":"1"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.038"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"CIT0006","unstructured":"Chen, Y., and F. Lin. 2000. \u201cModeling of Discrete Event Systems Using Finite State Machines with Parameters.\u201d Proceedings of the 2000 IEEE International Conference on Control Applications, 2000, 941\u2013946."},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.03.025"},{"key":"CIT0008","volume-title":"SOA: Principles of Service Design","author":"Erl Thomas.","year":"2007","edition":"1"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2402619"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2420619"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2504046"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2342664"},{"key":"CIT0013","volume-title":"SOA in Practice:\u00a0The Art of Distributed System Design","author":"Josuttis N.M.","year":"2008","edition":"1"},{"key":"CIT0014","unstructured":"Khoumsi, A. 2013. \u201cA Simple Formal Method to Synthesize an Orchestrator in Web Service Composition.\u201d 2013 American Control Conference, ACC'13, 107\u2013112."},{"key":"CIT0015","volume-title":"Elements of the Theory of Computation","author":"Lewis H.R.","year":"1998","edition":"2"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2017.03.058"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.02.007"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1240"},{"key":"CIT0019","unstructured":"Marconi, Annapaola, and Marco Pistore. 2009. \u201cSynthesis and Composition of Web Services.\u201d International School on Formal Methods, Bertinoro, Italy, June, 89\u2013157."},{"key":"CIT0020","unstructured":"MathWorks. 2018. \u201cMatlab.\u201d https:\/\/www.mathworks.com."},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2011.575892"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2347265"},{"key":"CIT0023","first-page":"1","author":"Moghaddam Mohsen","year":"2017","journal-title":"International Journal of Production Research"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2017.1374574"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.10.012"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2005.01.005"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2011.561371"},{"key":"CIT0028","unstructured":"Queiroz, Max H. De, and Jose E. R. Cury. 2000. \u201cModular Supervisory Control of Large Scale Discrete Event Systems.\u201d Discrete Event Systems: Analysis and Control. Proc. WODES'00, Kluwer Academic, 103\u2013110."},{"key":"CIT0029","first-page":"81","volume":"77","author":"Ramadge P.J.","year":"1989","journal-title":"Discrete Event Dynamic Systems"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.272"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.09.016"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1023\/B:DISC.0000005009.40749.b6"},{"key":"CIT0033","doi-asserted-by":"crossref","unstructured":"Tasharofi, Samira, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, and Marjan Sirjani. 2008. \u201cModeling Web Service Interactions Using the Coordination Language Reo.\u201d In Web Services and Formal Methods, Vol. 4937 of Lecture Notes in Computer Science, 108\u2013123. Berlin: Springer.","DOI":"10.1007\/978-3-540-79230-7_8"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2337411"},{"key":"CIT0035","doi-asserted-by":"crossref","unstructured":"Teixeira, M., R. Ribeiro, M. Barbosa, F. Enembreck, and R. Massa. 2015b. \u201cA Modeling Architecture for the Orchestration of Service Components in Factory Automation.\u201d IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'15, Luxembourg, Luxembourg.","DOI":"10.1109\/ETFA.2015.7301446"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2015.02.004"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2016.1201604"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.12.013"},{"key":"CIT0040","unstructured":"Oasis. 2007. \u201cWeb Services Business Process Execution Language Version 2.0.\u201d https:\/\/goo.gl\/UYITo1."},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2016.1221535"},{"issue":"14","key":"CIT0042","first-page":"1","volume":"56","author":"Zhang Wenyu","year":"2017","journal-title":"International Journal of Production Research"}],"container-title":["International Journal of Production Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207543.2018.1535723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T23:26:39Z","timestamp":1599348399000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00207543.2018.1535723"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,16]]},"references-count":42,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2019,6,3]]}},"alternative-id":["10.1080\/00207543.2018.1535723"],"URL":"https:\/\/doi.org\/10.1080\/00207543.2018.1535723","relation":{},"ISSN":["0020-7543","1366-588X"],"issn-type":[{"type":"print","value":"0020-7543"},{"type":"electronic","value":"1366-588X"}],"subject":[],"published":{"date-parts":[[2018,11,16]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tprs20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tprs20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2017-09-18","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-10-07","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-11-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}