{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T01:10:08Z","timestamp":1750900208355,"version":"3.41.0"},"publisher-location":"Singapore","reference-count":10,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811064418"},{"type":"electronic","value":"9789811064425"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-981-10-6442-5_39","type":"book-chapter","created":{"date-parts":[[2017,10,5]],"date-time":"2017-10-05T05:54:47Z","timestamp":1507182887000},"page":"418-426","source":"Crossref","is-referenced-by-count":0,"title":["Processing Redundancy in UML Diagrams Based on Knowledge Graph"],"prefix":"10.1007","author":[{"given":"Yirui","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yucong","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mengxing","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingrui","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingbin","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,6]]},"reference":[{"key":"39_CR1","unstructured":"Liu, W., Easterbrook, S., Mylopoulos, J.: Rule-based detection of inconsistency in UML models. In: Workshop on Consistency Problems in UML-based Software Development, pp. 106\u2013123 (2002)"},{"issue":"5","key":"39_CR2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"BW Boehm","year":"1998","unstructured":"Boehm, B.W.: A spiral model of software development and enhancement. IEEE Comput. 21(5), 61\u201372 (1998)","journal-title":"IEEE Comput."},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Duan, Y., Cheung, S.-C., Fu, X., Gu, Y.: A metamodel based model transformation approach. In: Third ACIS International Conference on Software Engineering Research, Management and Applications, pp. 184\u2013191. IEEE (2005)","DOI":"10.1109\/SERA.2005.10"},{"issue":"2","key":"39_CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/TSMC.1981.4308636","volume":"11","author":"K Sugiyama","year":"1981","unstructured":"Sugiyama, K., Tagawa, S., Toda, M.: Methods for visual understanding of hierarchical system structures. IEEE Trans. Syst. Man Cybern. 11(2), 109\u2013125 (1981)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"39_CR5","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168, 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"39_CR6","unstructured":"Van Der Straeten, R.: Inconsistency Management in Model Driven Engineering An Approach using Description Logics"},{"key":"39_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-286-9","volume-title":"Graph Based Knowledge Representation","author":"M Chein","year":"2009","unstructured":"Chein, M., Mugnier, M.L.: Graph Based Knowledge Representation. Springer, London (2009). doi: 10.1007\/978-1-84800-286-9"},{"issue":"2","key":"39_CR8","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/A:1008718614166","volume":"6","author":"G Spanoudakis","year":"1999","unstructured":"Spanoudakis, G., Finkelsteain, A., Till, D.: Overlaps in requirements engineering. Autom. Softw. Eng. 6(2), 171\u2013198 (1999)","journal-title":"Autom. Softw. Eng."},{"key":"39_CR9","unstructured":"Liu, J., Tong, G., Li, M., Zang, F.: Ontology-based semantics reasoning of UML class diagram. Comput. Appl. Softw. 28(4) (2011)"},{"key":"39_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-45669-4_6","volume-title":"Object Modeling with the OCL","author":"M Gogolla","year":"2002","unstructured":"Gogolla, M., Richters, M.: Expressing UML class diagrams properties with OCL. In: Clark, T., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 85\u2013114. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45669-4_6"}],"container-title":["Communications in Computer and Information Science","Parallel Architecture, Algorithm and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-6442-5_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T00:33:32Z","timestamp":1750898012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-6442-5_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811064418","9789811064425"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-6442-5_39","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}