Static Matching and Weaving Semantics in Activity Diagrams

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 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.

DOI Link

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

Publisher

Springer International Publishing

First Page

137

Last Page

162

Disciplines

Computer Sciences

Recommended Citation

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

Indexed in Scopus

no

Open Access

no