University of Leicester
Browse

Basic Behavioral Models for Software Product Lines: Revisited

Download (383.3 kB)
figure
posted on 2019-04-11, 08:31 authored by Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
In Beohar et al. (2016) [9], we established an expressiveness hierarchy and studied the notions of refinement and testing for three fundamental behavioral models for software product lines. These models were featured transition systems, product line labeled transition systems, and modal transition systems. It turns out that our definition of product line labeled transition systems is more restrictive than the one introduced by Gruler, Leucker, and Scheidemann. Adopting the original and more liberal notion changes the expressiveness results, as we demonstrate in this paper. Namely, we show that the original notion of product line labeled transition systems and featured transition systems are equally expressive. As an additional result, we show that there are featured transition systems for which the size of the corresponding product line labeled transition system, resulting from any sound encoding, is exponentially larger than the size of the original model. Furthermore, we show that each product line labeled transition system can be encoded into a featured transition system, such that the size of featured transition system is linear in terms of the size of the corresponding model. To summarize, featured transition systems are equally expressive as, but exponentially more succinct than, product line labeled transition systems.

Funding

This work has been supported by grants from the Swedish Knowledge Foundation(Stiftelsen för Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HoG project (number: 20140312), Swedish Research Council (Vetenskapsradet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems), and the ELLIIT Strategic Research Environment.

History

Citation

Science of Computer Programming, 2018, 168, pp. 171-185 (15)

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Version

  • AM (Accepted Manuscript)

Published in

Science of Computer Programming

Publisher

Elsevier

issn

0167-6423

Acceptance date

2018-09-03

Copyright date

2018

Available date

2019-09-07

Publisher version

https://www.sciencedirect.com/science/article/pii/S0167642318303381?via=ihub

Notes

The file associated with this record is under embargo until 12 months after publication, in accordance with the publisher's self-archiving policy. The full text may be available through the publisher links provided above.

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC