Aspect-oriented modeling: Applying aspecs-oriented UML use cases and extending aspects-z

dc.creatorVidal Silva, C.
dc.creatorSaens, R.
dc.creatorDel Rio, C.
dc.creatorVillarroel, R.
dc.date2013-11-25T00:27:14Z
dc.date2013-11-25T00:27:14Z
dc.date2013
dc.date.accessioned2017-03-07T15:00:28Z
dc.date.available2017-03-07T15:00:28Z
dc.identifierCOMPUTING AND INFORMATICS Volume: 32 Issue: 3 Pages: 573-593
dc.identifier1335-9150
dc.identifierhttp://dspace.utalca.cl/handle/1950/9505
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/376520
dc.descriptionVidal Silva, C (Vidal Silva, Cristian) ; Saens, R (Saens, Rodrigo) ; Del Rio, C (Del Rio, Carolina). Univ Talca, Talca, Chile.
dc.descriptionConsidering predominant aspect-oriented software development (asymmetric AOSD), this paper discusses the application of aspect-oriented UML use case diagrams and formal language AspectZ to part of a classic AOSD case study, the Health-Watcher software system. In addition, this article proposes an extension of AspectZ to reach a new property for asymmetric AOSD which reacts after a schema successfully finishes, or not, showing messages for that situation, with an implicit join point; and a way for generalizing similar operations in a system using AspectZ. Thus, the main goal of this article is to show the application of and differences between asymmetric aspect-oriented formal and non-formal modeling, and to highlight potential advantages of aspect-oriented formal modeling over aspect-oriented non-formal modeling. First, this article describes the main concepts of the classic AOSD paradigm focusing on problems unsolved by previous forms of software development and resolved by AOSD. Second, by applying aspect-oriented UML use case diagrams, this paper highlights the use of dominion classes and extend-relationships. Considering the Health-Watcher case study and an asymmetric AOSD approach, this study found that using extend-relationships in UML use cases does not completely follow the basic principles of the prevailing AOSD approach in which a base element does not know about aspects, whereas an extending use case must explicitly know its extension points. Third, this article shows a formal modeling of the case study using AspectZ. Moreover, extensions of this aspect-oriented formal language are proposed and applied to the same case study to show their practical properties for modeling. These extensions allow showing success or error messages, and inserting or not a new item in a set of elements to take care of invalid situations.
dc.languageen
dc.publisherSLOVAK ACAD SCIENCES INST INFORMATICS, DUBRAVSKA CESTA 9, 84237 BRATISLAVA, SLOVAKIA
dc.subjectAOSD
dc.subjectUML
dc.subjectaspect-oriented UML use cases
dc.subjectaspects
dc.subjectAspectZ
dc.subjectschema
dc.titleAspect-oriented modeling: Applying aspecs-oriented UML use cases and extending aspects-z
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución