{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T09:17:00Z","timestamp":1715591820763},"reference-count":30,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"8","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2018,8,1]]},"DOI":"10.1587\/transinf.2017edp7027","type":"journal-article","created":{"date-parts":[[2018,7,31]],"date-time":"2018-07-31T23:09:42Z","timestamp":1533078582000},"page":"2005-2014","source":"Crossref","is-referenced-by-count":16,"title":["A Two-Layered Framework for the Discovery of Software Behavior: A Case Study"],"prefix":"10.1587","volume":"E101.D","author":[{"given":"Cong","family":"LIU","sequence":"first","affiliation":[{"name":"Shandong Province Key Laboratory of Wisdom Mine Information Technology, Shandong University of Science and Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianpeng","family":"ZHANG","sequence":"additional","affiliation":[{"name":"National Digital Switching System Engineering Technological Research and Development Center"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guangming","family":"LI","sequence":"additional","affiliation":[{"name":"Science and Technology on Information Systems Engineering Laboratory, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shangce","family":"GAO","sequence":"additional","affiliation":[{"name":"University of Toyama"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingtian","family":"ZENG","sequence":"additional","affiliation":[{"name":"Shandong Province Key Laboratory of Wisdom Mine Information Technology, Shandong University of Science and Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] W. van der Aalst, Process mining: discovery, conformance and enhancement of business processes, Springer Science & Business Media, 2011.","DOI":"10.1007\/978-3-642-19345-3"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] B.F. van Dongen, A.K.A. de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst, \u201cThe ProM framework: A new era in process mining tool support,\u201d Applications and Theory of Petri Nets 2005, pp.444-454, Springer, 2005. 10.1007\/11494744_25","DOI":"10.1007\/11494744_25"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] H.M.W. Verbeek, J.C.A.M. Buijs, B.F. van Dongen, and W.M.P. van der Aalst, \u201cXes, xesame, and ProM 6,\u201d Information Systems Evolution, pp.60-75, Springer, 2011. 10.1007\/978-3-642-17722-4_5","DOI":"10.1007\/978-3-642-17722-4_5"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] C. Liu, S. Wang, S. Gao, F. Zhang, and J. Cheng, \u201cUser Behavior Discovery from Low-level Software Execution Logs,\u201d IEEJ Trans. Electrical and Electronic Engineering, pp.1-9, in press, 2018. 10.1002\/tee.22727","DOI":"10.1002\/tee.22727"},{"key":"5","unstructured":"[5] S. Astromskis, A. Janes, A. Sillitti, and G. Succi, \u201cImplementing organization-wide gemba using non-invasive process mining,\u201d Cutter IT Journal, vol.26, no.4, pp.32-39, 2013."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] A.M. Lemos, C.C. Sabino, R.M.F. Lima, and C.A.L. Oliveira, \u201cUsing process mining in software development process management: A case study,\u201d 2011 IEEE International Conference on Syst. Man Cybern. (SMC), pp.1181-1186, IEEE, 2011. 10.1109\/icsmc.2011.6083858","DOI":"10.1109\/ICSMC.2011.6083858"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] W. Poncin, A. Serebrenik, and M. van den Brand, \u201cProcess mining software repositories,\u201d 2011 15th European Conference on Software Maintenance and Reengineering (CSMR), pp.5-14, IEEE, 2011. 10.1109\/csmr.2011.5","DOI":"10.1109\/CSMR.2011.5"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] M.L. Sebu and H. Ciocarlie, \u201cApplied process mining in software development,\u201d 2014 IEEE 9th International Symposium on Applied Computational Intelligence and Informatics (SACI), pp.55-60, IEEE, 2014. 10.1109\/saci.2014.6840098","DOI":"10.1109\/SACI.2014.6840098"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] V. Rubin, C.W. G\u00fcnther, W.M.P. van der Aalst, E. Kindler, B.F. Van Dongen, and W. Sch\u00e4fer, \u201cProcess mining framework for software processes,\u201d Software Process Dynamics and Agility, pp.169-181, Springer, 2007. 10.1007\/978-3-540-72426-1_15","DOI":"10.1007\/978-3-540-72426-1_15"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] V.A. Rubin, A.A. Mitsyuk, I.A. Lomazova, and W.M.P. van der Aalst, \u201cProcess mining can be applied to software too!,\u201d Proc. 8th ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement, p.57, ACM, 2014. 10.1145\/2652524.2652583","DOI":"10.1145\/2652524.2652583"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] S. Astromskis, A. Janes, and M. Mairegger, \u201cA process mining approach to measure how users interact with software: an industrial case study,\u201d Proc. 2015 International Conference on Software and System Process, pp.137-141, ACM, 2015. 10.1145\/2785592.2785612","DOI":"10.1145\/2785592.2785612"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] C. G\u00fcnther and W. van der Aalst, \u201cFuzzy mining-adaptive process simplification based on multi-perspective metrics,\u201d International Conference on Business Process Management, pp.328-343, Springer, 2007. 10.1007\/978-3-540-75183-0_24","DOI":"10.1007\/978-3-540-75183-0_24"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] R.P.J.C. Bose, E.H.M.W. Verbeek, and W.M.P. van der Aalst, \u201cDiscovering hierarchical process models using ProM,\u201d IS Olympics: Information Systems in a Diverse World, pp.33-48, Springer, 2012. 10.1007\/978-3-642-29749-6_3","DOI":"10.1007\/978-3-642-29749-6_3"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] R.P.J.C. Bose and W.M.P. van der Aalst, \u201cAbstractions in process mining: A taxonomy of patterns,\u201d Business Process Management, pp.159-175, Springer, 2009. 10.1007\/978-3-642-03848-8_12","DOI":"10.1007\/978-3-642-03848-8_12"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] R. P\u00e9rez-Castillo, B. Weber, I.G.-R. de Guzman, and M. Piattini, \u201cProcess mining through dynamic analysis for modernising legacy systems,\u201d IET software, vol.5, no.3, pp.304-319, 2011. 10.1049\/iet-sen.2010.0103","DOI":"10.1049\/iet-sen.2010.0103"},{"key":"16","unstructured":"[16] Original ProM event log:. https:\/\/www.dropbox.com\/s\/scy2miujgifu0xe\/Original%20ProM%20Execution%20Log-Plug-in%20Level.xes?dl=0."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] C. Liu, Q. Zeng, J. Zou, F. Lu, and Q. Wu, \u201cInvariant decomposition conditions for petri nets based on the index of transitions,\u201d Information Technology Journal, vol.11, no.7, pp.768-774, 2012. 10.3923\/itj.2012.768.774","DOI":"10.3923\/itj.2012.768.774"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] C. Liu, H. Duan, Q. Zeng, M. Zhou, F. Lu, and J. Cheng, \u201cTowards comprehensive support for privacy preservation cross-organization business process mining,\u201d IEEE Trans. Services Computing, 2016. 10.1109\/tsc.2016.2617331","DOI":"10.1109\/TSC.2016.2617331"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] C. Liu and F. Zhang, \u201cPetri net based modeling and correctness verification of collaborative emergency response processes,\u201d Cybernetics and Information Technologies, vol.16, no.3, pp.122-136, 2016. 10.1515\/cait-2016-0038","DOI":"10.1515\/cait-2016-0038"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] C. Liu, J. Cheng, W. Yirui, and S. Gao, \u201cTime performance optimization and resource conflicts resolution for multiple project management,\u201d IEICE Trans. Inf. & Syst., vol.E99-D, no.3, pp.650-660, 2016. 10.1587\/transinf.2015edp7397","DOI":"10.1587\/transinf.2015EDP7397"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] C. Liu, Q. Zeng, H. Duan, M. Zhou, F. Lu, and J. Cheng, \u201cE-net modeling and analysis of emergency response processes constrained by resources and uncertain durations,\u201d IEEE Trans. Syst. Man Cybern.: Systems, vol.45, no.1, pp.84-96, 2015. 10.1109\/tsmc.2014.2330555","DOI":"10.1109\/TSMC.2014.2330555"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] C. Liu, Q. Zeng, H. Duan, and F. Lu, \u201cPetri net based behavior description of cross-organization workflow with synchronous interaction pattern,\u201d International Workshop on Process-Aware Systems, pp.1-10, Springer, 2014. 10.1007\/978-3-662-46170-9_1","DOI":"10.1007\/978-3-662-46170-9_1"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] C. Liu, Q. Zeng, and H. Duan, \u201cFormulating the data-flow modeling and verification for workflow: A petri net based approach,\u201d Int. J. Science and Engineering Applications, vol.3, pp.107-112, 2014. 10.7753\/ijsea0304.1009","DOI":"10.7753\/IJSEA0304.1009"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Q. Zeng, C. Liu, and H. Duan, \u201cResource conflict detection and removal strategy for nondeterministic emergency response processes using petri nets,\u201d Enterprise Information Systems, vol.10, no.7, pp.729-750, 2016. 10.1080\/17517575.2014.986215","DOI":"10.1080\/17517575.2014.986215"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Q. Li, Y. Deng, C. Liu, Q. Zeng, and Y. Lu, \u201cModeling and analysis of subway fire emergency response: an empirical study,\u201d Safety science, vol.84, pp.171-180, 2016. 10.1016\/j.ssci.2015.12.003","DOI":"10.1016\/j.ssci.2015.12.003"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] J. Cheng, C. Liu, M. Zhou, Q. Zeng, and A. Yl\u00e4-J\u00e4\u00e4ski, \u201cAutomatic composition of semantic web services based on fuzzy predicate petri nets,\u201d IEEE Trans. Automation Science and Engineering, vol.12, no.2, pp.680-689, 2015. 10.1109\/tase.2013.2293879","DOI":"10.1109\/TASE.2013.2293879"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Q. Zeng, F. Lu, C. Liu, H. Duan, and C. Zhou, \u201cModeling and verification for cross-department collaborative business processes using extended petri nets,\u201d IEEE Trans. Syst. Man Cybern.: Systems, vol.45, no.2, pp.349-362, 2015. 10.1109\/TSMC.2014.2334276","DOI":"10.1109\/TSMC.2014.2334276"},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] Q.-T. Zeng, F.-M. Lu, C. Liu, and D.-C. Meng, \u201cModeling and analysis for cross-organizational emergency response systems using petri nets,\u201d Chin. J. Comput, vol.36, no.11, pp.2290-2302, 2013. 10.3724\/sp.j.1016.2013.02290","DOI":"10.3724\/SP.J.1016.2013.02290"},{"key":"29","unstructured":"[29] A.K.A. de Medeiros, W. van der Aalst, and C. Pedrinaci, \u201cSemantic process mining tools: core building blocks,\u201d 2008."},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30] D. Grove, G. DeFouw, J. Dean, and C. Chambers, \u201cCall graph construction in object-oriented languages,\u201d ACM SIGPLAN Notices, vol.32, no.10, pp.108-124, 1997. 10.1145\/263700.264352","DOI":"10.1145\/263700.264352"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E101.D\/8\/E101.D_2017EDP7027\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,4]],"date-time":"2018-08-04T04:21:13Z","timestamp":1533356473000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E101.D\/8\/E101.D_2017EDP7027\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,1]]},"references-count":30,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2018]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2017edp7027","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,1]]}}}