Static Matching and Weaving Semantics in Activity Diagrams
Source of Publication
Aspect-Oriented Security Hardening of UML Design Models
In this chapter, we present formal specifications for aspect matching and weaving in UML activity diagrams. We formalize both types of adaptations, i.e., add adaptations and remove adaptations. For the join point model, we consider not only executable nodes, i.e., action nodes, but also various control nodes. In addition, we derive algorithms for matching and weaving based on the semantic rules. Finally, we prove the correctness and the completeness of these algorithms with respect to the proposed semantics.
Springer International Publishing
Mouheb, Djedjiga; Debbabi, Mourad; Pourzandi, Makan; Wang, Lingyu; Nouh, Mariam; Ziarati, Raha; Alhadidi, Dima; Talhi, Chamseddine; and Lima, Vitor, "Static Matching and Weaving Semantics in Activity Diagrams" (2015). All Works. 3197.
Indexed in Scopus