ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
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
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
Automated diagnosis of feature model configurations
Journal of Systems and Software
Formal Description of Variability in Product Families
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Hi-index | 0.00 |
In software product line engineering, families of similar products are developed instead of single ones. The systems produced as part of a family differ in the features they include. To ease the simultaneous design of multiple systems, methods to write a formal specification of a complete product line have been proposed. This paper shows how a TLA+ specification of a system family can be written, based on the representation of the family by a featured transition system. The specification of correctness properties of system families in TLA+ and their verification with the TLA+ model checker TLC are considered.