Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
A logical framework to deal with variability
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Issues in model-driven behavioural product derivation
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Proceedings of the 4th India Software Engineering Conference
Design and validation of variability in product lines
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
A model-checking tool for families of services
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Modular modelling of software product lines with feature nets
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Managing evolution in software product lines: a model-checking perspective
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Compositional algorithmic verification of software product lines
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Family-based deductive verification of software product lines
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Conditioned model slicing of feature-annotated state machines
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
A compositional framework to derive product line behavioural descriptions
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A vision for behavioural model-driven validation of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Product line engineering applied to CBTC systems development
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
A formal framework for software product lines
Information and Software Technology
An abstract representation of variational graphs
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Science of Computer Programming
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
| Hi-index | 0.00 |
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usually present in product families definitions. In particular, a GEMTS is able to define a family of products by telling at any state of the system whether some (and how many) transitions are optional or mandatory for any derived products of the family. The proposed model is compared with previous proposals also based on Labelled Transition Systems, showing its higher generality, but also pointing out weaknesses that still need to be addressed with more expressive models. Hints on the solution of such weaknesses are given by the use of constraints expressed as temporal logic formulae.