Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. Formal description of variability in product families. In: SPLC 2011 - 15th International Software Product Line Conference (München, Germany, 21-26 Agosto 2011). Proceedings, pp. 130 - 139. IEEE, 2011.
We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic.
URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6030054&tag=1
DOI: http://dx.doi.org/10.1109/SPLC.2011.34
Subject Product Families
Modal Transition Systems
Temporal logic
Model checking
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional