Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S. Refinement of behavioural models for variability description. Luigia Petre, Emil Sekerinski (eds.). Berkeley, California, U.S.A.: Chapman and Hall/CRC, 2016.
In Product Lines Engineering many studies are focused on the research of the best behavioural model useful to describe a product family and to reason about properties of the family itself. In addition the model must allow to describe in a simple way different types of variability, needed to characterize several products of the family. Modal Transition System (MTS) is one of the more relevant behavioural model that has been broadly studied in literature and several extensions have been also described to more finely address behavioural variability. Furthermore MTS and its extensions define a concept of refinement which represents a step of design process, namely a step where some allowed requirements are discarded and other ones become necessary. In this chapter we present a bunch of variants of the classic MTS definition with the associated refinement definitions and a discussion on their expressive power.
URL: http://dx.doi.org/10.1201/b20053-16
DOI: 10.1201/b20053-16
Subject Formal Methods
Model checking
Temporal logic
D.2.4 SOFTWARE ENGINEERING. Software/Program Verification

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