A kconfig translation to logic with one-way validation system

David Fernandez-Amoros; Ruben Heradio; Alexander Egyed; Christoph Mayr-Dorn

doi:10.1145/3336294.3336313

A kconfig translation to logic with one-way validation system

David Fernandez-Amoros
, Ruben Heradio
, Alexander Egyed
, Christoph Mayr-Dorn

Institut für Software Systems Engineering

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Abstract

Automated analysis of variability models is crucial for managing software system variants, customized for different market segments or contexts of use. As most approaches for automated analysis are built upon logic engines, they require having a Boolean logic translation of the variability models. However, the translation of some significant languages to Boolean logic is remarkably non-trivial. The contribution of this paper is twofold: first, a translation of the Kconfig language is presented; second, an approach to test the translation for any given model is provided. The proposed translation has been empirically tested with the introduced validation procedure on five open-source projects.

Originalsprache	Englisch
Titel	Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A
Herausgeber*innen	Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raul Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Ternava, Thomas Thum, Tewfik Ziadi
Seiten	303-308
Seitenumfang	6
ISBN (elektronisch)	9781450371384
DOIs	https://doi.org/10.1145/3336294.3336313
Publikationsstatus	Veröffentlicht - Sep. 2019

Publikationsreihe

Name	ACM International Conference Proceeding Series
Band	A

Wissenschaftszweige

102 Informatik
102022 Softwareentwicklung

JKU-Schwerpunkte

Digital Transformation

Zugriff auf Dokument

10.1145/3336294.3336313

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Fernandez-Amoros, D., Heradio, R., Egyed, A., & Mayr-Dorn, C. (2019). A kconfig translation to logic with one-way validation system. in T. Berger, P. Collet, L. Duchien, T. Fogdal, P. Heymans, T. Kehrer, J. Martinez, R. Mazo, L. Montalvillo, C. Salinesi, X. Ternava, T. Thum, & T. Ziadi (Hrsg.), Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A (S. 303-308). (ACM International Conference Proceeding Series; Band A). https://doi.org/10.1145/3336294.3336313

Fernandez-Amoros, David ; Heradio, Ruben ; Egyed, Alexander et al. / A kconfig translation to logic with one-way validation system. Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A. Hrsg. / Thorsten Berger ; Philippe Collet ; Laurence Duchien ; Thomas Fogdal ; Patrick Heymans ; Timo Kehrer ; Jabier Martinez ; Raul Mazo ; Leticia Montalvillo ; Camille Salinesi ; Xhevahire Ternava ; Thomas Thum ; Tewfik Ziadi. 2019. S. 303-308 (ACM International Conference Proceeding Series).

@inproceedings{e81f8bcfdd47490aa87dde4918e0f976,

title = "A kconfig translation to logic with one-way validation system",

abstract = "Automated analysis of variability models is crucial for managing software system variants, customized for different market segments or contexts of use. As most approaches for automated analysis are built upon logic engines, they require having a Boolean logic translation of the variability models. However, the translation of some significant languages to Boolean logic is remarkably non-trivial. The contribution of this paper is twofold: first, a translation of the Kconfig language is presented; second, an approach to test the translation for any given model is provided. The proposed translation has been empirically tested with the introduced validation procedure on five open-source projects.",

author = "David Fernandez-Amoros and Ruben Heradio and Alexander Egyed and Christoph Mayr-Dorn",

year = "2019",

month = sep,

doi = "10.1145/3336294.3336313",

language = "English",

series = "ACM International Conference Proceeding Series",

pages = "303--308",

editor = "Thorsten Berger and Philippe Collet and Laurence Duchien and Thomas Fogdal and Patrick Heymans and Timo Kehrer and Jabier Martinez and Raul Mazo and Leticia Montalvillo and Camille Salinesi and Xhevahire Ternava and Thomas Thum and Tewfik Ziadi",

booktitle = "Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A",

}

Fernandez-Amoros, D, Heradio, R, Egyed, A & Mayr-Dorn, C 2019, A kconfig translation to logic with one-way validation system. in T Berger, P Collet, L Duchien, T Fogdal, P Heymans, T Kehrer, J Martinez, R Mazo, L Montalvillo, C Salinesi, X Ternava, T Thum & T Ziadi (Hrsg.), Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A. ACM International Conference Proceeding Series, Bd. A, S. 303-308. https://doi.org/10.1145/3336294.3336313

A kconfig translation to logic with one-way validation system. / Fernandez-Amoros, David; Heradio, Ruben; Egyed, Alexander et al.
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A. Hrsg. / Thorsten Berger; Philippe Collet; Laurence Duchien; Thomas Fogdal; Patrick Heymans; Timo Kehrer; Jabier Martinez; Raul Mazo; Leticia Montalvillo; Camille Salinesi; Xhevahire Ternava; Thomas Thum; Tewfik Ziadi. 2019. S. 303-308 (ACM International Conference Proceeding Series; Band A).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - A kconfig translation to logic with one-way validation system

AU - Fernandez-Amoros, David

AU - Heradio, Ruben

AU - Egyed, Alexander

AU - Mayr-Dorn, Christoph

PY - 2019/9

Y1 - 2019/9

N2 - Automated analysis of variability models is crucial for managing software system variants, customized for different market segments or contexts of use. As most approaches for automated analysis are built upon logic engines, they require having a Boolean logic translation of the variability models. However, the translation of some significant languages to Boolean logic is remarkably non-trivial. The contribution of this paper is twofold: first, a translation of the Kconfig language is presented; second, an approach to test the translation for any given model is provided. The proposed translation has been empirically tested with the introduced validation procedure on five open-source projects.

AB - Automated analysis of variability models is crucial for managing software system variants, customized for different market segments or contexts of use. As most approaches for automated analysis are built upon logic engines, they require having a Boolean logic translation of the variability models. However, the translation of some significant languages to Boolean logic is remarkably non-trivial. The contribution of this paper is twofold: first, a translation of the Kconfig language is presented; second, an approach to test the translation for any given model is provided. The proposed translation has been empirically tested with the introduced validation procedure on five open-source projects.

UR - https://www.scopus.com/pages/publications/85123040245

U2 - 10.1145/3336294.3336313

DO - 10.1145/3336294.3336313

M3 - Conference proceedings

T3 - ACM International Conference Proceeding Series

SP - 303

EP - 308

BT - Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A

A2 - Berger, Thorsten

A2 - Collet, Philippe

A2 - Duchien, Laurence

A2 - Fogdal, Thomas

A2 - Heymans, Patrick

A2 - Kehrer, Timo

A2 - Martinez, Jabier

A2 - Mazo, Raul

A2 - Montalvillo, Leticia

A2 - Salinesi, Camille

A2 - Ternava, Xhevahire

A2 - Thum, Thomas

A2 - Ziadi, Tewfik

ER -

Fernandez-Amoros D, Heradio R, Egyed A, Mayr-Dorn C. A kconfig translation to logic with one-way validation system. in Berger T, Collet P, Duchien L, Fogdal T, Heymans P, Kehrer T, Martinez J, Mazo R, Montalvillo L, Salinesi C, Ternava X, Thum T, Ziadi T, Hrsg., Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A. 2019. S. 303-308. (ACM International Conference Proceeding Series). doi: 10.1145/3336294.3336313