Transformation of TOCL temporal properties into OCL

Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo Perez. Transformation of TOCL temporal properties into OCL. In Thomas Kühn 0001, Vasco Sousa, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 899-907, ACM, 2022. [doi]

Abstract

Abstract is missing.