A Propositional Logic-Based Method for Verification of Feature Models

@inproceedings{Zhang2004APL,
  title={A Propositional Logic-Based Method for Verification of Feature Models},
  author={Wei Zhang and Haiyan Zhao and Hong Mei},
  booktitle={ICFEM},
  year={2004}
}
The feature model is a domain/product-line oriented requirements model based on hierarchical structure and explicit variability modeling, and has been adopted by several important software reuse methods. However, with respect to the problem of verification of constraints on features and verification of partially customized feature models, these methods tend to be semi-formal and offer little formal assistance. In this paper, we propose a propositional logic-based method for the verification of… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 78 CITATIONS

Criteria for the verification of feature models

VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Constraints: The core of product line engineering

  • 2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE
  • 2011
VIEW 9 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Modeling Access Control Requirements in Feature Model

  • 2009 16th Asia-Pacific Software Engineering Conference
  • 2009
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Conceptual Modelling Approach to Software Variability

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Finding Contradictions in Feature Models

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2005
2017

CITATION STATISTICS

  • 12 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

d’Alessandro, “Integrating Feature Modeling with the RSEB

Martin L.Griss, John Favaro, Massimo
  • Proceedings of Fifth International Conference on Software Reuse, pp.76-85,
  • 1998
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

A feature oriented approach to modeling and reusing requirements of software product lines

  • Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003
  • 2003
VIEW 3 EXCERPTS

Evolving legacy system features into fine-grained components

A. Mehta, G.T. Heineman
  • Proceedings of the 24th International Conference on Software Engineering. ICSE 2002
  • 2002
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…