Titlebook: Aspect-Oriented Security Hardening of UML Design Models; Djedjiga Mouheb,Mourad Debbabi,Vitor Lima Book 2015 Springer International Publis

有特色

OUTRE

https://doi.org/10.1057/9780230292086e., 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 completen

essential-fats

撕裂皮肉

Jesper Andreasson,Thomas Johanssons 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.

optional

angina-pectoris

hypotension

http://image.papertrans.cn/b/image/163042.jpg

实现

Introduction,bines the promising model-driven engineering and the aspect-oriented paradigm to integrate security practices into the early phases of the software development process. In this context, it defines a practical and theoretical aspect-oriented modeling framework for the specification and systematic int

insidious

Unified Modeling Language,ts, and the main UML diagrams. Additionally, we present the standard UML extension mechanisms as well as OCL language. Moreover, we provide the necessary background on Executable UML and related standards, i.e., Foundational UML and Alf language.

圆锥体

Aspect-Oriented Paradigm,P models from a security perspective. Moreover, we present the main constructs of the pointcut-advice model that is adopted in our framework. Finally, we introduce the main concepts of Aspect-Oriented Modeling (AOM).