Verification of Aspectual Composition in Feature-Modeling

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.

[1]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[2]  Iris Groher,et al.  XWeave: models and aspects in concert , 2007, AOM@AOSD.

[3]  Qinglei Zhang,et al.  An Aspect-Oriented Language for Product Family Specification , 2012, ANT/MobiWIS.

[4]  Qinglei Zhang,et al.  An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification , 2011 .

[5]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[6]  Mathieu Acher,et al.  Composing Feature Models , 2009, SLE.

[7]  Ruzanna Chitchyan,et al.  Aspects, Dependencies and Interactions , 2008, ECOOP Workshops.

[8]  Tobias Nipkow,et al.  FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings , 2006, FM.

[9]  Richard T. Dué,et al.  OBJECT-ORIENTED TECHNOLOGY: The Economics of a New Paradigm , 1993 .

[10]  Jaakko Kuusela,et al.  Aspect-Oriented Approach to Operating System Development Empirical Study , 2009, SCSS.

[11]  Øystein Haugen,et al.  Higher-Order Transformations for Product Lines , 2007 .

[12]  Satoshi Matsuoka,et al.  ECOOP'97 — Object-Oriented Programming , 1997, Lecture Notes in Computer Science.

[13]  Ridha Khédri,et al.  Algebraic View Reconciliation , 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

[14]  Ridha Khédri,et al.  Feature Algebra , 2006, FM.

[15]  Martin C. Rinard,et al.  A classification system and analysis for aspect-oriented programs , 2004, SIGSOFT '04/FSE-12.

[16]  Ridha Khédri,et al.  An algebra of product families , 2009, Software & Systems Modeling.

[17]  Bin Xu,et al.  Maximizing customer satisfaction in maintenance of software product family , 2005, Canadian Conference on Electrical and Computer Engineering, 2005..

[18]  Don S. Batory,et al.  Safe composition of non-monotonic features , 2009, GPCE '09.

[19]  Rémi Douence,et al.  Static analysis of aspect interaction and composition in component models , 2011, GPCE '11.

[20]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[21]  Ridha Khédri,et al.  Supplementing Product Families with Behaviour , 2011, Int. J. Softw. Informatics.

[22]  Ruzanna Chitchyan,et al.  Aspects, dependencies and interactions: report on the workshop ADI at ECOOP 2007 , 2007 .

[23]  Ridha Khédri,et al.  A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra , 2010, WER.

[24]  Ruzanna Chitchyan,et al.  Proceedings of the Int. Workshop on Aspects, Dependencies and Interactions (ADI'07) , 2008 .

[25]  Thomas Leich,et al.  Aspectual mixin layers: aspects and features in concert , 2006, ICSE '06.

[26]  Iris Groher,et al.  Product Line Implementation using Aspect-Oriented and Model-Driven Software Development , 2007 .