Skip to main content

Verification of Aspectual Composition in Feature-Modeling

  • Conference paper
Software Engineering and Formal Methods (SEFM 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7504))

Included in the following conference series:

  • 1020 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Chapter  Google Scholar 

  2. Alturki, F., Khedri, R.: A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra. In: 13th Workshop on Requirement Engineering (2010)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Article  Google Scholar 

  5. Chitchyan, R., Rashid, A., Sawyer, P., et al.: Survey of Analysis and Design Approach. Tech. rep., AOSD-Europe (2005)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. 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)

    Google Scholar 

  10. Höfner, P., Khedri, R., Möller, B.: An Algebra of Product Families. Software and Systems Modeling 10(2), 161–182 (2011)

    Article  Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Chapter  Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. Oldevik, J., Haugen, Ø.: Higher-Order Transformations for Product Lines. In: Proc. of the 11th Intl. Software Product Line Conf. IEEE CS, Wash. (2007)

    Google Scholar 

  16. Pohl, K.: Software Product Line Engineering: Foundations, Principles, and Techniques, ch. 3. Springer, N.Y. (2005)

    Google Scholar 

  17. Rinard, M., Salcianu, A., Bugrara, S.: A Classification System and Analysis for Aspect-Oriented Programs. SIGSOFT Softw. Eng. Notes 29(6), 147–158 (2004)

    Article  Google Scholar 

  18. 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)

    Chapter  Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. Zhang, Q., Khedri, R., Jaskolka, J.: An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification. Tech. rep., McMaster University (2011)

    Google Scholar 

  22. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics