Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines.
Gefei ZhangPublished in: ECMFA (2012)
Keyphrases
- state machines
- sequence diagrams
- mutual exclusion
- state machine
- aspect oriented
- long distance
- software development
- modeling language
- petri net
- intermediate representation
- object oriented
- regression testing
- crosscutting concerns
- software systems
- finite state machines
- aspect oriented programming
- domain independent
- machine learning
- dependency graph
- software projects
- recurrent networks
- fault tolerant
- test cases
- domain specific
- high level
- artificial intelligence