{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:18:24Z","timestamp":1742951904972,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319699257"},{"type":"electronic","value":"9783319699264"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69926-4_51","type":"book-chapter","created":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T06:55:09Z","timestamp":1509087309000},"page":"606-609","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Tool Support for Consistency Verification of UML Diagrams"],"prefix":"10.1007","author":[{"given":"Salilthip","family":"Phuklang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomoyuki","family":"Yokogawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pattara","family":"Leelaprute","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazutami","family":"Arimoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,28]]},"reference":[{"key":"51_CR1","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37, 188\u2013204 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"51_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31797-5_1","volume-title":"UML Modeling Languages and Applications","author":"Z Huzar","year":"2005","unstructured":"Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L.: Consistency problems in UML-based software development. In: Jardim Nunes, N., Selic, B., da Silva, A.R., Rodrigues, A., Toval Alvarez, A. (eds.) UML 2004. LNCS, vol. 3297, pp. 1\u201312. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31797-5_1"},{"issue":"12","key":"51_CR3","doi-asserted-by":"crossref","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"FJ Lucas","year":"2009","unstructured":"Lucas, F.J., Molina, F., Toval, A.: A systematic review of UML model consistency management. Inf. Softw. Technol. 51(12), 1631\u20131645 (2009). http:\/\/dx.doi.org\/10.1016\/j.infsof.2009.04.009","journal-title":"Inf. Softw. Technol."},{"issue":"9","key":"51_CR4","doi-asserted-by":"crossref","first-page":"2193","DOI":"10.1587\/transinf.E95.D.2193","volume":"E95\u2013D","author":"H Miyazaki","year":"2012","unstructured":"Miyazaki, H., Yokogawa, T., Amasaki, S., Asada, K., Sato, Y.: Synthesis and refinement check of sequence diagrams. IEICE Trans. Inf. Syst. E E95\u2013D(9), 2193\u20132201 (2012)","journal-title":"IEICE Trans. Inf. Syst. E"},{"doi-asserted-by":"crossref","unstructured":"Petre, M.: UML in practice. In: Proceedings on International Conference on Software Engineering (ICSE 2013), pp. 722\u2013731 (2013)","key":"51_CR5","DOI":"10.1109\/ICSE.2013.6606618"},{"doi-asserted-by":"crossref","unstructured":"Torre, D., Labiche, Y., Genero, M.: UML consistency rules: a systematic mapping study. In: Proceedings of the 18th on International Conference on Evaluation and Assessment in Software Engineering (EASE 2014), pp. 1\u201310 (2014)","key":"51_CR6","DOI":"10.1145\/2601248.2601292"},{"doi-asserted-by":"crossref","unstructured":"Yokogawa, T., Amasaki, S., Okazaki, K., Sato, Y., Arimoto, K., Miyazaki, H.: Consistency verification of UML diagrams based on process bisimulation (fast abstract). In: Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), pp. 126\u2013127 (2013)","key":"51_CR7","DOI":"10.1109\/PRDC.2013.25"},{"key":"51_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/11901433_24","volume-title":"Formal Methods and Software Engineering","author":"Xiangpeng Zhao","year":"2006","unstructured":"Zhao, Xiangpeng, Long, Quan, Qiu, Zongyan: Model checking dynamic UML consistency. In: Liu, Zhiming, He, Jifeng (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 440\u2013459. Springer, Heidelberg (2006). doi: 10.1007\/11901433_24"}],"container-title":["Lecture Notes in Computer Science","Product-Focused Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69926-4_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T03:24:41Z","timestamp":1570245881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69926-4_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319699257","9783319699264"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69926-4_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}