{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:22:02Z","timestamp":1749334922224},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/wodes.2016.7497822","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T11:36:10Z","timestamp":1466854570000},"page":"28-35","source":"Crossref","is-referenced-by-count":7,"title":["Automated service composition via supervisory control theory"],"prefix":"10.1109","author":[{"given":"Francis","family":"Atampore","sequence":"first","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Supervisory Control of Discrete-Event Systems","year":"2012","author":"wonham","key":"ref10"},{"key":"ref11","article-title":"A Controller Synthesis Framework for Automated Service Composition","author":"atampore","year":"2016","journal-title":"School of Computing Queen's University"},{"key":"ref12","article-title":"Artifact-Centric Business Process Synthesis Framework Using Discrete Event Systems Theory","author":"wang","year":"2011","journal-title":"HP Laboratories Tech Rep"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES-1.2008.11"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001201"},{"key":"ref4","article-title":"Concurrency Control Generation for Dynamic Threads Using Discrete-Event Systems","author":"auer","year":"2013","journal-title":"Science of Computing"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582126"},{"article-title":"Business Process Execution Language for Web Services Version 1.1","year":"2003","author":"andrews","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2337411"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MMAR.2013.6670012"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213014500158"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2013.41"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094687"}],"event":{"name":"2016 13th International Workshop on Discrete Event Systems (WODES)","start":{"date-parts":[[2016,5,30]]},"location":"Xi'an, China","end":{"date-parts":[[2016,6,1]]}},"container-title":["2016 13th International Workshop on Discrete Event Systems (WODES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7493813\/7497815\/07497822.pdf?arnumber=7497822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,30]],"date-time":"2016-09-30T00:48:53Z","timestamp":1475196533000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7497822\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/wodes.2016.7497822","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}