versión On-line ISSN 0718-0764
VIDAL, Cristian; DEL RIO, Carolina y SAENS, Rodrigo. Extension and Application of AspectZ to the Management of an Electronic Health Card System in Chile. Inf. tecnol. [online]. 2012, vol.23, n.5, pp. 23-32. ISSN 0718-0764. http://dx.doi.org/10.4067/S0718-07642012000500004.
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.
Palabras llave : AspectZ; aspect-oriented modeling; unified modeling language; SYSFIC.