Abstract
The crosscutting problem can be observed at scenario modeling level where one model may present several tangled concerns, compromising requirements and system evolution. To avoid this problem, we can deal with aspectual scenarios by modularizing and thus separating them from other scenarios. Also, it is desirable to analyze how the crosscutting scenarios interact with other scenarios at early stages of software development; otherwise these interactions will only become clear during later stages when problems are much more expensive to solve. But to achieve that scenario modularization is not enough, we need efficient model composition mechanisms to allow the system to be analyzed and validated in its entirety. We introduce the Modeling Aspects Using a Transformation Approach (MATA), an expressive technique based on graph transformations, where aspectual scenarios, here represented as sequence diagram and state machines, will be modeled and composed efficiently. An example, based on a common case study, illustrates the usage of MATA’s modularization and composition mechanisms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
I. Alexander, N. Maiden (eds.), Scenarios, Stories, Use Cases (Wiley, New York, NY, 2004)
J. Whittle, J. Araújo, Scenario modeling with aspects, in IEE Proceedings Software, 2004
J. Whittle, P.K. Jayaraman, A.M. Elkhodary, A. Moreira, J. Araújo, MATA: a unified approach for composing UML aspect models based on graph transformation. Trans. Aspect Oriented Softw. Dev. VI, 191–237 (2009)
G. Taentzer, AGG: a graph transformation environment for modeling and validation of software, in Conference on Applications of Graph Transformations with Industrial Relevance (AGTIVE), Charlottesville, VA, 2003, pp. 446–453
J. Boner, A. Vasseur, Tutorial on AspectWerkz for Dynamic Aspect-Oriented Programming (Aspect Oriented Software Development (AOSD), Lancaster, 2004)
J. Araújo, J. Whittle, D.-K. Kim, D.-K. Modeling and composing scenario-based requirements with aspects, in International Conference on Requirements Engineering (RE), Kyoto, Japan, 2004, pp. 58–67
J. Whittle, J. Schumann, Generating statechart designs from scenarios, in International Conference on Software Engineering (ICSE), Limerick, Ireland, 2000, pp. 314–323
J. Kienzle, N. Guelfi, S. Mustafiz, Crisis management systems: a case study for aspect-oriented modeling. Trans. Aspect Oriented Softw. Dev. VII, 1–22 (2010)
K. Kim, J. Whittle, Generating UML models from domain patterns, in Software Engineering Research, Management and Applications, 2005, pp. 166–173
G. Georg, I. Ray, R. France, Using aspects to design a secure system, in 8th IEEE International Conference on Engineering of Complex Computer Systems, Greenbelt, MD, 2002
S. Clarke, R.J. Walker, Composition patterns: an approach to designing reusable aspects, in International Conference on Software Engineering (ICSE), 2001
E. Song, R. Reddy, R. France, I. Ray, G. Georg, R. Alexander, Verifiable composition of access control and application features, in ACM Symposium on Access Control Models and Technologies (SACMAT), Stockholm, Sweden, 2005, pp. 120–129
R. Reddy, A. Solberg, R. France, S. Ghosh, Composing sequence models using tags, in Aspect Oriented Modeling Workshop at MODELS 2006, 2006
J. Klein, J. Kienzle, Reusable aspect models, in Aspect Oriented Modeling Workshop at MODELS, 2007
J. Klein, L. Helouet, J. Jézéquel, Semantic-Based Weaving of Scenarios (Aspect-Oriented Software Development (AOSD), Vancouver, BC, 2006), pp. 27–38
M. Katara, S. Katz, Architectural Views of Aspects (Aspect-Oriented Software Development (AOSD), Boston, MA, 2003), pp. 1–10
T. Cottenier, A. van den Berg, T. Elrad, Motorola WEAVR: Model Weaving in a Large Industrial Context (Aspect-Oriented Software Development (AOSD), Vancouver, BC, 2007)
D. Stein, S. Hanenberg, R. Unland, Expressing Different Conceptual Models of Join Point Selections in Aspect-Oriented Design (Aspect-Oriented Software Development (AOSD), Bonn, 2006), pp. 15–26
S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, P. Zave, Matching and merging of statecharts specifications, in International Conference on Software Engineering (ICSE), 2007, pp. 54–64
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
Araújo, J., Whittle, J. (2013). Aspect-Oriented Compositions for Dynamic Behavior Models. 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_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-38640-4_3
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)