Dynamic Matching and Weaving Semantics in Executable UML

Author First name, Last name, Institution

Djedjiga Mouheb
Mourad Debbabi
Makan Pourzandi
Lingyu Wang
Mariam Nouh
Raha Ziarati
Dima Alhadidi
Chamseddine Talhi
Vitor Lima

Document Type

Book Chapter

Source of Publication

Aspect-Oriented Security Hardening of UML Design Models

Publication Date

4-11-2015

Abstract

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.

DOI Link

10.1007/978-3-319-16106-8_10

Publisher

Springer International Publishing

First Page

193

Last Page

213

Disciplines

Computer Sciences

Recommended Citation

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.
https://zuscholars.zu.ac.ae/works/1355

Indexed in Scopus

no

Open Access

no