An Aspect-Oriented Modeling Approach

摘要

Aspect-oriented modeling techniques have been proposed as solutions to separate core and crosscut concerns in the early phases of software development. However, it is not easy to weave different models and verify the correctness of woven model. This paper introduces an aspect-oriented analyzing, modeling and verifying approach to solve the above questions based on use cases and state charts. The water pump example shows the model is effective.