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 behav- ioral model that has been broadly studied in literature and several its extensions have been also described, that have been proposed in the 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 paper we review a bunch of variants of the classic MTS definition with the associated refinement definitions and a discussion on their expressive power.

Refinement of Behavioural Models for Variability Description / Fantechi, Alessandro; Gnesi, Stefania. - STAMPA. - (2016), pp. 155-169. [10.1201/b20053-16]

Refinement of Behavioural Models for Variability Description

FANTECHI, ALESSANDRO;GNESI, STEFANIA
2016

Abstract

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 behav- ioral model that has been broadly studied in literature and several its extensions have been also described, that have been proposed in the 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 paper we review a bunch of variants of the classic MTS definition with the associated refinement definitions and a discussion on their expressive power.
2016
978-1-4987-0158-7
978-1-4987-0159-4
978-1-4987-0158-7
978-1-4987-0159-4
From Action Systems to Distributed Systems - The Refinement Approach
155
169
Fantechi, Alessandro; Gnesi, Stefania
File in questo prodotto:
File Dimensione Formato  
Gnesi-kaisa-v2.pdf

Accesso chiuso

Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 1.12 MB
Formato Adobe PDF
1.12 MB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1074815
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact