Paper Info
Title
Aspect-Oriented Semantic Framework for Executable Models
Abstract
Aspect-Oriented Modeling (AOM) has gained a lot of attention from researchers. It emerged as an appropriate paradigm to improve the modularization of crosscutting concerns at the software modeling phase. On the other hand, with the rise of Model-Driven Development, Executable UML (xUML) plays a central role since it allows modelers to specify detailed specifications that can be automatically transformed into code. In this paper, we provide a formal semantics for aspect matching and weaving on xUML models, particularly activity diagrams. The semantics is based on Continuation-Passing Style since it provides a concise and elegant description of aspect-oriented mechanisms. We first consider basic pointcuts. Then, we provide a semantics for the dataflow pointcut, which is useful from a security perspective.
Year
DOI
Venue
2013
10.1109/TASE.2013.17
Theoretical Aspects of Software Engineering
Keywords
Field
DocType
continuation-passing style,executable models,executable uml,aspect-oriented semantic framework,xuml model,activity diagram,aspect-oriented mechanism,model-driven development,appropriate paradigm,aspect-oriented modeling,aspect matching,formal semantics,weaving,unified modeling language,semantics,aspect oriented programming,mathematical model,computational modeling,continuation passing style,denotational semantics
Programming language,Unified Modeling Language,Aspect-oriented programming,Computer science,Denotational semantics,Executable UML,Modeling language,Theoretical computer science,Activity diagram,Pointcut,Executable
Conference
Citations 
PageRank 
References 
0
0.34
8
Authors
3
Name
Order
Citations
PageRank
d mouheb1859.71
Ziarati, R.250.80
M. Debbabi3606.48