Software architecture for product families: principles and practice
Software architecture for product families: principles and practice
Writing Effective Use Cases
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
Software Product Lines: Research Issues in Engineering and Management
Software Product Lines: Research Issues in Engineering and Management
Modal I/O automata for interface and product line theories
ESOP'07 Proceedings of the 16th European conference on Programming
On correct and complete strong merging of partial behaviour models
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
A logical framework to deal with variability
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
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 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
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
| Hi-index | 0.00 |
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usually present in product families definitions. In particular, an EMLTS is able to define a family of products by telling at any state of the system whether transitions are optional or compulsory for the products of the family. Based on this model, verification that a product belongs to a family can be carried out by means of automatic tools.