A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines

Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications.

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

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

[3]  Laurence Duchien,et al.  Context awareness for dynamic service-oriented product lines , 2009, SPLC.

[4]  Horst Lichter,et al.  Modeling Variability by UML Use Case Diagrams , 2002 .

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

[6]  Rossana M. de Castro Andrade,et al.  A Software Product Line for the Mobile and Context-Aware Applications Domain , 2010, SPLC.

[7]  Quan Z. Sheng,et al.  ContextUML: a UML-based modeling language for model-driven development of context-aware Web services , 2005, International Conference on Mobile Business (ICMB'05).

[8]  Claudia Linnhoff-Popien,et al.  A Context Modeling Survey , 2004 .

[9]  Yolande Berbers,et al.  UML profile for the design of a platform-independent context-aware applications , 2006, MODDM '06.

[10]  Barbara Paech,et al.  Component-based product line engineering with UML , 2001, Addison Wesley object technology series.

[11]  Antonio Ruiz Cortés,et al.  Isolated Features Detection in Feature Models , 2006, CAiSE Forum.

[12]  Anind K. Dey,et al.  Understanding and Using Context , 2001, Personal and Ubiquitous Computing.

[13]  Jadwiga Indulska,et al.  A survey of context modelling and reasoning techniques , 2010, Pervasive Mob. Comput..

[14]  Sooyong Park,et al.  Dynamic Software Product Lines , 2008, Computer.

[15]  Cláudia Maria Lima Werner,et al.  Feature Modeling for Context-Aware Software Product Lines , 2008, SEKE.

[16]  M. Morisio,et al.  Extending UML to support domain analysis , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[17]  Rossana M. de Castro Andrade,et al.  Requirements and challenges for building service-oriented pervasive middleware , 2009, ICPS '09.

[18]  Mark Weiser.  The computer for the 21st century , 1991 .

[19]  Olga De Troyer,et al.  Applying semantic web technology to feature modeling , 2009, SAC '09.

[20]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[21]  Klaus Schmid,et al.  A comparison of decision modeling approaches in product lines , 2011, VaMoS.

[22]  Antonio Ruiz Cortés,et al.  Automated Reasoning on Feature Models , 2005, Seminal Contributions to Information Systems Engineering.

[23]  C. R. Ramakrishnan,et al.  Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems , 2008 .

[24]  Haiyan Zhao,et al.  A Propositional Logic-Based Method for Verification of Feature Models , 2004, ICFEM.

[25]  Carlo Curino,et al.  A data-oriented survey of context models , 2007, SGMD.

[26]  Jan Bosch,et al.  Workshop on Software Variability Management for Product Derivation ? Towards Tool Support , 2004, SPLC.

[27]  Jean-Marc Jézéquel,et al.  Towards a UML Profile for Software Product Lines , 2003, PFE.

[28]  Naoyasu Ubayashi,et al.  Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems , 2010, SPLC.

[29]  Mike Mannion.  Using First-Order Logic for Product Line Model Validation , 2002, SPLC.

[30]  Rossana M. de Castro Andrade,et al.  XMobile: A MB-UID environment for semi-automatic generation of adaptive applications for mobile devices , 2008, J. Syst. Softw..

[31]  Antonio Ruiz Cortés,et al.  Automated analysis of feature models: challenges ahead , 2006, CACM.

[32]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

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

[34]  Aniruddha S. Gokhale,et al.  Domain-Specific Modeling , 2008, Handbook of Dynamic System Modeling.

[35]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

[36]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[37]  Hassan Gomaa.  Designing Software Product Lines with UML 2.0: From Use Cases to Pattern-Based Software Architectures , 2006, ICSR.

[38]  Jeff Z. Pan,et al.  Verifying feature models using OWL , 2007, J. Web Semant..

[39]  Juha-Pekka Tolvanen,et al.  Domain-Specific Modeling: Enabling Full Code Generation , 2008 .

[40]  Bran Selic,et al.  A Systematic Approach to Domain-Specific Language Design Using UML , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[41]  M. Clauß,et al.  Modeling variability with UML , 2001 .