The Community for Technology Leaders
2013 21st IEEE International Requirements Engineering Conference (RE) (2006)
Minneapolis/St. Paul, Minnesota, USA
Sept. 11, 2006 to Sept. 15, 2006
ISSN: 1090-705X
ISBN: 0-7695-2555-5
pp: 69-78
Katharina Mehner , Technical University of Berlin, Germany
Mattia Monga , Universita degli Studi di Milano, Italy
Gabriele Taentzer , Technical University of Berlin, Germany
<p>Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between aspects and base entities may reduce the value of aspect-oriented separation of cross-cutting concerns. Some interactions may be intended or may be emerging behavior, while others are the source of unexpected inconsistencies. It is therefore desirable to detect inconsistencies as early as possible, preferably at the modeling level.</p> <p>We propose an approach for analyzing interactions and potential inconsistencies at the level of requirements modeling. We use a variant of UML to model requirements in a use case driven approach. Activities that are used to refine use cases are the join points to compose crosscutting concerns. The activities and their composition are formalized using the theory of graph transformation systems, which provides analysis support for detecting potential conflicts and dependencies between rule-based transformations. This theory is used to effectively reason about potential interactions and inconsistencies caused by aspectoriented composition. The analysis is performed with the graph transformation tool AGG. The automatically analyzed conflicts and dependencies also serve as an additional view that helps in better understanding the potential behavior of the composed system.</p>
Katharina Mehner, Mattia Monga, Gabriele Taentzer, "Interaction Analysis in Aspect-Oriented Models", 2013 21st IEEE International Requirements Engineering Conference (RE), vol. 00, no. , pp. 69-78, 2006, doi:10.1109/RE.2006.35
89 ms
(Ver 3.3 (11022016))