Abstraction-Based Model Checking Using Modal Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
A foundation for behavioural conformance in software product line architectures
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Formal Modeling for Product Families Engineering
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Model Checking of Domain Artifacts in Product Line Engineering
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Modal I/O automata for interface and product line theories
ESOP'07 Proceedings of the 16th European conference on Programming
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
A state/event-based model-checking approach for the analysis of abstract system properties
Science of Computer Programming
A logical framework to deal with variability
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Managing feature models with familiar: a demonstration of the language and its tool support
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Composing Event-B specifications: case-study experience
SC'11 Proceedings of the 10th international conference on Software composition
Formal Description of Variability in Product Families
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Hierarchical Variability Modeling for Software Architectures
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Comparing approaches to implement feature model composition
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Compositional algorithmic verification of software product lines
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Constraint-oriented Variability Modeling
SEW '11 Proceedings of the 2011 IEEE 34th Software Engineering Workshop
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
Approaches for mastering change
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
| Hi-index | 0.00 |
Modelling variability in product families has been the subject of extensive study in the literature on Software Product Lines, especially that concerning Feature Modelling. In recent years, we have laid the basis for the study of the application of temporal logics to the formal modelling of behavioural variability in product family definitions. A critical point in this formalization is to give an adequate representation of the elements of the feature model and their relation with the behaviour of the many products that are to be derived from the family. To this aim, we propose a methodology to systematize this step as much as possible, in order to allow the derivation of behavioural models that are general enough to capture the behaviour of all consistent products belonging to the family.