Resumen de Extensión y Aplicación de AspectZ a la Administración de un Sistema de Fichas de Salud Electrónicas en Chile

Christian Vidal Silva, Carolina Del Río, Rodrigo Saens

• español

  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.

• English

  This paper presents an extension of AspectZ to model the requirements of software that manages a system of electronic health records in Chile: SYSFIC 1.0. AspectZ is an aspect-oriented language that preserves the basic characteristics of language Z and that aims to encapsulate cross-cutting concerns of a system into separate and independent entities. The application includes the use of Unified Modeling Language (UML) diagrams and a formal modeling of the system using AspectZ. The main features of the aspect-oriented modeling paradigm, such as the separation of concerns and the reduction and elimination of scattered and tangled code, are discussed. The results of this study show that the combination of aspect-oriented modeling and a formal method of software development allow obtaining more reliable solutions for critical information systems such as SYSFIC.