Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.
Zhanqi CuiLinzhang WangXi LiuLei BuJianhua ZhaoXuandong LiPublished in: SEKE (2012)
Keyphrases
- aspect oriented
- petri net
- sequence diagrams
- activity diagrams
- object oriented
- crosscutting concerns
- software development
- business applications
- petri net model
- aspect oriented programming
- development process
- service composition
- class diagrams
- colored petri nets
- software engineering
- software product line
- fuzzy petri net
- model checking
- expert systems
- process model
- business process
- class diagram
- relational databases