Abstract
Aspect-oriented concepts are currently exploited to model systems from the beginning of their development. Aspects capture potentially cross-cutting concerns and make it easier to formulate desirable properties and to understand analysis results than in a tangled system. However, the complexity of interactions among different aspectualized entities may reduce the benefit of aspect-oriented separation of cross-cutting concerns. It is therefore desirable to detect inconsistencies as early as possible.
We propose an approach for analyzing consistency at the level of requirements modeling. We use a variant of UML to model requirements in a use-case driven approach. Activities that are used to refine use cases are the joinpoints to compose cross-cutting concerns. Activities are combined with a specification of pre- and postconditions into an integrated behavior model. This model is formalized using the theory of graph transformation systems to effectively reason about its consistency. The analysis of an integrated behavior model is performed with the tool ActiGra.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
A. Agrawal, Graph rewriting and transformation (GReAT): A solution for the model integrated computing (MIC) bottleneck, in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (2003), pp. 364–368. doi:10.1109/ASE.2003.1240339
J. Araújo, J. Whittle, D.-K. Kim, Modeling and composing scenario-based requirements with aspects, in Proceedings of the Requirements Engineering Conference, 12th IEEE International (RE ’04) (2004), IEEE Computer Society, Washington, DC, pp. 58–67. doi:10.1109/RE.2004.32. http://dx.doi.org/10.1109/RE.2004.32
D. Balzarotti, A. Castaldo D’Ursi, L. Cavallaro, M. Monga, Slicing AspectJ woven code, in Proceedings of the Foundations of Aspect-Oriented Languages Workshop (FOAL2005), Chicago, 2005
H. Ehrig, K. Ehrig, U. Prange, G. Taentzer, Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science: an EATCS Series) (Springer, New York, Inc., Secaucus, 2006)
C. Ermel, J. Gall, L. Lambers, G. Taentzer, Modeling with plausibility checking: Inspecting favorable and critical signs for consistency between control flow and functional behavior, in Proceedings of the Fundamental Aspects of Software Engineering (FASE’11). Lecture Notes in Computer Science, vol. 6603 (Springer, Berlin, 2011), pp. 156–170. Long version as technical report 2011/2, TU Berlin
R.E. Filman, D.P. Friedman, Aspect-oriented programming is quantification and obliviousness, in Workshop on Advanced Separation of Concerns, OOPSLA 2000 (October 2000), Minneapolis. http://ic-www.arc.nasa.gov/ic/darwin/oif/leo/filman/text/oif/aop-is.pdf
J. Hausmann, R. Heckel, G. Taentzer, Detection of conflicting functional requirements in a use case-driven approach, in Proceedings of International Conference on Software Engineering 2002, Orlando, 2002
I. Jacobson, P.W. Ng, Aspect-Oriented Software Development with Use Cases (Addison Wesley, Reading, 2005)
S. Jurack, L. Lambers, K. Mehner, G. Taentzer, G. Wierse, Object flow definition for refined activity diagrams, in Proceedings of the Fundamental Approaches to Software Engineering (FASE’09), ed. by M. Chechik, M. Wirsing. Lecture Notes in Computer Science, vol. 5503 (Springer, Berlin, 2009), pp. 49–63
S. Katz, Aspect categories and classes of temporal properties, in Transactions on Aspect-Oriented Software Development I, ed. by, A. Rashid, M. Aksit (Springer, Berlin Heidelberg, 2006), pp. 106–134
S. Katz, Aspect categories and classes of temporal properties, in Transactions on Aspect-Oriented Software Development I, ed. by A. Rashid, M. Aksit. Lecture Notes in Computer Science, vol. 3880 (Springer, Berlin, 2006), pp. 106–134
G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. Griswold, An overview of AspectJ, in ECOOP 2001—Object-Oriented Programming, ed. by J. Knudsen. Lecture Notes in Computer Science, vol. 2072 (Springer, Berlin, 2001), pp. 327–354
J. Kienzle, N. Guelfi, S. Mustafiz, Crisis management systems—A case study for aspect-oriented Modeling. Technical Report SOCS-TR-2009.3, McGill University (2009). Version 1.0.1
T. Levendovszky, L. Lengyel, G. Mezei, H. Charaf, A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS. Electron. Notes Theor. Comput. Sci. 127(1), 65–75 (2005). Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)
K. Mehner, M. Monga, G. Taentzer, Interaction analysis in aspect-oriented models, in 14th IEEE International Conference on Requirements Engineering RE 06 (2006), pp. 69–78. doi:10.1109/RE.2006.35
K. Mehner, M. Monga, G. Taentzer, Analysis of aspect-oriented model weaving, in Transactions on Aspect-Oriented Software Development V. Lecture Notes in Computer Science, vol. 5490 (Springer, Berlin, 2009), pp. 235–263
U.A. Nickel, J. Niere, J.P. Wadsack, A. Zündorf, Roundtrip engineering with FUJABA, in Proceedings of 2nd Workshop on Software-Reengineering (WSR), Bad Honnef, 2000
Object Management Group, UML Specification Version 2.0 (2005), Object Management Group, http://www.omg.org
A. Rashid, P. Sawyer, A. Moreira, J. Araújo, Early aspects: A model for aspect-oriented requirements engineering, in Proceedings of the IEEE Joint International Conference on Requirements Engineering (IEEE Computer Society Press, Silver Spring, 2002), pp. 199–202
A. Rashid, A. Moreira, J. Araújo, Modularisation and composition of aspectual requirements. in Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD ’03) (2003), ACM, New York, NY, pp. 11–20. doi:10.1145/643603.643605
M. Rinard, A. Sǎlcianu, S. Bugrara, A classification system and analysis for aspect-oriented programs, in Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD ’03) (2003), ACM, New York, NY, pp. 11–20. doi:10.1145/643603.643605
M. Sihman, S. Katz, Superimpositions and aspect-oriented programming. Comput. J. 46(5), 529–541 (2003)
J. Sillito, C. Dutchyn, A. Eisenberg, K. DeVolder, Use case level pointcuts, in Proceedings of the ECOOP 2004, Oslo, 2004
D. Stein, S. Hanenberg, R. Unland, A UML-based aspect-oriented design notation for AspectJ, in Proceedings of the 1st International Conference on Aspect-Oriented Software Development (2002), ACM, New York, NY, pp. 106–112. doi:10.1145/508386.508399
The Eclipse Foundation (2011), AspectJ Homepage, http://www.eclipse.org/aspectj/
Technische Universität Berlin (2013), ActiGra Homepage, http://www.tfs.tu-berlin.de/actigra
Technische Universität Berlin (2013), AGG Homepage, http://www.tfs.tu-berlin.de/agg
J. Zhao, Slicing aspect-oriented software, in Proceedings of the 10th International Workshop on Program Comprehension (IWPC ’02) (2002), IEEE Computer Society, Washington, DC, p. 251
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Mehner-Heindl, K., Monga, M., Taentzer, G. (2013). Analysis of Aspect-Oriented Models Using Graph Transformation Systems. In: Moreira, A., Chitchyan, R., Araújo, J., Rashid, A. (eds) Aspect-Oriented Requirements Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38640-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-38640-4_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38639-8
Online ISBN: 978-3-642-38640-4
eBook Packages: Computer ScienceComputer Science (R0)