Reduciendo la ambigüedad en el modelo del dominio mediante invariantes OCL
Date
2009-11
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Inca Garcilaso de la Vega
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.
Description
Presentación que se llevó a cabo durante el I Congreso Internacional de Computación y Telecomunicaciones COMTEL 2009 del 18 al 20 de noviembre de 2009 en Lima, Perú. COMTEL, es un certamen organizado por la Facultad de Ingeniería de Sistemas, Cómputo y Telecomunicaciones de la Universidad Inca Garcilaso de la Vega, que congrega a profesionales, investigadores y estudiantes de diversos países con el fin de difundir e intercambiar conocimientos, mostrar experiencias académicas-científicas y soluciones para empresas en las áreas de Computación, Telecomunicaciones y disciplinas afines.
Keywords
Ingeniería de Sistemas, Computación, Ingeniería de programas informáticos, Modelos, Análisis de sistemas, Especificación de requerimientos, Especificación formal, Ingeniería del software, OCL, Modelamiento, Métodos formales, Computer sciences, Software engineering, Models