Resumen

VIDAL, Cristian; DEL RIO, Carolina  y  SAENS, Rodrigo. Extensión y Aplicación de AspectZ a la Administración de un Sistema de Fichas de Salud Electrónicas en Chile . Inf. tecnol. [online]. 2012, vol.23, n.5, pp. 23-32. ISSN 0718-0764.  doi: 10.4067/S0718-07642012000500004.

Este artículo presenta una extensión de AspectZ con el objetivo de modelar los requerimientos del software que administra un sistema de fichas electrónicas de salud en Chile: SYSFIC 1.0. AspectZ es un lenguaje de especificación formal orientado a aspectos que preserva las características bases del lenguaje Z y que ayuda a encapsular incumbencias transversales del sistema en entidades separadas e independientes. La aplicación incluye el uso de diagramas con Lenguaje Unificado de Modelado (LUM) y un modelado formal del sistema con AspectZ. Se discuten, además, las principales características del paradigma de modelado orientado a aspectos, como la separación incumbencias y la solución de los problemas del código disperso y enmarañado. Los resultados de este trabajo muestran que la unión del modelado orientado a aspectos y de un método formal de desarrollo de software permite obtener soluciones más confiables para sistemas de información críticos como SYSFIC.

Palabras clave : AspectZ; modelación orientada a aspectos; lenguaje unificado de modelado; SYSFIC.