{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:36:04Z","timestamp":1770284164553,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1950416"],"award-info":[{"award-number":["1950416"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2308741"],"award-info":[{"award-number":["2308741"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3639478.3640044","type":"proceedings-article","created":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T10:49:26Z","timestamp":1716461366000},"page":"114-118","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["TPV: A Tool for Validating Temporal Properties in UML Class Diagrams"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-0326-6363","authenticated-orcid":false,"given":"Mustafa","family":"Al Lail","sequence":"first","affiliation":[{"name":"School of Engineering, Texas A&M International University, Laredo, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3688-7961","authenticated-orcid":false,"given":"Antonio","family":"Viesca","sequence":"additional","affiliation":[{"name":"School of Engineering, Texas A&M International University, Laredo, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9746-2296","authenticated-orcid":false,"given":"Hector","family":"Cardenas","sequence":"additional","affiliation":[{"name":"Texas A&M International University, Laredo, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1169-9502","authenticated-orcid":false,"given":"Mohammad","family":"Zarour","sequence":"additional","affiliation":[{"name":"Hashemite University, Zarqa, Jordan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2852-2041","authenticated-orcid":false,"given":"Alfredo","family":"Perez","sequence":"additional","affiliation":[{"name":"University of Nebraska at Omaha, Omha, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Mustafa Al-Lail. 2013. A Framework for Specifying and Analyzing Temporal Properties of UML Class Models.. In MoDELS (Demos\/Posters\/StudentResearch). 112--117."},{"key":"e_1_3_2_1_3_1","volume-title":"Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. In 2013 18th International Conference on Engineering of Complex Computer Systems. IEEE, 246--251","author":"Al-Lail Mustafa","year":"2013","unstructured":"Mustafa Al-Lail, Ramadan Abdunabi, Robert B France, and Indrakshi Ray. 2013. Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. In 2013 18th International Conference on Engineering of Complex Computer Systems. IEEE, 246--251."},{"key":"e_1_3_2_1_4_1","unstructured":"Mustafa Al-Lail Ramadan Abdunabi Robert B France Indrakshi Ray and F Boulanger. 2013. An Approach to Analyzing Temporal Properties in UML Class Models.. In MoDeVVa@MoDELS. Citeseer 77--86."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2014.56"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239389"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0330-z"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00773-6"},{"key":"e_1_3_2_1_9_1","volume-title":"The birth of model checking. In 25 Years of Model Checking","author":"Clarke Edmund M","unstructured":"Edmund M Clarke. 2008. The birth of model checking. In 25 Years of Model Checking. Springer, 1--26."},{"key":"e_1_3_2_1_10_1","volume-title":"Workshop on logic of programs. Springer, 52--71","author":"Clarke Edmund M","year":"1981","unstructured":"Edmund M Clarke and E Allen Emerson. 1981. Design and synthesis of synchronization skeletons using branching time temporal logic. In Workshop on logic of programs. Springer, 52--71."},{"key":"e_1_3_2_1_11_1","volume-title":"International Conference on Enterprise Information Systems. Springer.","author":"Combemale Benoit","year":"2007","unstructured":"Benoit Combemale, Xavier Cr\u00e9gut, Pierre-Lo\u00efc Garoche, Xavier Thirioux, and Francois Vernadat. 2007. A property-driven approach to formal verification of process models. In International Conference on Enterprise Information Systems. Springer."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0635-4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_14_1","volume-title":"Future of Software Engineering (FOSE'07)","author":"France Robert","unstructured":"Robert France and Bernhard Rumpe. 2007. Model-driven development of complex software: A research roadmap. In Future of Software Engineering (FOSE'07). IEEE."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0591-z"},{"key":"e_1_3_2_1_16_1","unstructured":"Richard C Gronback. 2009. Eclipse modeling project: a domain-specific language (DSL) toolkit. Pearson Education."},{"key":"e_1_3_2_1_17_1","volume-title":"2016 Euromicro Conference on Digital System Design (DSD). IEEE, 708--713","author":"Hilken Frank","year":"2016","unstructured":"Frank Hilken and Martin Gogolla. 2016. Verifying linear temporal logic properties in UML\/OCL class diagrams using filmstripping. In 2016 Euromicro Conference on Digital System Design (DSD). IEEE, 708--713."},{"key":"e_1_3_2_1_18_1","volume-title":"Software Abstractions: logic, language, and analysis","author":"Jackson Daniel","unstructured":"Daniel Jackson. 2012. Software Abstractions: logic, language, and analysis. MIT press."},{"key":"e_1_3_2_1_19_1","volume-title":"International Conference on Software Language Engineering. Springer, 83--103","author":"Kanso Bilal","year":"2012","unstructured":"Bilal Kanso and Safouan Taha. 2012. Temporal constraint support for OCL. In International Conference on Software Language Engineering. Springer, 83--103."},{"key":"e_1_3_2_1_20_1","volume-title":"International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Springer, 290--306","author":"Kuhlmann Mirco","year":"2011","unstructured":"Mirco Kuhlmann, Lars Hamann, and Martin Gogolla. 2011. Extensive validation of OCL models by integrating SAT solving into USE. In International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Springer, 290--306."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.14"},{"key":"e_1_3_2_1_23_1","volume-title":"Object Constraint Language 2.4.1","unstructured":"2014. Object Constraint Language 2.4.1. Object Management Group (OMG). https:\/\/www.omg.org\/spec\/OCL\/2.4\/About-OCL\/"},{"key":"e_1_3_2_1_24_1","unstructured":"OMG. 2016. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification Version 1.3. https:\/\/www.omg.org\/spec\/QVT\/1.3\/"},{"key":"e_1_3_2_1_25_1","volume-title":"The definitive ANTLR 4 reference. The Definitive ANTLR 4 Reference","author":"Parr Terence","year":"2013","unstructured":"Terence Parr. 2013. The definitive ANTLR 4 reference. The Definitive ANTLR 4 Reference (2013), 1--326."},{"key":"e_1_3_2_1_26_1","volume-title":"2013 35th international conference on software engineering (icse). IEEE.","author":"Petre Marian","year":"2013","unstructured":"Marian Petre. 2013. UML in practice. In 2013 35th international conference on software engineering (icse). IEEE."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_28_1","volume-title":"International Conference on Model Driven Engineering Languages and Systems. Springer, 172--185","author":"Porres Ivan","year":"2009","unstructured":"Ivan Porres and Irum Rauf. 2009. Generating class contracts from deterministic UML protocol statemachines. In International Conference on Model Driven Engineering Languages and Systems. Springer, 172--185."},{"key":"e_1_3_2_1_29_1","volume-title":"International Conference on Business Process Modeling, Development and Support, International Conference on Evaluation and Modeling Methods for Systems Analysis and Development. Springer, 335--349","author":"Verbruggen Charlotte","year":"2021","unstructured":"Charlotte Verbruggen and Monique Snoeck. 2021. Model-driven engineering: A state of affairs and research agenda. In International Conference on Business Process Modeling, Development and Support, International Conference on Evaluation and Modeling Methods for Systems Analysis and Development. Springer, 335--349."},{"key":"e_1_3_2_1_30_1","volume-title":"2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 228--235","author":"Weber Thomas","year":"2019","unstructured":"Thomas Weber, Alois Zoitl, and Heinrich Hu\u00dfmann. 2019. Usability of development tools: A case-study. In 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 228--235."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_17"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","first-page":"2787","DOI":"10.12928\/telkomnika.v18i5.16061","article-title":"A rigorous user needs experience evaluation method based on software quality standards","volume":"18","author":"Zarour Mohammad","year":"2020","unstructured":"Mohammad Zarour. 2020. A rigorous user needs experience evaluation method based on software quality standards. TELKOMNIKA (Telecommunication Computing Electronics and Control) 18, 5 (2020), 2787--2799.","journal-title":"TELKOMNIKA (Telecommunication Computing Electronics and Control)"},{"key":"e_1_3_2_1_34_1","volume-title":"International Andrei Ershov Memorial Conference on Perspectives of System Informatics. Springer, 351--357","author":"Ziemann Paul","year":"2003","unstructured":"Paul Ziemann and Martin Gogolla. 2003. OCL extended with temporal logic. In International Andrei Ershov Memorial Conference on Perspectives of System Informatics. Springer, 351--357."}],"event":{"name":"ICSE-Companion '24: 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings","location":"Lisbon Portugal","acronym":"ICSE-Companion '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3640044","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639478.3640044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:36Z","timestamp":1750291416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3640044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":33,"alternative-id":["10.1145\/3639478.3640044","10.1145\/3639478"],"URL":"https:\/\/doi.org\/10.1145\/3639478.3640044","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}