Abstract
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects that can be applied to different systems at the model level. To improve reusability, several contributions have pointed out the needs of variability in the AOM approaches. Nevertheless, the support of variability makes the aspect design more complex and the introduction of several dimensions of variability (advice, pointcut and weaving) creates a combinatorial explosion of variants and a risk of inconsistency in the aspect model. As the integration of an aspect model may be a complex task, the AOM framework has to be a support for the designer to ensure the consistency of the resulting model. This paper presents an approach describing how to ensure that an aspect model with variability can be safely integrated into an existing model. Verification includes static checking of aspect model consistency and dynamic checking through testing with a focus on the parts of the model that are impacted by the aspect.
This work was partially funded by the DiVA project (EU FP7 STREP).
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
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Barais, O., Klein, J., Baudry, B., Jackson, A., Clarke, S.: Composing Multi-View Aspect Models. In: 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), Madrid, Spain (Febuary 2008)
Bertolino, A., Fantechi, A., Gnesi, S., Lami, G.: Product Line Use Cases: Scenario-based Specification and Testing of Requirements. In: Software Product Lines, pp. 425–445. Springer, Heidelberg (2006)
Cohen, M.B., Dwyer, M.B., Shi, J.: Coverage and Adequacy in Software Product Line Testing. In: ROSATEA 2006: ISSTA 2006 workshop on Role of software architecture for testing and analysis, pp. 53–63. ACM Press, New York (2006)
Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In: GPCE 2006: Proceedings of the 6th Int. Conf. on Generative Programming and Component Engineering, pp. 211–220. ACM Press, New York (2006)
Geppert, B., Li, J.J., Rößler, F., Weiss, D.M.: Towards Generating Acceptance Tests for Product Lines. In: Bosch, J., Krueger, C. (eds.) ICOIN 2004 and ICSR 2004. LNCS, vol. 3107, pp. 35–48. Springer, Heidelberg (2004)
Kishi, T., Noda, N., Katayama, T.: Design Verification for Product Line Development. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 150–161. Springer, Heidelberg (2005)
Lahire, P., Morin, B., Vanwormhoudt, G., Gaignard, A., Barais, O., Jézéquel, J.M.: Introducing Variability into Aspect-Oriented Modeling Approaches. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 498–513. Springer, Heidelberg (2007)
Lahire, P., Quintian, L.: New Perspective To Improve Reusability in Object-Oriented Languages. Journal Of Object Technology (JOT) 5(1), 117–138 (2006)
Mannion, M., Cámara, J.: Theorem Proving for Product Line Model Verification. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 211–224. Springer, Heidelberg (2004)
Metzger, A., Heymans, P., Pohl, K., Schobbens, P.-Y., Saval, G.: Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. In: RE 2007: 15th Int. Conf. on Requirements Engineering, Delhi, October 2007, pp. 243–253. IEEE Computer Society, Los Alamitos (2007)
Morin, B., Barais, O., Jézéquel, J.M.: Weaving Aspect Configurations for Managing System Variability. In: VaMoS 2008: 2nd International Workshop on Variability Modelling of Software-intensive Systems, Essen, Germany (2008)
Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713. Springer, Heidelberg (2005)
Nebut, C., Fleurey, F., Le Traon, Y., Jézéquel, J.M.: A Requirement-Based Approach to Test Product Families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 198–210. Springer, Heidelberg (2004)
Pohl, K., Metzger, A.: Software Product Line Testing. Commun. ACM 49(12), 78–81 (2006)
Ramos, R., Barais, O., Jézéquel, J.M.: Matching Model Snippets. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 121–135. Springer, Heidelberg (2007)
Reuys, A., Reis, S., Kamsties, E., Pohl, K.: The ScenTED Method for Testing Software Product Lines. In: Software Product Lines, pp. 479–520. Springer, Heidelberg (2006)
Sen, S., Baudry, B., Mottu, J.-M.: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. In: ICST 2008: 1st Int. Conf. on Software Testing Verification and Validation, Lillehammer, Norway (April 2008)
Sen, S., Baudry, B., Precup, D.: Partial Model Completion in Model Driven Engineering using Constraint Logic Programming. In: Int. Conf. on Appl. of Declarative Programming and Knowledge Management, Wurzburg, Germany (October 2007)
SmartAdapters action language semantics (2008), http://www.irisa.fr/triskell/perso_pro/obarais/pmwiki.php?n=Research.SmartAdapters
Svahnberg, M., Bosch, J.: Issues Concerning Variability in Software Product Lines. In: van der Linden, F.J. (ed.) IW-SAPF 2000. LNCS, vol. 1951, pp. 146–157. Springer, Heidelberg (2000)
Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines. In: GPCE 2007: 6th Int. Conf. on Generative Programming and Component Engineering, pp. 95–104. ACM, New York (2007)
Ziadi, T., Jézéquel, J.M.: Product Line Engineering with the UML: Products Derivation. In: Software Product Lines, pp. 557–588. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morin, B., Vanwormhoudt, G., Lahire, P., Gaignard, A., Barais, O., Jézéquel, JM. (2008). Managing Variability Complexity in Aspect-Oriented Modeling . In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_55
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_55
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)