Reduciendo la ambigüedad en el modelo del dominio mediante invariantes OCL

Abstract

Uno de los principales inconvenientes en la especificación de requerimientos de software es que los diagramas pueden estar sujetos a interpretaciones subjetivas. Esto podría llevar a implementaciones que corren el riesgo de no cumplir con los requerimientos reales. Este artículo busca reducir la ambigüedad en la especificación de requerimientos mediante la aplicación del lenguaje de especificación formal OCL. Nuestro trabajo se ha centrado en la especificación de restricciones en forma de invariantes aplicado al Modelo del Dominio. La aplicación de OCL ayuda a que las reglas del negocio queden claras e explícitas como parte de la especificación.