Incorporating aspects into UML state machine

Unified Modeling Language (UML) provided effective means for aspect-oriented modeling, among which UML state machine was designed to model for the dynamic behavior of the system. UML state machine, however, failed to explicitly support the modeling of a crosscutting feature. The paper, based on UML extension methods, firstly set up state class in supported aspect from level of state machine meta-model, and determined the association between core state class and aspect state class. Then, the core behavior and crosscutting behavior were separated from perspective of high-level view; combined with the message passing mechanism of state machine and a sequence control strategy, UML state machine view achieve the support of aspect; and aspect state machine model was formalized precisely by means of the behavioral semantics. The initial study shows that modeling of aspect state machine promoted the comprehensibility and extensibility of the design view.