{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:20:38Z","timestamp":1770279638859,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"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":["HRD-1911375 and 1950416"],"award-info":[{"award-number":["HRD-1911375 and 1950416"]}],"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":[[2022,10,23]]},"DOI":"10.1145\/3550356.3563132","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"899-907","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Transformation of TOCL temporal properties into OCL"],"prefix":"10.1145","author":[{"given":"Mustafa Al","family":"Lail","sequence":"first","affiliation":[{"name":"Texas A&M International University"}]},{"given":"Antonio","family":"Rosales","sequence":"additional","affiliation":[{"name":"Texas A&M International University"}]},{"given":"Hector","family":"Cardenas","sequence":"additional","affiliation":[{"name":"Texas A&M International University"}]},{"given":"Lars","family":"Hamann","sequence":"additional","affiliation":[{"name":"Hamburg Univ. of Applied Sciences, Hamburg, Germany"}]},{"given":"Alfredo","family":"Perez","sequence":"additional","affiliation":[{"name":"University of Nebraska at Omaha"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027227"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa","author":"Al-Lail Mustafa","year":"2013","unstructured":"Mustafa Al-Lail , Ramadan Abdunabi , Robert B. France , and Indrakshi Ray . 2013. An Approach to Analyzing Temporal Properties in UML Class Models . In Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013 , co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1st, 2013 (CEUR Workshop Proceedings , Vol. 1069), Fr\u00e9d\u00e9ric Boulanger, Michalis Famelis, and Daniel Ratiu (Eds.). CEUR-WS.org, 77-- 86 . http:\/\/ceur-ws.org\/Vol-1069\/11-paper.pdf Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, and Indrakshi Ray. 2013. An Approach to Analyzing Temporal Properties in UML Class Models. In Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1st, 2013 (CEUR Workshop Proceedings, Vol. 1069), Fr\u00e9d\u00e9ric Boulanger, Michalis Famelis, and Daniel Ratiu (Eds.). CEUR-WS.org, 77--86. http:\/\/ceur-ws.org\/Vol-1069\/11-paper.pdf"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2013.43"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2014.56"},{"key":"e_1_3_2_1_6_1","unstructured":"Kyriakos Anastasakis. 2009. A Model Driven Approach for the Automated Analysis of UML Class Diagrams. Ph. D. Dissertation. School of Computer Science.  Kyriakos Anastasakis. 2009. A Model Driven Approach for the Automated Analysis of UML Class Diagrams. Ph. D. Dissertation. School of Computer Science."},{"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\/3-540-45923-5_14"},{"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. 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","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88710-2_23"},{"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","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0026-x"},{"key":"e_1_3_2_1_15_1","volume-title":"UML distilled: a brief guide to the standard object modeling language","author":"Fowler Martin","unstructured":"Martin Fowler . 2004. UML distilled: a brief guide to the standard object modeling language . Addison-Wesley Professional . Martin Fowler. 2004. UML distilled: a brief guide to the standard object modeling language. Addison-Wesley Professional."},{"key":"e_1_3_2_1_16_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 , 37--54. Robert France and Bernhard Rumpe. 2007. Model-driven development of complex software: A research roadmap. In Future of Software Engineering (FOSE'07). IEEE, 37--54."},{"key":"e_1_3_2_1_17_1","volume-title":"France","author":"Gogolla Martin","year":"2014","unstructured":"Martin Gogolla , Lars Hamann , Frank Hilken , Mirco Kuhlmann , and Robert B . France . 2014 . From Application Models to Filmstrip Models : An Approach to Automatic Validation of Model Dynamics. In Modellierung 2014, 19.-21. M\u00e4rz 2014, Wien, \u00d6sterreich (LNI , Vol. P-225), Hans-Georg Fill, Dimitris Karagiannis, and Ulrich Reimer (Eds.). GI, 273-- 288 . https:\/\/dl.gi.de\/20.500.12116\/17056 Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, and Robert B. France. 2014. From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. In Modellierung 2014, 19.-21. M\u00e4rz 2014, Wien, \u00d6sterreich (LNI, Vol. P-225), Hans-Georg Fill, Dimitris Karagiannis, and Ulrich Reimer (Eds.). GI, 273--288. https:\/\/dl.gi.de\/20.500.12116\/17056"},{"key":"e_1_3_2_1_18_1","unstructured":"Richard C Gronback. 2009. Eclipse modeling project: a domain-specific language (DSL) toolkit. Pearson Education.  Richard C Gronback. 2009. Eclipse modeling project: a domain-specific language (DSL) toolkit. Pearson Education."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2016.42"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36089-3_6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21952-8_21"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_1"},{"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\/ 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\/  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. Terence Parr. 2013. The definitive ANTLR 4 reference. The Definitive ANTLR 4 Reference (2013), 1--326."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_14"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_17"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39866-0_35"}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada","acronym":"MODELS '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"]},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3563132","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3563132","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3563132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:11Z","timestamp":1750182551000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3563132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":28,"alternative-id":["10.1145\/3550356.3563132","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3563132","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}