Abstract:Dealing with crosscutting concerns has been a critical problem in software development processes. To facilitate handling crosscutting concerns at design phases, we proposed an aspect-oriented modeling and integration approach with UML activity diagrams. The primary concerns are depicted with UML activity diagrams as primary models, whereas crosscutting concerns are described with aspectual extended activity diagrams as aspect models. Aspect models can be integrated into primary models automatically. The AOM approach can reduce the complexity of design models. However, potential faults that violate desired properties of the software system might still be introduced during the modeling or integration processes. The verification technique is well-known for its ability to assure the correctness of models and uncover design problems before implementation. We propose a framework to verify aspect-oriented UML activity diagrams based on Petri net verification techniques. For verification purpose, we transform the integrated activity diagrams into Petri nets and prove the consistency of the transformation. Then, crosscutting concerns in system requirements are refined to properties in the form of CTL formulas. Finally, the Petri nets are verified against the formalized properties to report whether the aspect-oriented design models satisfies the requirements. Furthermore, we implement a tool named Jasmine-AOV to support the verification process. Case studies are conducted to evaluate the effectiveness of the proposed approach.

A Use-Case Driven Approach to Supporting Separation of Concerns on Requirements

Extended Use Case Points Method for Software Cost Estimation

Automatic Early Defects Detection in Use Case Documents

A Practical Use Case Modeling Approach to Specify Crosscutting Concerns.

On Composition and Reuse of Aspects

A Practical Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications

Bridging the gap between requirements and aspect state machines to support non-functional testing: industrial case studies

ABC-S~2C: Enabling Separation of Crosscutting Concerns in Component-Based Software Development

A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation

Modeling and Integrating Aspects with UML Activity Diagrams

"Use Case+Control Case" Driven Approach for Software Analysis and Design

Verifying Aspect-Oriented Models Against Crosscutting Properties

An Approach to Generate Test Cases Based on UML Sequence Diagrams

Automatic identification of use cases from codes: A user’s goal driven approach

A Concern-Based Approach to Generating Formal Requirements Specifications.

Viewing use cases as active objects.

A Use Case Based Approach to Feature Models' Construction

Essential Use Case Based Software Requirements Analysis and Elicitation

Reusable Use Case and Test Case Specification Modeling

Identifying use cases in source code

A Service-Oriented Analysis and Modeling Using Use Case Approach