The aspect-oriented software development (AOSD) paradigm permits modularizing crosscutting concerns of base modules, a non-usual task in other software development paradigms. Since AOSD was born in the programming stage as an extension of an object-oriented (OO) programming language, and AOSD considers, in addition to base modules, new modules named aspects, then a complete AOSD process requires that each stage considers the base and aspect modules. Therefore, looking for an AOSD process, mainly to apply AOSD in other phases of the OO software development process, so far, different OO modeling tools and language extensions to support AOSD have been proposed. As an example, AspectZ is an extension of the formal language Z to support AOSD. To reach a transparency of concepts and design in AOSD, the main contribution of this article is to propose OOAspectZ, a formal language for the requirements specification stage of aspect-oriented (AO) software applications, that, firstly, extends AspectZ and, secondly, integrates Object-Z and AspectZ formal specifications. Thus, OOAspectZ supports relevant AO elements such as join points, and This and Target objects for join point events. As an application example, this article applies OOAspectZ to a system named GradUTalca for a Chilean university. For GradUTalca, this article presents AO UML use cases and UML class diagrams, formal Object-Z and OOAspectZ specifications, and a final woven specification to show an integration of Object-Z and OOAspectZ specifications.
Publié le : 2016-03-01
Classification:  Formal Methods, Software Engineering, Aspect-Oriented Modeling,  AspectZ, Object-Z, Z, aspects, crosscutting concerns
@article{cai1380,
     author = {Cristian Vidal Silva; Departamento de Computaci\'on e Inform\'atica, Facultad de Ingenier\'\i a, Universidad de Playa Ancha, Valpara\'\i so and Rodolfo Villarroel; Escuela de Ingenier\'\i a Inform\'atica, Facultad de Ingenier\'\i a, Pontificia Universidad Cat\'olica de Valpara\'\i so and Rodolfo Schmal Sim\'on; Ingenier\'\i a Inform\'atica Empresarial, Facultad de Econom\'\i a y Negocios, Universidad de Talca and Rodrigo Saens; Ingenier\'\i a Comercial, Facultad de Econom\'\i a y Negocios, Universidad de Talca and Tamara Tigero; Ingenier\'\i a Comercial, Facultad de Econom\'\i a y Negocios, Universidad de Talca and Carolina Del Rio; Ingenier\'\i a Comercial, Facultad de Econom\'\i a y Negocios, Universidad de Talca},
     title = {Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ},
     journal = {Computing and Informatics},
     volume = {34},
     number = {4},
     year = {2016},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai1380}
}
Cristian Vidal Silva; Departamento de Computación e Informática, Facultad de Ingeniería, Universidad de Playa Ancha, Valparaíso; Rodolfo Villarroel; Escuela de Ingeniería Informática, Facultad de Ingeniería, Pontificia Universidad Católica de Valparaíso; Rodolfo Schmal Simón; Ingeniería Informática Empresarial, Facultad de Economía y Negocios, Universidad de Talca; Rodrigo Saens; Ingeniería Comercial, Facultad de Economía y Negocios, Universidad de Talca; Tamara Tigero; Ingeniería Comercial, Facultad de Economía y Negocios, Universidad de Talca; Carolina Del Rio; Ingeniería Comercial, Facultad de Economía y Negocios, Universidad de Talca. Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ. Computing and Informatics, Tome 34 (2016) no. 4, . http://gdmltest.u-ga.fr/item/cai1380/