Abstract
Crosscutting concerns are pervasive in embedded software and ambient systems due to the stringent non-functional requirements imposed on them. Maintaining families of these systems to address issues with the crosscutting concerns, such as security concerns, is recognised to be tedious and costly. To tackle the above problem, we adapt the aspect-oriented paradigm to feature-modeling.
One of the most serious problems in aspect-oriented modeling is the potential of taking a valid model and spoiling its validity when weaving an aspect to it. We present a formal verification technique of aspectual composition in the context of feature-modeling that is based on product family algebra. We define a set of validity criteria for aspects with regard to their corresponding base specifications. The verification is done prior to the weaving of the aspects to their base specifications.
This research is supported by Natural Sciences and Engineering Research Council of Canada (NSERC) through the grant RGPIN227806-09.
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
Acher, M., Collet, P., Lahire, P., France, R.: Composing Feature Models. In: van den Brand, M., Gašević, D., Gray, J. (eds.) SLE 2009. LNCS, vol. 5969, pp. 62–81. Springer, Heidelberg (2010)
Alturki, F., Khedri, R.: A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra. In: 13th Workshop on Requirement Engineering (2010)
Apel, S., Leich, T., Saake, G.: Aspectual Mixin Layers: Aspects and Features in Concert. In: Proc. of Intl. Conf. on Software Engineering, pp. 122–131. ACM, N.Y. (2006)
Benavides, D., Segura, S., Ruiz-Cortéss, A.: Automated Analysis of Feature Models 20 Years Later: A Literature Review. J. Information Systems 35(6), 615–636 (2010)
Chitchyan, R., Rashid, A., Sawyer, P., et al.: Survey of Analysis and Design Approach. Tech. rep., AOSD-Europe (2005)
Groher, I., Voelter, M.: Xweave: Models and aspects in Concert. In: Proc. of the 10th Workshop on Aspect-Oriented Modelling, pp. 35–40. ACM, N.Y. (2007)
Hannousse, A., Douence, R., Ardourel, G.: Static Analysis of Aspect Interaction and Composition in Component Models. In: 10th Intl. Conf. on Generative Programming and Component Engineering, pp. 43–52. ACM, N.Y. (2011)
Höfner, P., Khedri, R., Möller, B.: Feature Algebra. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 300–315. Springer, Heidelberg (2006)
Höfner, P., Khedri, R., Möller, B.: Algebraic View Reconciliation. In: The 6th IEEE Intl. Conf. on Software Engineering and Formal Methods, pp. 85–94. IEEE CS, Wash. (2008)
Höfner, P., Khedri, R., Möller, B.: An Algebra of Product Families. Software and Systems Modeling 10(2), 161–182 (2011)
Höfner, P., Khedri, R., Möller, B.: Supplementing Product Families with Behaviour. Intl. J. of Software and Informatics 5(1–2), 245–266 (2011)
Kiczales, G., Lamping, J., Mendhekar, A., et al.: Aspect-Oriented Programming. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Kuhlemann, M., Batory, D., Kästner, C.: Safe Composition of Non-Monotonic Features. In: Proc. of 8th Intl. Conf. on Generative Programming and Component Engineering, pp. 177–186. ACM, N.Y. (2009)
Kuusela, J., Tuominen, H.: Aspect-Oriented Approach to Operating System Development Empirical Study. In: Elleithy, K. (ed.) Advanced Techniques in Computing Sciences and Software Engineering, pp. 233–238. Springer, Netherlands (2010)
Oldevik, J., Haugen, Ø.: Higher-Order Transformations for Product Lines. In: Proc. of the 11th Intl. Software Product Line Conf. IEEE CS, Wash. (2007)
Pohl, K.: Software Product Line Engineering: Foundations, Principles, and Techniques, ch. 3. Springer, N.Y. (2005)
Rinard, M., Salcianu, A., Bugrara, S.: A Classification System and Analysis for Aspect-Oriented Programs. SIGSOFT Softw. Eng. Notes 29(6), 147–158 (2004)
Sanen, F., Chitchyan, R., Bergmans, L., Fabry, F., Sudholt, M., Mehner, K.: Aspects, Dependencies and Interactions. In: Cebulla, M. (ed.) ECOOP-WS 2007. LNCS, vol. 4906, pp. 75–90. Springer, Heidelberg (2008)
Voelter, M., Groher, I.: Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In: Proc. of the 11th Intl. Software Product Line Conf., pp. 233–242. IEEE CS, Wash. (2007)
Xu, B., Yang, M., Liang, H., et al.: Maximizing Customer Satisfaction in Maintenance of Software Product Family. In: Canadian Conf. on Electrical and Computer Engineering, pp. 1320–1323 (2005)
Zhang, Q., Khedri, R., Jaskolka, J.: An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification. Tech. rep., McMaster University (2011)
Zhang, Q., Khedri, R., Jaskolka, J.: An Aspect-Oriented Language for Product Family Specification. In: The 3rd Intl. Conf. on Ambient Systems, Networks and Technologies, p. 10 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Q., Khedri, R., Jaskolka, J. (2012). Verification of Aspectual Composition in Feature-Modeling. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds) Software Engineering and Formal Methods. SEFM 2012. Lecture Notes in Computer Science, vol 7504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33826-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-33826-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33825-0
Online ISBN: 978-3-642-33826-7
eBook Packages: Computer ScienceComputer Science (R0)