{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T22:09:10Z","timestamp":1648937350193},"reference-count":20,"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":[[2016]]},"DOI":"10.1587\/transinf.2015fop0001","type":"journal-article","created":{"date-parts":[[2016,5,31]],"date-time":"2016-05-31T18:12:44Z","timestamp":1464718364000},"page":"1420-1427","source":"Crossref","is-referenced-by-count":5,"title":["Choreography Realization by Re-Constructible Decomposition of Acyclic Relations"],"prefix":"10.1587","volume":"E99.D","author":[{"given":"Toshiyuki","family":"MIYAMOTO","sequence":"first","affiliation":[{"name":"Division of Electrical, Electronic and Information Engineering, Graduate School of Engineering, Osaka University"}]}],"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] D. Harel, H. Kugler, and A. Pnueli, \u201cSynthesis revisited: generating statechart models from scenario-based requirements,\u201d in Formal Methods in Software and Systems Modeling, ed. H.J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, and G. Taentzer, pp.309-324, Springer, 2005.","DOI":"10.1007\/978-3-540-31847-7_18"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] J. Whittle and P.K. Jayaraman, \u201cSynthesizing hierarchical state machines from expressive scenario descriptions,\u201d ACM Trans. on Software Eng. and Methodology, vol.19, no.3, pp.1-45, Jan. 2010.","DOI":"10.1145\/1656250.1656252"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] H. Liang, J. Dingel, and Z. Diskin, \u201cA comparative survey of scenario-based to state-based model synthesis approaches,\u201d Proc. Intl. Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, pp.5-12, May 2006.","DOI":"10.1145\/1138953.1138956"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] 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":"6","doi-asserted-by":"crossref","unstructured":"[6] 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":"7","unstructured":"[7] Object Management Group, \u201cOMG Unified Modeling Language (OMG UML), superstructure,\u201d Aug. 2011. (accessed Oct. 31, 2013)."},{"key":"8","unstructured":"[8] B. Caillaud, P. Caspi, A. Girault, and C. Jard, \u201cDistributing automata for asynchronous networks of processors,\u201d European Journal of Automation, vol.31, no.3, pp.503-524, 1997."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] 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":"10","doi-asserted-by":"crossref","unstructured":"[10] 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.","DOI":"10.1587\/transinf.E97.D.1171"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] 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":"12","doi-asserted-by":"crossref","unstructured":"[12] D. Kratsch and J.-X. Rampon, \u201cTowards the reconstruction of posets,\u201d Order, vol.11, no.4, pp.317-341, 1994.","DOI":"10.1007\/BF01108765"},{"key":"13","unstructured":"[13] M. Rademaker, B. De Baets, and H. De Meyer, \u201cInformative combination of multiple partial order relations,\u201d in Multicriteria Ordering and Ranking: Partial Orders, Ambiguities and Applied Issues, Systems Research Institute, Polish Academy of Sciences, 2008."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] M. Rademaker and B. De Baets, \u201cConsistent union and prioritized consistent union: new operations for preference aggregation,\u201d Annals of Operations Research, vol.195, no.1, pp.237-259, Feb. 2011.","DOI":"10.1007\/s10479-011-0852-0"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] C. Pang, J. Wang, Y. Cheng, H. Zhang, and T. Li, \u201cTopological sorts on DAGs,\u201d Information Processing Letters, vol.115, no.2, pp.298-301, Feb. 2015.","DOI":"10.1016\/j.ipl.2014.09.031"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] G. Brightwell and P. Winkler, \u201cCounting linear extensions,\u201d Order, vol.8, no.3, pp.225-242, 1991.","DOI":"10.1007\/BF00383444"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] D. Jungnickel, Graphs, Networks and Algorithms, 3rd ed., Springer, 2007.","DOI":"10.1007\/978-3-540-72780-4"},{"key":"18","unstructured":"[18] Y. Hasegawa, H. Niimura, and T. Miyamoto, \u201cA UML subset for design and verification of systems based on SOA,\u201d IEICE Technical Report, MSS2011-48, Nov. 2011 (in Japanese)."},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] W. Damm, B. Josko, A. Pnueli, and A. Votintseva, \u201cA discrete-time UML semantics for concurrency and communication in safety-critical applications,\u201d Science of Computer Programming, vol.55, no.1-3, pp.81-115, March 2005.","DOI":"10.1016\/j.scico.2004.05.012"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] J. Dubrovin and T. Junttila, \u201cSymbolic model checking of hierarchical UML state machines,\u201d 2008 8th International Conference on Application of Concurrency to System Design, pp.108-117, 2008.","DOI":"10.1109\/ACSD.2008.4574602"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E99.D\/6\/E99.D_2015FOP0001\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T22:54:07Z","timestamp":1567983247000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E99.D\/6\/E99.D_2015FOP0001\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2015fop0001","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}