{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:56Z","timestamp":1750309376608,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T00:00:00Z","timestamp":1719187200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,24]]},"DOI":"10.1145\/3686397.3686415","type":"proceedings-article","created":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T04:28:51Z","timestamp":1732595331000},"page":"107-116","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification and Validation of Software System Class Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-1158-3950","authenticated-orcid":false,"given":"Kruti P","family":"Shah","sequence":"first","affiliation":[{"name":"Computer Science, University of North Dakota, Grand Forks, North Dakota, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0480-4239","authenticated-orcid":false,"given":"Emanuel S","family":"Grant","sequence":"additional","affiliation":[{"name":"Computer Science, University of North Dakota, Grand Forks, North Dakota, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,25]]},"reference":[{"key":"e_1_3_3_1_1_2","first-page":"415","volume-title":"Empirically Grounded Approach.\" In Simula Research Laboratory: by Thinking Constantly about it","author":"Software Lionel C.","year":"2009","unstructured":"Briand, Lionel C. \"Software Verification\u2014A Scalable, Model-Driven, Empirically Grounded Approach.\" In Simula Research Laboratory: by Thinking Constantly about it, pp. 415-442. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009."},{"key":"e_1_3_3_1_2_2","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."},{"key":"e_1_3_3_1_3_2","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."},{"key":"e_1_3_3_1_4_2","volume-title":"Verification and validation in systems engineering: assessing UML\/SysML design models","author":"Hassaine Fawzi","year":"2010","unstructured":"Debbabi, Mourad, Fawzi Hassaine, Yosr Jarraya, Andrei Soeanu, and Luay Alawneh. Verification and validation in systems engineering: assessing UML\/SysML design models. Springer Science & Business Media, 2010."},{"volume-title":"Verification and validation for quality of UML 2.0 models","year":"2005","key":"e_1_3_3_1_5_2","unstructured":"Unhelkar, Bhuvan. Verification and validation for quality of UML 2.0 models. John Wiley & Sons, 2005."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.03.003"},{"key":"e_1_3_3_1_7_2","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 4th Ed.. Prentice Hall, 2010. https:\/\/dl.acm.org\/doi\/10.5555\/1643764","edition":"4"},{"key":"e_1_3_3_1_8_2","unstructured":"Jacobson Lvar and James Rumbaugh Grady Booch. \"The unified modeling language reference manual.\" (2021)."},{"key":"e_1_3_3_1_9_2","first-page":"65","article-title":"Role of UML Class Diagram in Object-Oriented Software Development","volume":"44","author":"Sejans Janis","year":"2011","unstructured":"Nikiforova, Oksana, Janis Sejans, and Antons Cernickins. \"Role of UML Class Diagram in Object-Oriented Software Development.\" Sci. J. Riga Tech. Univ. Ser. Comput. Sci. 44 (2011): 65-74.","journal-title":"Sci. J. Riga Tech. Univ. Ser. Comput. Sci."},{"volume-title":"Modeling with UML","year":"2016","key":"e_1_3_3_1_10_2","unstructured":"Rumpe, Bernhard. Modeling with UML. Cham: Springer, 2016."},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.101425"},{"volume-title":"Springer","year":"2006","key":"e_1_3_3_1_12_2","unstructured":"Varr\u00f3, D\u00e1niel. \"Model transformation by example.\" In International Conference on Model Driven Engineering Languages and Systems, pp. 410-424. Springer, Berlin, Heidelberg, 2006."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0665-6"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"e_1_3_3_1_17_2","volume-title":"Systems and software verification: model-checking techniques and tools","author":"Bidoit Michel","year":"2013","unstructured":"B\u00e9rard, B\u00e9atrice, Michel Bidoit, Alain Finkel, Fran\u00e7ois Laroussinie, Antoine Petit, Laure Petrucci, and Philippe Schnoebelen. Systems and software verification: model-checking techniques and tools. Springer Science & Business Media, 2013."},{"key":"e_1_3_3_1_18_2","unstructured":"Parsa Masoumeh Marina Wald\u00e9n and Colin Snook. \"An Overview of Formal Specification Lan-guages and Tools Supporting Visualisation of System Development.\""},{"key":"e_1_3_3_1_19_2","volume-title":"Formal specification and documentation using Z: A case study approach","author":"Peter Jonathan","year":"1996","unstructured":"Bowen, Jonathan Peter. Formal specification and documentation using Z: A case study approach. Vol. 66. London: International Thomson Computer Press, 1996."},{"key":"e_1_3_3_1_20_2","first-page":"58","volume-title":"a definitive guide.\" In International school on formal methods for the design of computer, communication and software systems","author":"Gogolla Martin","year":"2012","unstructured":"Cabot, Jordi, and Martin Gogolla. \"Object constraint language (OCL): a definitive guide.\" In International school on formal methods for the design of computer, communication and software systems, pp. 58-90. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012."},{"key":"e_1_3_3_1_21_2","first-page":"524","article-title":"A comparative study of two formal specification languages: Z-notation & B-method","author":"Gulati Samridhi","year":"2012","unstructured":"Kaur, Arvinder, Samridhi Gulati, and Sarita Singh. \"A comparative study of two formal specification languages: Z-notation & B-method.\" In Proceedings of the second international conference on computational science, engineering and information technology, pp. 524-531. 2012.","journal-title":"Proceedings of the second international conference on computational science, engineering and information technology"},{"key":"e_1_3_3_1_22_2","first-page":"57","article-title":"A Comparison of Textual Modeling Languages: OCL, Alloy, FOML","author":"Bennett Phillipa","year":"2016","unstructured":"Balaban, Mira, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, and Michael Kifer. \"A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.\" In OCL@ MoDELS, pp. 57-72. 2016.","journal-title":"OCL@ MoDELS"},{"key":"e_1_3_3_1_23_2","volume-title":"Universidade Federal de Pernambuco","author":"Teles Siqueira","year":"2008","unstructured":"de Siqueira Teles, Fabr\u00edcio. \"Towards Model-Driven Engineering Constraint-Based Scheduling Applications.\" Master's thesis, Universidade Federal de Pernambuco, 2008."},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0920-5489(98)00020-8"},{"key":"e_1_3_3_1_25_2","first-page":"102","volume-title":"2nd IEEE Workshop on Industrial Strength Formal Specification Techniques","author":"Andy S.","year":"1998","unstructured":"Evans, Andy S. \"Reasoning with UML class diagrams.\" In Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, pp. 102-113. IEEE, 1998."},{"key":"e_1_3_3_1_26_2","first-page":"1","volume-title":"2nd Northern Formal Methods Workshop","author":"Clark T.","year":"1997","unstructured":"T. Clark and A. Evans, ``Foundations of the unified modeling language,'' in Proc. 2nd Northern Formal Methods Workshop. Ilkley, U.K.: Springer, Jul. 1997, pp. 1-15."},{"key":"e_1_3_3_1_27_2","volume-title":"The Z notation","author":"Michael J.","year":"1992","unstructured":"Spivey, J. Michael, and J. R. Abrial. The Z notation. Vol. 29. Hemel Hempstead: Prentice Hall, 1992."},{"key":"e_1_3_3_1_28_2","first-page":"2","article-title":"Finite satisfiability of UML class diagrams by Constraint Programming","volume":"2","author":"Calvanese Diego","year":"2004","unstructured":"Cadoli, Marco, Diego Calvanese, Giuseppe De Giacomo, and Toni Mancini. \"Finite satisfiability of UML class diagrams by Constraint Programming.\" CSP Techniques with Immediate Application (CSPIA) 2 (2004): 2-16.","journal-title":"CSP Techniques with Immediate Application (CSPIA)"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"Malgouyres Hugues and Gilles Motet. \"A UML model consistency verification approach based on meta-modeling formalization.\" In Proceedings of the 2006 ACM symposium on Applied computing pp. 1804-1809. 2006.","DOI":"10.1145\/1141277.1141703"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2018.08.005"},{"key":"e_1_3_3_1_31_2","first-page":"81","volume-title":"International Conference on Advanced Information Systems Engineering","author":"Teniente Ernest","year":"2006","unstructured":"Cabot, Jordi, and Ernest Teniente. \"Incremental evaluation of OCL constraints.\" In International Conference on Advanced Information Systems Engineering, pp. 81-95. Springer, Berlin, Heidelberg, 2006."},{"key":"e_1_3_3_1_32_2","volume-title":"IEEE","author":"Claris Robert","year":"2008","unstructured":"Cabot, Jordi, Robert Claris, and Daniel Riera. \"Verification of UML\/OCL class diagrams using constraint programming.\" In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, pp. 73-80. IEEE, 2008."},{"key":"e_1_3_3_1_33_2","first-page":"547","article-title":"UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming","author":"Claris\u00f3 Robert","year":"2007","unstructured":"Cabot, Jordi, Robert Claris\u00f3, and Daniel Riera. \"UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming.\" In Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering, pp. 547-548. 2007.","journal-title":"Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering"},{"key":"e_1_3_3_1_34_2","volume-title":"Springer","author":"Gonz\u00e1lez Carlos A.","year":"2015","unstructured":"Claris\u00f3, Robert, Carlos A. Gonz\u00e1lez, and Jordi Cabot. \"Towards domain refinement for UML\/OCL bounded verification.\" In SEFM 2015 Collocated Workshops, pp. 108-114. Springer, Cham, 2015."},{"key":"e_1_3_3_1_35_2","volume-title":"Software engineering: a practitioner's approach. Palgrave macmillan","author":"Roger","year":"2005","unstructured":"Pressman, Roger S. Software engineering: a practitioner's approach. Palgrave macmillan, 2005."},{"key":"e_1_3_3_1_36_2","first-page":"547","article-title":"Safety critical systems: challenges and directions","author":"John","year":"2002","unstructured":"Knight, John C. \"Safety critical systems: challenges and directions.\" In Proceedings of the 24th international conference on software engineering, pp. 547-550. 2002.","journal-title":"Proceedings of the 24th international conference on software engineering"},{"key":"e_1_3_3_1_37_2","volume-title":"IEEE","author":"Yin Wai","year":"2001","unstructured":"Mok, Wai Yin, and D. P. Paper. \"On transformations from UML models to object-relational databases.\" In Proceedings of the 34th Annual Hawaii International Conference on System Sciences, pp. 10-pp. IEEE, 2001."},{"key":"e_1_3_3_1_38_2","first-page":"89","volume-title":"Proceedings of the 6th International Conference on Information System and Data Mining","author":"Grant Emanuel","year":"2022","unstructured":"Shah, Kruti, and Emanuel Grant. \"Towards Simplifying and Formalizing UML Class Diagram Generalization\/Specialization Relationship with Mathematical Set Theory.\" In Proceedings of the 6th International Conference on Information System and Data Mining, pp. 89-94. 2022."},{"key":"e_1_3_3_1_39_2","volume-title":"The University of North Dakota","author":"Michael Jason","year":"2020","unstructured":"Hicks, Jason Michael. \"Automation And Visualization Of Program Correctness For Automatically Generating Code.\" PhD diss., The University of North Dakota, 2020."}],"event":{"name":"ICISDM 2024: 2024 the 8th International Conference on Information System and Data Mining","acronym":"ICISDM 2024","location":"Los Angeles CA USA"},"container-title":["Proceedings of the 2024 8th International Conference on Information System and Data Mining"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3686397.3686415","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3686397.3686415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:06:23Z","timestamp":1750291583000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3686397.3686415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,24]]},"references-count":39,"alternative-id":["10.1145\/3686397.3686415","10.1145\/3686397"],"URL":"https:\/\/doi.org\/10.1145\/3686397.3686415","relation":{},"subject":[],"published":{"date-parts":[[2024,6,24]]},"assertion":[{"value":"2024-11-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}