Aspect weaving in UML activity diagrams: a semantic and algorithmic framework

Authors:
Djedjiga Mouheb;Dima Alhadidi;Mariam Nouh;Mourad Debbabi;Lingyu Wang;Makan Pourzandi
Affiliations:
Computer Security Laboratory, Concordia Institute for Information Systems Engineering, Concordia University, Montreal, Canada;Computer Security Laboratory, Concordia Institute for Information Systems Engineering, Concordia University, Montreal, Canada;Computer Security Laboratory, Concordia Institute for Information Systems Engineering, Concordia University, Montreal, Canada;Computer Security Laboratory, Concordia Institute for Information Systems Engineering, Concordia University, Montreal, Canada;Computer Security Laboratory, Concordia Institute for Information Systems Engineering, Concordia University, Montreal, Canada;Ericsson Canada Inc., Montreal, Canada
Venue:
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Year:
2010

Citing 5
Cited 1

The NIST model for role-based access control: towards a unified standard

RBAC '00 Proceedings of the fifth ACM workshop on Role-based access control
Semantic-based weaving of scenarios

Proceedings of the 5th international conference on Aspect-oriented software development
XWeave: models and aspects in concert

Proceedings of the 10th international workshop on Aspect-oriented modeling
A generic weaver for supporting product lines

Proceedings of the 13th international workshop on Early Aspects
Modeling and integrating aspects with UML activity diagrams

Proceedings of the 2009 ACM symposium on Applied Computing

Delta-Oriented monitor specification

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Aspect-Oriented Modeling (AOM) is an emerging solution for handling crosscutting concerns at the software modeling level in order to reduce the complexity of software models and application code. Most existing work on weaving aspects into UML design models is presented from a practical perspective and lacks formal syntax and semantics. In this paper, we propose formal specifications for aspect weaving into UML activity diagrams and the implementation strategies of the proposed weaving semantics. To this end, we define syntax for activity diagrams and UML aspects. We also show the correctness and the completeness of the matching and the weaving processes in terms of the semantics and the algorithms provided in this paper. Finally, we demonstrate the viability and the relevance of our propositions using a case study.