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
| 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.