Dynamic Matching and Weaving Semantics in Executable UML
Source of Publication
Aspect-Oriented Security Hardening of UML Design Models
In this chapter, we elaborate a denotational semantics for aspect matching and weaving in Executable UML (xUML). More precisely, we specify xUML models using the standard Action Language for Foundational UML (Alf). As we did in the previous chapter, we start by formalizing the matching and the weaving processes for basic pointcuts. Then, we elaborate the semantics for the dataflow pointcut, which is relevant from a security perspective.
Springer International Publishing
Mouheb, Djedjiga; Debbabi, Mourad; Pourzandi, Makan; Wang, Lingyu; Nouh, Mariam; Ziarati, Raha; Alhadidi, Dima; Talhi, Chamseddine; and Lima, Vitor, "Dynamic Matching and Weaving Semantics in Executable UML" (2015). All Works. 1355.
Indexed in Scopus