Resumen El Lenguaje de Restricción de Objetos (OCL) se ha convertido en un elemento clave de los enfoques de desarrollo de software de Ingeniería Dirigida por Modelos (MDE), lo que permite la especificación precisa de los requisitos de software y la definición independiente de la plataforma de diseños de software en modelos UML. UML y OCL también pueden utilizarse, en principio, para apoyar la representación semántica de sistemas de software, para el análisis de programas o la reingeniería de programas. En este artículo identificamos las extensiones y modificaciones de OCL estándar que son necesarias para representar con precisión la semántica de las aplicaciones de software. Definimos una versión extendida de OCL, AgileUML OCL, para la representación semántica de programas, y mostramos cómo este lenguaje extendido puede recibir una semántica matemática consistente con la semántica estándar de OCL.
Lano et al. (Mon,) estudiaron esta cuestión.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: