期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2019
卷号：97
期号：22
页码：3377-3385
出版社：Journal of Theoretical and Applied
摘要：It is well known that aspect orientation (AO) has the potential to support the continued smooth running of software programs. In AO, before developing a program that may need to be updated all the aspects (crosscutting concerns) contained therein must be meticulously assessed to ensure that a change to one or more of those aspects will not have an adverse effect on other parts of the program. To address this issue, in this paper, three main objectives are targeted. First, a formal representation for aspect-oriented unified modeling language (UML) design modeling diagrams is proposed in which context-free grammar (CFG) is used for the aspects. An aspect model encompasses pointcuts, advice, inter-model declarations and aspect precedence, as well as references the behaviors of other classes and aspects. To ensure that there is consistency in a system, the aspect-oriented UML design model of the system is converted into a CFG that consists of set of rules for all the strings that could be present in the formal language being assessed. Second, the extended Backus�Naur form (EBNF) is applied to represent the CFG rules for the aspect-oriented model. Third, the potential use of the proposed EBNF transformation for all aspect-oriented UML diagrams is investigated. This study is inspired by the results of existing research on object-oriented UML transformation using EBNF. As AO is an extension of object orientation, it seemed natural to extend the idea of using EBNF to AO and assess whether it would be beneficial in transforming aspect-oriented UML modeling diagrams.
