Requirement and Interaction Analysis Using Aspect-Oriented Modeling

Aspect-oriented modeling (AOM) has been developed to modularize crosscutting concerns appropriately in UML models. In software engineering, aspects are concerns that cut across multiple modules. In requirements modeling, we analyze interactions and potential inconsistencies. We use UML to model requirements in a use case driven approach. During requirements specification a structural model of the problem domain is captured with a class diagram. Use cases refined by activities are the join points to compose crosscutting concerns. Graph transformation systems provide analysis support for detecting potential conflicts and dependencies between rule-based transformations.