An aspect-oriented language for feature-modeling

When modeling families of ambient systems, we experience a number of special challenges due to unpredictable variability in the environments of the systems. One solution to deal with these challenges is to adapt aspect-oriented technology to product family modeling. In this paper, we propose a new language AO-PFA, which adapts the aspect-oriented paradigm to product families. This paradigm enhances the adaptability and evolvability of product families. The proposed language is an extension of the specification language product family algebra (PFA). We discuss the constructs of the proposed language as well as its usage to specify aspects.

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

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

[3]  Ruzanna Chitchyan,et al.  Survey of Aspect-Oriented Analysis and Design Approaches , 2015 .

[4]  Martin L. Griss.  Implementing Product-Line Features By Composing Component Aspects , 2000 .

[5]  Antonio Ruiz Cortés,et al.  A First Step Towards a Framework for the Automated Analysis of Feature Models , 2006 .

[6]  Mira Mezini,et al.  Variability management with feature-oriented programming and aspects , 2004, SIGSOFT '04/FSE-12.

[7]  Giovanna Di Marzo Serugendo,et al.  Self-organising assembly systems formally specified in Maude , 2014, J. Ambient Intell. Humaniz. Comput..

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

[9]  Dianxiang Xu,et al.  Multi-agent designs for ambient systems , 2008, Ambi-Sys '08.

[10]  Lidia Fuentes,et al.  Architectural evolution of FamiWare using cardinality-based feature models , 2013, Inf. Softw. Technol..

[11]  Marek Hatala,et al.  Aspect-Oriented Feature Models , 2010, MoDELS.

[12]  Martin L. Griss,et al.  Integrating feature modeling with the RSEB , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

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

[14]  Giovanna Di Marzo Serugendo,et al.  Ambient intelligence in self-organising assembly systems using the chemical reaction model , 2010, J. Ambient Intell. Humaniz. Comput..

[15]  Lidia Fuentes,et al.  Configuration Process of a Software Product Line for AmI Middleware , 2010, J. Univers. Comput. Sci..

[16]  Qinglei Zhang,et al.  Verification of Aspectual Composition in Feature-Modeling , 2012, SEFM.

[17]  Krzysztof Czarnecki,et al.  Generative programming - principles and techniques of software engineering based on automated configuration and fragment-based component models , 1999 .

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

[19]  Bjørnar Solhaug,et al.  Model-driven risk analysis of evolving critical infrastructures , 2014, J. Ambient Intell. Humaniz. Comput..

[20]  H. Andersen.  An Introduction to Binary Decision Diagrams , 1997 .

[21]  Jürgen Börstler,et al.  The PLUSS Approach - Domain Modeling with Features, Use Cases and Use Case Realizations , 2005, SPLC.

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

[23]  João Araújo,et al.  Multi-view Composition Language for Software Product Line Requirements , 2009, SLE.

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

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

[26]  Martin L. Griss.  Implementing Product-line features by composing aspects , 2000, SPLC.

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

[28]  Thomas Thüm,et al.  Reasoning about edits to feature models , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[29]  David Lorge Parnas,et al.  On the Design and Development of Program Families , 2001, IEEE Transactions on Software Engineering.

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

[31]  Ridha Khédri.  Proofs of the convergence of the rewriting system for the weaving of aspects in the AO-PFA language by Qinglei Zhang , 2013 .

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

[33]  Awais Rashid,et al.  Framed Aspects: Supporting Variability and Configurability for AOP , 2004, ICSR.

[34]  Martin L. Griss,et al.  Integrating Feature Modeling with the RSEB Proceedings of Fifth International Conference on Software Reuse, Victoria, B.C., 1998 , 1998 .

[35]  Paulvanna Nayaki Marimuthu,et al.  Self-organization in ambient networks through molecular assembly , 2011, J. Ambient Intell. Humaniz. Comput..

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

[37]  Ilka Philippow,et al.  EXTENDING FEATURE DIAGRAMS WITH UML MULTIPLICITIES , 2002 .

[38]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[39]  Sven Apel,et al.  An algebraic foundation for automatic feature-based program synthesis , 2010, Sci. Comput. Program..