Classifying variability modeling techniques
Information and Software Technology
Configuring features with stakeholder goals
Proceedings of the 2008 ACM symposium on Applied computing
Separating variability concerns in a product line re-engineering project
Proceedings of the 2008 AOSD workshop on Early aspects
Manifoldness of Variability Modeling -- Considering the Potential for Further Integration
Balancing Agility and Formalism in Software Engineering
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automated Merging of Feature Models Using Graph Transformations
Generative and Transformational Techniques in Software Engineering II
Managing requirements specifications for product lines - An approach and industry case study
Journal of Systems and Software
Weaving Variability into Domain Metamodels
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
How to Complete an Interactive Configuration Process?
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Context awareness for dynamic service-oriented product lines
Proceedings of the 13th International Software Product Line Conference
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
Formal modelling of feature configuration workflows
Proceedings of the 13th International Software Product Line Conference
A flexible requirements analysis approach for software product lines
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Semi-automated diagnosis of FODA feature diagram
Proceedings of the 2010 ACM Symposium on Applied Computing
Reusing requirements: the need for extended variability models
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A taxonomy of asymmetric requirements aspects
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
Automated analysis of feature models 20 years later: A literature review
Information Systems
What's in a feature: a requirements engineering perspective
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Formal approach to integrating feature and architecture models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
SPLGraph: towards a graph-based formalism for software product lines
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering
Categorizing and modeling variation in families of systems: a position paper
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Configuring software product line feature models based on Stakeholders' soft and hard requirements
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Variability modeling for distributed development - a comparison with established practice
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Improving the testing and testability of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Feature diagrams as package dependencies
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Feature-based composition of software architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study
Automated Software Engineering
A formal semantics for feature cardinalities in feature diagrams
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
A comparison of decision modeling approaches in product lines
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Evaluating a textual feature modelling language: four industrial case studies
SLE'10 Proceedings of the Third international conference on Software language engineering
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Characterizing process variation (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
Unifying design and runtime software adaptation using aspect models
Science of Computer Programming
Supporting business calculations in a product line engineering tool suite
Proceedings of the 15th International Software Product Line Conference, Volume 2
The Choice Calculus: A Representation for Software Variation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient computation of dominance in component systems
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Consistency maintenance for evolving feature models
Expert Systems with Applications: An International Journal
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Cool features and tough decisions: a comparison of variability modeling approaches
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Managing evolution in software product lines: a model-checking perspective
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Using higher-order transformations to derive variability mechanism for embedded systems
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
User interface engineering for software product lines: the dilemma between automation and usability
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Model-driven support for product line evolution on feature level
Journal of Systems and Software
An ontology for enterprise and information systems modelling
Applied Ontology
Simulation-based abstractions for software product-line model checking
Proceedings of the 34th International Conference on Software Engineering
Efficient reuse of domain-specific test knowledge: an industrial case in the smart card domain
Proceedings of the 34th International Conference on Software Engineering
Weaving variability into domain metamodels
Software and Systems Modeling (SoSyM)
An ontology for enterprise and information systems modelling
Applied Ontology
From feature models to decision models and back again an analysis based on formal transformations
Proceedings of the 16th International Software Product Line Conference - Volume 1
Aligning software configuration with business and IT context
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Automatic generation of feature models from UML requirement models
Proceedings of the 16th International Software Product Line Conference - Volume 2
A modal logic for abstract delta modeling
Proceedings of the 16th International Software Product Line Conference - Volume 2
Dynamic configuration management of cloud-based applications
Proceedings of the 16th International Software Product Line Conference - Volume 2
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Multi-perspectives on feature models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A formal approach to software product families
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Test-Case design by feature trees
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Recovering traceability links between feature models and source code of product variants
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
Proceedings of the 2013 International Conference on Software Engineering
Towards automated testing and fixing of re-engineered feature models
Proceedings of the 2013 International Conference on Software Engineering
Incrementally synthesizing controllers from scenario-based product line specifications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A systematic analysis of textual variability modeling languages
Proceedings of the 17th International Software Product Line Conference
A framework for role-based feature management in software product line organizations
Proceedings of the 17th International Software Product Line Conference
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Combining declarative and procedural views in the specification and analysis of product families
Proceedings of the 17th International Software Product Line Conference co-located workshops
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
Supporting multiple perspectives in feature-based configuration
Software and Systems Modeling (SoSyM)
DUXU'13 Proceedings of the Second international conference on Design, User Experience, and Usability: web, mobile, and product design - Volume Part IV
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Science of Computer Programming
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: An International Journal
USING CONTEXT INFORMATION FOR STAGED CONFIGURATION OF FEATURE MODELS
Journal of Integrated Design & Process Science
Hi-index | 0.00 |
Feature Diagrams (FD) are a family of popular modelling languages used for engineering requirements in sofware product lines. FD were first introduced by Kang as part of the FODA (Feature Oriented Domain Analysis) method back in 1990. Since then, various extensions of FODA FD were devised to compensate for a purported ambiguity and lack of precision and expressiveness. Howevel; they never received a proper formal semantics, which is the hallmark of precision and unambiguity as well as a prerequisite for eflcient and safe tool automation In this paper, we first survey FD variants. Subsequently, we generalize the various syntaxes through a generic construction called Free Feature Diagrams (FFD). Formal semantics is defined at the FFD level, which provides unambiguous definition for all the surveyed FD variants in one shot. All formalization choices found a clear answer in the original FODA FD definition, which proved that although informal and scattered throughout many pages, it suffered no ambiguity problem. Our dejinition has several additional advantages: it is formal, concise and generic. We thus argue that it contributes to improve the definition, understanding, comparison and reliable implementation of FD languages.