Applying visualisation techniques in software product lines
Proceedings of the 4th ACM symposium on Software visualization
Automatic variation-point identification in function-block-based models
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Proceedings of the 4th India Software Engineering Conference
Pairwise feature-interaction testing for SPLs: potentials and limitations
Proceedings of the 15th International Software Product Line Conference, Volume 2
Change impact analysis in product-line architectures
ECSA'11 Proceedings of the 5th European conference on Software architecture
Tracing SPLs precisely and efficiently
Proceedings of the 16th International Software Product Line Conference - Volume 1
Hi-index | 0.01 |
Feature models have been used to support requirements analysis and domain engineering in Software Product Line. By identifying the mapping between feature model and architecture model by capturing the relationships among elements in the models, we can establish the traceability between the two models. The identified traceability can be used to verify consistency between feature model and architecture model. On small scale models, the relationships among elements can be easily identified by manually analyzing the descriptions of models. But when the complexity of a model is high, a more formal approach will be useful to help identifying the traceability. In this paper, we develop an approach to identify traceability between feature model and component and connector view of software architecture using Formal Concept Analysis (FCA) technique. This technique constructs a concept lattice structure. We propose several analysis criteria for concept lattice structure to identify traceability between the two models.