Browsing by Author "Vidal-Duarte, Elizabeth"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
    (Universidad Inca Garcilaso de la Vega, 2011-10) Vidal-Duarte, Elizabeth; Mogrovejo Ramirez, César; Castro Gutierrez, Eveling
    Una de las herramientas más utilizadas para modelar los requerimientos funcionales es el Modelo del Dominio. Muchas veces, dependiendo de la complejidad de los requerimientos a ser modelados, no es posible que dicho modelo capture todos los detalles y restricciones relacionados. Esto puede causar que el Modelo del Dominio sea sujeto de interpretaciones subjetivas que conlleven a errores de implementación más adelante. Este artículo presenta una forma de reducir la ambigüedad en el Modelo del Dominio mediante el uso de especificaciones formales ligeras en VDM++. A modo de ejemplo, presentamos la especificación formal de un electrocardiógrafo digital. La especificación está basada en la descripción de las características del funcionamiento del electrocardiógrafo. Se pone especial atención en las características de la captura de la señal electrocardiográfica. Se ha identificado propiedades y restricciones importantes que permiten incrementar la confiabilidad al momento de la implementación. Las propiedades y restricciones se han especificado en forma de invariantes y precondiciones. La validación de la propuesta se realizó con la herramienta VDM++ToolBox.
  • Thumbnail Image
    Item
    Reduciendo la ambigüedad en el modelo del dominio mediante invariantes OCL
    (Universidad Inca Garcilaso de la Vega, 2009-11) Vidal-Duarte, Elizabeth
    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.