Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line

During software development process, software artifacts are produced. Consistency among these artifacts should be verified to ensure error-free product. In software product line development, consistency becomes more important because commonalities and variabilities increase the complexity of relationship among artifacts. In this paper, we present a formal approach to verification of consistency between feature model and component and connector view of software architecture. By utilizing prototype verification system (PVS), we introduce our model of feature description and architecture description, and illustrate the consistency verification approach using a digital watch product line example.

[1]  Kyo Chul Kang,et al.  Feature Dependency Analysis for Product Line Component Design , 2004, ICSR.

[2]  Timo Soininen,et al.  Towards Managing Variability Using Software Product Family Architecture Models and Product Configurators , 2003 .

[3]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[4]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

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

[6]  Paulo S. C. Alencar,et al.  A framework for software architecture verification , 2000, Proceedings 2000 Australian Software Engineering Conference.

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

[8]  Deepak Dhungana,et al.  Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[9]  Wenyun Zhao,et al.  A Feature Oriented Approach to Mapping from Domain Requirements to Product Line Architecture , 2006, Software Engineering Research and Practice.