A Petri Net Variability Model for Software Product Lines

  • Cristian Martinez INGAR, Facultad Regional Santa Fe, Universidad Tecnológica Nacional - CONICET
  • Nicolás Díaz INGAR, Facultad Regional Santa Fe, Universidad Tecnológica Nacional - CONICET
  • Silvio Gonnet INGAR, Facultad Regional Santa Fe, Universidad Tecnológica Nacional - CONICET
  • Horacio Leone INGAR, Facultad Regional Santa Fe, Universidad Tecnológica Nacional - CONICET

Resumen

Variability is defined as the possibility that a system has to be ex-tended, changed, localized or configured in order to be used in a particular con-text. Variability specification in a software product line (SPL) is a main activity where product families are specified in terms of variants and dependencies. One way of defining the variability of a SPL is through a feature model (FM). How-ever the product families obtained can present feasibility problems, for instance, inclusion rules that can result contradictory which is translated in a set of fea-tures impossible to be incorporated into any product. Such inconveniences may come from the initial feature model developed as well from modifications in-troduced to satisfy new demands. In this paper a tool based on Petri nets is pro-posed in order to represent and analyse FMs as well as detecting the problems mentioned before.

Publicado
2014-06-23
Cómo citar
Martinez, C., Díaz, N., Gonnet, S., & Leone, H. (2014). A Petri Net Variability Model for Software Product Lines. Electronic Journal of SADIO (EJS), 13(1), 35-53. Recuperado a partir de https://publicaciones.sadio.org.ar/index.php/EJS/article/view/40