{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:04:15Z","timestamp":1730297055457,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/smc.2017.8122874","type":"proceedings-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T17:22:47Z","timestamp":1512062567000},"page":"1782-1786","source":"Crossref","is-referenced-by-count":1,"title":["Synthesizing state machines from two scenarios and a case study on business process management"],"prefix":"10.1109","author":[{"given":"Toshiki","family":"Kinoshita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshiyuki","family":"Miyamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1138953.1138956"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1656250.1656252"},{"key":"ref10","first-page":"89","article-title":"A UML subset for design and verification of systems based on SOA","volume":"111","author":"hasegawa","year":"2011","journal-title":"IEICE technical report"},{"journal-title":"Object Management Group","article-title":"OMG Unified Modeling Language (OMG UML), superstructure","year":"2011","key":"ref6"},{"key":"ref11","first-page":"269","article-title":"A Study on Synthesizing State Machines from Multiple Communication Diagrams","author":"kinoshita","year":"2016","journal-title":"Proc ITC-CSCC 2016"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.E97.D.1171"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2015FOP0001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-008-0022-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31847-7_18"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2016FOP0002"},{"journal-title":"Service-Oriented Architecture Concepts Technology and Design PRENTICE HALL PROFESSIONAL TECHNICAL REFERENCE","year":"2005","author":"erl","key":"ref1"}],"event":{"name":"2017 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2017,10,5]]},"location":"Banff, AB","end":{"date-parts":[[2017,10,8]]}},"container-title":["2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8114675\/8122565\/08122874.pdf?arnumber=8122874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T18:16:00Z","timestamp":1516212960000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8122874\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/smc.2017.8122874","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}