{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T20:09:36Z","timestamp":1649189376995},"reference-count":11,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2017]]},"DOI":"10.1587\/transinf.2016fop0002","type":"journal-article","created":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T18:23:50Z","timestamp":1496255030000},"page":"1200-1209","source":"Crossref","is-referenced-by-count":3,"title":["Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram"],"prefix":"10.1587","volume":"E100.D","author":[{"given":"Toshiyuki","family":"MIYAMOTO","sequence":"first","affiliation":[{"name":"Division of Electrical, Electronic and Information Engineering, Graduate School of Engineering, Osaka University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","unstructured":"[1] T. Erl, Service-Oriented Architecture: Concepts, Technology, and Design, Prentice Hall Professional Technical Reference, 2005."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] T. Bultan and X. Fu, \u201cSpecification of realizable service conversations using collaboration diagrams,\u201d Service Oriented Computing and Applications, vol.2, no.1, pp.27-39, April 2008.","DOI":"10.1007\/s11761-008-0022-7"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] J. Su, T. Bultan, X. Fu, and X. Zhao, \u201cTowards a theory of web service choreographies,\u201d Proc. 4th Intl. Conf. on Web Services and Formal Methods, pp.1-16, Sept. 2007.","DOI":"10.1007\/978-3-540-79230-7_1"},{"key":"4","unstructured":"[4] Object Management Group, \u201cOMG Unified Modeling Language (OMG UML), superstructure,\u201d Aug. 2011. (accessed Oct. 31, 2013)."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] J.A. Cruz-Lemus, M. Genero, and M. Piattini, \u201cMetrics for UML statechart diagrams,\u201d in Metrics for Software Conceptual Models, ed. M. Genero, M. Piattini, and C. Calero, pp.237-272, Imperial College Press, 2005.","DOI":"10.1142\/9781860946066_0007"},{"key":"6","unstructured":"[6] T. Miyamoto, Y. Hasegawa, and H. Oimura, \u201cAn approach for synthesizing intelligible state machine models from choreography using petri nets,\u201d IEICE Trans. Inf. & Syst., vol.E97.D, no.5, pp.1171-1180, May 2014."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] T. Murata, \u201cPetri nets: Properties, analysis and applications,\u201d Proc. IEEE, vol.77, no.4, pp.541-580, April 1989.","DOI":"10.1109\/5.24143"},{"key":"8","unstructured":"[8] T. Miyamoto, \u201cChoreography realization by re-constructible decomposition of acyclic relations,\u201d IEICE Trans. Inf. & Syst., vol.E99.D, no.6, pp.1420-1427, 2016."},{"key":"9","unstructured":"[9] T. Miyamoto, \u201cCSCB tools: A tool to synthesize pareto optimal state machine models from choreography using Petri nets,\u201d International Workshop on Petri Nets and Software Engineering, pp.335-340, 2016."},{"key":"10","unstructured":"[10] OASIS, \u201cWeb services business process execution language version 2.0,\u201d 2006. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-specification-draft.html"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] J. Esparza and M. Silva, \u201cCircuits, handles, bridges and nets,\u201d in Advances in Petri Nets 1990, ed. G. Rozenberg, Lecture Notes in Computer Science, vol.483, pp.210-242, Springer, 1991.","DOI":"10.1007\/3-540-53863-1_27"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0002\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T06:02:28Z","timestamp":1569391348000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0002\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2016fop0002","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}