{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:59Z","timestamp":1750220159302,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,27]],"date-time":"2022-05-27T00:00:00Z","timestamp":1653609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,27]]},"DOI":"10.1145\/3546157.3546171","type":"proceedings-article","created":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T15:46:25Z","timestamp":1661183185000},"page":"89-94","source":"Crossref","is-referenced-by-count":2,"title":["Towards Simplifying and Formalizing UML Class Diagram Generalization\/Specialization Relationship with Mathematical Set Theory"],"prefix":"10.1145","author":[{"given":"Kruti","family":"Shah","sequence":"first","affiliation":[{"name":"School of Electrical Engineering and Computer Science, University of North Dakota, United States"}]},{"given":"Emanuel","family":"Grant","sequence":"additional","affiliation":[{"name":"School of Electrical Engineering and Computer Science, University of North Dakota, United States"}]}],"member":"320","published-online":{"date-parts":[[2022,8,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Unified Modeling Language","author":"Booch G.","year":"1997","unstructured":"G. Booch , J. Rumbaugh , and I. Jacobson , The Unified Modeling Language , Rational Software Corporation , Addison- Wesley, Indiana, USA , 1997 . G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language, Rational Software Corporation, Addison-Wesley, Indiana, USA, 1997."},{"key":"e_1_3_2_1_2_1","volume-title":"Unified Modeling Language Specification. Version 2.5","author":"Object Modeling Group","year":"2012","unstructured":"Object Modeling Group . Unified Modeling Language Specification. Version 2.5 . October 2012 . Object Modeling Group. Unified Modeling Language Specification. Version 2.5. October 2012."},{"key":"e_1_3_2_1_3_1","first-page":"179","volume-title":"June","author":"Gutwenger C.","year":"2003","unstructured":"C. Gutwenger , M. J\u00fcnger , K. Klein , J. Kupke , S. Leipert , and P. Mutzel . \" A New Approach for Visualizing UML Class Diagrams.\"Proc ACM Symp. Software Visualization (SOFTVIS03) , June 2003 , Association for Computing Machinery , pp. 179 - 188 . C. Gutwenger, M. J\u00fcnger, K. Klein, J. Kupke, S. Leipert, and P. Mutzel. \"A New Approach for Visualizing UML Class Diagrams.\"Proc ACM Symp. Software Visualization (SOFTVIS03), June 2003, Association for Computing Machinery, pp. 179-188."},{"key":"e_1_3_2_1_4_1","volume-title":"USA","author":"Grant E. S.","year":"2003","unstructured":"E. S. Grant , J. Whittle and R. Chennamaneni , \" Checking Program Synthesizer Input\/Output,\" in Generative Programming and Component Engineering (GPCE), Anaheim, CA , USA , 2003 . E. S. Grant, J. Whittle and R. Chennamaneni, \"Checking Program Synthesizer Input\/Output,\" in Generative Programming and Component Engineering (GPCE), Anaheim, CA, USA, 2003."},{"key":"e_1_3_2_1_5_1","volume-title":"Software Engineering: Theory and Practice","author":"Pfleeger S. L.","year":"2010","unstructured":"S. L. Pfleeger , and J. M. Atlee . Software Engineering: Theory and Practice 4 th Ed.. Prentice Hall , 2010 . S. L. Pfleeger, and J. M. Atlee. Software Engineering: Theory and Practice 4th Ed.. Prentice Hall, 2010.","edition":"4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/547639"},{"issue":"1","key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/52.43044","article-title":"\"Reverse engineering and design recovery: A taxonomy","volume":"7","author":"Elliot","year":"1990","unstructured":"Chikofsky, Elliot J., and James H. Cross . \"Reverse engineering and design recovery: A taxonomy .\" IEEE software 7 , no. 1 ( 1990 ): 13 - 17 . Chikofsky, Elliot J., and James H. Cross. \"Reverse engineering and design recovery: A taxonomy.\" IEEE software 7, no. 1 (1990): 13-17.","journal-title":"IEEE software"},{"key":"e_1_3_2_1_8_1","first-page":"446","volume-title":"A graph transformation environment for modeling and validation of software.\" In International Workshop on Applications of Graph Transformations with Industrial Relevance","author":"Taentzer G.","year":"2003","unstructured":"G. Taentzer . \"AGG : A graph transformation environment for modeling and validation of software.\" In International Workshop on Applications of Graph Transformations with Industrial Relevance , pp. 446 - 453 . Springer , Berlin, Heidelberg , 2003 . G. Taentzer. \"AGG: A graph transformation environment for modeling and validation of software.\" In International Workshop on Applications of Graph Transformations with Industrial Relevance, pp. 446-453. Springer, Berlin, Heidelberg, 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1109\/CEC-EAST.2004.70","article-title":"Towards formal verification of UML diagrams based on graph transformation","author":"Zhao Y.","year":"2004","unstructured":"Y. Zhao , Y. Fan , X. Bai , Y. Wang , H. Cai , and W. Ding . \" Towards formal verification of UML diagrams based on graph transformation .\" In IEEE International Conference on E-Commerce Technology for Dynamic E-Business , pp. 180 - 187 . IEEE, 2004 . Y. Zhao, Y. Fan, X. Bai, Y. Wang, H. Cai, and W. Ding. \"Towards formal verification of UML diagrams based on graph transformation.\" In IEEE International Conference on E-Commerce Technology for Dynamic E-Business, pp. 180-187. IEEE, 2004.","journal-title":"IEEE International Conference on E-Commerce Technology for Dynamic E-Business"},{"issue":"6","key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.5121\/ijsea.2012.3604","article-title":"Model checking and code generation for UML diagrams using graph transformation","volume":"3","author":"Chama W.","year":"2012","unstructured":"W. Chama , R. Elmansouri , and A. Chaoui . \" Model checking and code generation for UML diagrams using graph transformation .\" International Journal of Software Engineering & Applications 3 , no. 6 , 2012 . W. Chama, R. Elmansouri, and A. Chaoui. \"Model checking and code generation for UML diagrams using graph transformation.\" International Journal of Software Engineering & Applications 3, no. 6, 2012.","journal-title":"International Journal of Software Engineering & Applications"},{"issue":"21","key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.5120\/16721-7063","article-title":"Towards an automatic evaluation of UML class diagrams by graph transformation","volume":"95","author":"Outair A.","year":"2014","unstructured":"A. Outair , L. Abdelouahid , and T. Mariam . \" Towards an automatic evaluation of UML class diagrams by graph transformation .\" International Journal of Computer Applications 95 , no. 21 , 2014 . A. Outair, L. Abdelouahid, and T. Mariam. \"Towards an automatic evaluation of UML class diagrams by graph transformation.\" International Journal of Computer Applications 95, no. 21, 2014.","journal-title":"International Journal of Computer Applications"},{"key":"e_1_3_2_1_12_1","volume-title":"IEEE","author":"Brada Premek","year":"2016","unstructured":"Herout, Pavel, and Premek Brada . \"Uml-test application for automated validation of students' uml class diagram.\" In 2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET), pp. 222-226 . IEEE , 2016 . Herout, Pavel, and Premek Brada. \"Uml-test application for automated validation of students' uml class diagram.\" In 2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET), pp. 222-226. IEEE, 2016."},{"issue":"2","key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"189","DOI":"10.25007\/ajnu.v10n2a1035","article-title":"A Tool to Automate Student UML diagram Evaluation","volume":"10","author":"Taher Hanan Abdulrahman","year":"2021","unstructured":"Modi, Salisu, Hanan Abdulrahman Taher , and Hoger Mahmud . \" A Tool to Automate Student UML diagram Evaluation .\" Academic Journal of Nawroz University 10 , no. 2 ( 2021 ): 189 - 198 . Modi, Salisu, Hanan Abdulrahman Taher, and Hoger Mahmud. \"A Tool to Automate Student UML diagram Evaluation.\" Academic Journal of Nawroz University 10, no. 2 (2021): 189-198.","journal-title":"Academic Journal of Nawroz University"},{"key":"e_1_3_2_1_14_1","volume-title":"IEEE","author":"Alam Omar","year":"2019","unstructured":"Bian, Weiyi, Omar Alam , and J\u00f6rg Kienzle . \"Automated grading of class diagrams.\" In 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 700-709 . IEEE , 2019 . Bian, Weiyi, Omar Alam, and J\u00f6rg Kienzle. \"Automated grading of class diagrams.\" In 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 700-709. IEEE, 2019."},{"key":"e_1_3_2_1_15_1","series-title":"Undergraduate Topics in Computer Science series","volume-title":"Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications","author":"O'Regan G.","year":"2017","unstructured":"G. O'Regan , Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications , Undergraduate Topics in Computer Science series , Springer International Publishing , 2017 . G. O'Regan, Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications, Undergraduate Topics in Computer Science series, Springer International Publishing, 2017."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.56021\/9780801874345","volume-title":"Cogwheels of the Mind: The Story of Venn Diagrams","author":"Edwards A. W. F.","year":"2004","unstructured":"A. W. F. Edwards , Cogwheels of the Mind: The Story of Venn Diagrams 1 st Ed., John Hopkins University Press , Baltimore, USA & London, UK, 2004 . A. W. F. Edwards, Cogwheels of the Mind: The Story of Venn Diagrams 1st Ed., John Hopkins University Press, Baltimore, USA & London, UK, 2004.","edition":"1"},{"volume-title":"Software-Research Crisis","author":"Glass R. L.","key":"e_1_3_2_1_17_1","unstructured":"R. L. Glass ,The \u201c Software-Research Crisis \u201d, IEEE Software, IEEE Computer Society Press , California, USA, vol. 11 . No. 6, pp, 42-47, 1997. R. L. Glass,The \u201cSoftware-Research Crisis\u201d, IEEE Software, IEEE Computer Society Press, California, USA, vol. 11. No. 6, pp, 42-47, 1997."}],"event":{"name":"ICISDM 2022: 2022 the 6th International Conference on Information System and Data Mining","acronym":"ICISDM 2022","location":"Silicon Valley CA USA"},"container-title":["2022 the 6th International Conference on Information System and Data Mining"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546157.3546171","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3546157.3546171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:23Z","timestamp":1750186823000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546157.3546171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,27]]},"references-count":17,"alternative-id":["10.1145\/3546157.3546171","10.1145\/3546157"],"URL":"https:\/\/doi.org\/10.1145\/3546157.3546171","relation":{},"subject":[],"published":{"date-parts":[[2022,5,27]]}}}