A Study of Variability Models and Languages in the Systems Software Domain

Variability models represent the common and variable features of products in a product line. Since the introduction of FODA in 1990, several variability modeling languages have been proposed in academia and industry, followed by hundreds of research papers on variability models and modeling. However...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering 2013-12, Vol.39 (12), p.1611-1640
Hauptverfasser: Berger, Thorsten, She, Steven, Lotufo, Rafael, Wasowski, Andrzej, Czarnecki, Krzysztof
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 1640
container_issue 12
container_start_page 1611
container_title IEEE transactions on software engineering
container_volume 39
creator Berger, Thorsten
She, Steven
Lotufo, Rafael
Wasowski, Andrzej
Czarnecki, Krzysztof
description Variability models represent the common and variable features of products in a product line. Since the introduction of FODA in 1990, several variability modeling languages have been proposed in academia and industry, followed by hundreds of research papers on variability models and modeling. However, little is known about the practical use of such languages. We study the constructs, semantics, usage, and associated tools of two variability modeling languages, Kconfig and CDL, which are independently developed outside academia and used in large and significant software projects. We analyze 128 variability models found in 12 open--source projects using these languages. Our study 1) supports variability modeling research with empirical data on the real-world use of its flagship concepts. However, we 2) also provide requirements for concepts and mechanisms that are not commonly considered in academic techniques, and 3) challenge assumptions about size and complexity of variability models made in academic papers. These results are of interest to researchers working on variability modeling and analysis techniques and to designers of tools, such as feature dependency checkers and interactive product configurators.
doi_str_mv 10.1109/TSE.2013.34
format Article
fullrecord <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_journals_1464997355</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6572787</ieee_id><sourcerecordid>3146342761</sourcerecordid><originalsourceid>FETCH-LOGICAL-c351t-8227bc848a50a011dc7170b4beae49579ba392698019266ef78014812a09ae963</originalsourceid><addsrcrecordid>eNpd0D1PwzAQBmALgUQpTIwslliQUIod23E8VqV8qYghhdVykktxlcTFToTy70lVxMB0Nzz36vQidEnJjFKi7tbZchYTymaMH6EJVUxFTMTkGE0IUWkkRKpO0VkIW0KIkFJM0MscZ11fDthV-MN4a3Jb227Ar66EOmDTlnhl2k1vNhCwbXH3CTgbQgdNwJmrum_jAd-7xtj2HJ1Upg5w8Tun6P1huV48Rau3x-fFfBUVTNAuSuNY5kXKUyOIIZSWhaSS5DwHA1wJqXLDVJyolNBxJFDJceMpjQ1RBlTCpujmkLvz7quH0OnGhgLq2rTg-qApl0LQ8Z6P9Pof3bret-N3o0q4UpIJMarbgyq8C8FDpXfeNsYPmhK971WPvep9r5rtM68O2gLAn0yEjGUq2Q_ZenCW</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1464997355</pqid></control><display><type>article</type><title>A Study of Variability Models and Languages in the Systems Software Domain</title><source>IEEE Electronic Library (IEL)</source><creator>Berger, Thorsten ; She, Steven ; Lotufo, Rafael ; Wasowski, Andrzej ; Czarnecki, Krzysztof</creator><creatorcontrib>Berger, Thorsten ; She, Steven ; Lotufo, Rafael ; Wasowski, Andrzej ; Czarnecki, Krzysztof</creatorcontrib><description>Variability models represent the common and variable features of products in a product line. Since the introduction of FODA in 1990, several variability modeling languages have been proposed in academia and industry, followed by hundreds of research papers on variability models and modeling. However, little is known about the practical use of such languages. We study the constructs, semantics, usage, and associated tools of two variability modeling languages, Kconfig and CDL, which are independently developed outside academia and used in large and significant software projects. We analyze 128 variability models found in 12 open--source projects using these languages. Our study 1) supports variability modeling research with empirical data on the real-world use of its flagship concepts. However, we 2) also provide requirements for concepts and mechanisms that are not commonly considered in academic techniques, and 3) challenge assumptions about size and complexity of variability models made in academic papers. These results are of interest to researchers working on variability modeling and analysis techniques and to designers of tools, such as feature dependency checkers and interactive product configurators.</description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/TSE.2013.34</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Analytical models ; Biological system modeling ; Checkers ; Computational modeling ; Computer architecture ; configuration ; Empirical software engineering ; feature modeling ; Mathematical models ; open source ; Open source software ; Product line ; Programming languages ; Semantics ; Software engineering ; software product lines ; Software products ; Studies ; Systems design ; variability modeling</subject><ispartof>IEEE transactions on software engineering, 2013-12, Vol.39 (12), p.1611-1640</ispartof><rights>Copyright IEEE Computer Society Dec 2013</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c351t-8227bc848a50a011dc7170b4beae49579ba392698019266ef78014812a09ae963</citedby><cites>FETCH-LOGICAL-c351t-8227bc848a50a011dc7170b4beae49579ba392698019266ef78014812a09ae963</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6572787$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6572787$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Berger, Thorsten</creatorcontrib><creatorcontrib>She, Steven</creatorcontrib><creatorcontrib>Lotufo, Rafael</creatorcontrib><creatorcontrib>Wasowski, Andrzej</creatorcontrib><creatorcontrib>Czarnecki, Krzysztof</creatorcontrib><title>A Study of Variability Models and Languages in the Systems Software Domain</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>Variability models represent the common and variable features of products in a product line. Since the introduction of FODA in 1990, several variability modeling languages have been proposed in academia and industry, followed by hundreds of research papers on variability models and modeling. However, little is known about the practical use of such languages. We study the constructs, semantics, usage, and associated tools of two variability modeling languages, Kconfig and CDL, which are independently developed outside academia and used in large and significant software projects. We analyze 128 variability models found in 12 open--source projects using these languages. Our study 1) supports variability modeling research with empirical data on the real-world use of its flagship concepts. However, we 2) also provide requirements for concepts and mechanisms that are not commonly considered in academic techniques, and 3) challenge assumptions about size and complexity of variability models made in academic papers. These results are of interest to researchers working on variability modeling and analysis techniques and to designers of tools, such as feature dependency checkers and interactive product configurators.</description><subject>Analytical models</subject><subject>Biological system modeling</subject><subject>Checkers</subject><subject>Computational modeling</subject><subject>Computer architecture</subject><subject>configuration</subject><subject>Empirical software engineering</subject><subject>feature modeling</subject><subject>Mathematical models</subject><subject>open source</subject><subject>Open source software</subject><subject>Product line</subject><subject>Programming languages</subject><subject>Semantics</subject><subject>Software engineering</subject><subject>software product lines</subject><subject>Software products</subject><subject>Studies</subject><subject>Systems design</subject><subject>variability modeling</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2013</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpd0D1PwzAQBmALgUQpTIwslliQUIod23E8VqV8qYghhdVykktxlcTFToTy70lVxMB0Nzz36vQidEnJjFKi7tbZchYTymaMH6EJVUxFTMTkGE0IUWkkRKpO0VkIW0KIkFJM0MscZ11fDthV-MN4a3Jb227Ar66EOmDTlnhl2k1vNhCwbXH3CTgbQgdNwJmrum_jAd-7xtj2HJ1Upg5w8Tun6P1huV48Rau3x-fFfBUVTNAuSuNY5kXKUyOIIZSWhaSS5DwHA1wJqXLDVJyolNBxJFDJceMpjQ1RBlTCpujmkLvz7quH0OnGhgLq2rTg-qApl0LQ8Z6P9Pof3bret-N3o0q4UpIJMarbgyq8C8FDpXfeNsYPmhK971WPvep9r5rtM68O2gLAn0yEjGUq2Q_ZenCW</recordid><startdate>201312</startdate><enddate>201312</enddate><creator>Berger, Thorsten</creator><creator>She, Steven</creator><creator>Lotufo, Rafael</creator><creator>Wasowski, Andrzej</creator><creator>Czarnecki, Krzysztof</creator><general>IEEE</general><general>IEEE Computer Society</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>JQ2</scope><scope>K9.</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>F28</scope><scope>FR3</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>201312</creationdate><title>A Study of Variability Models and Languages in the Systems Software Domain</title><author>Berger, Thorsten ; She, Steven ; Lotufo, Rafael ; Wasowski, Andrzej ; Czarnecki, Krzysztof</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c351t-8227bc848a50a011dc7170b4beae49579ba392698019266ef78014812a09ae963</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2013</creationdate><topic>Analytical models</topic><topic>Biological system modeling</topic><topic>Checkers</topic><topic>Computational modeling</topic><topic>Computer architecture</topic><topic>configuration</topic><topic>Empirical software engineering</topic><topic>feature modeling</topic><topic>Mathematical models</topic><topic>open source</topic><topic>Open source software</topic><topic>Product line</topic><topic>Programming languages</topic><topic>Semantics</topic><topic>Software engineering</topic><topic>software product lines</topic><topic>Software products</topic><topic>Studies</topic><topic>Systems design</topic><topic>variability modeling</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Berger, Thorsten</creatorcontrib><creatorcontrib>She, Steven</creatorcontrib><creatorcontrib>Lotufo, Rafael</creatorcontrib><creatorcontrib>Wasowski, Andrzej</creatorcontrib><creatorcontrib>Czarnecki, Krzysztof</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Health &amp; Medical Complete (Alumni)</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics &amp; Communications Abstracts</collection><collection>Technology Research Database</collection><collection>ANTE: Abstracts in New Technology &amp; Engineering</collection><collection>Engineering Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Berger, Thorsten</au><au>She, Steven</au><au>Lotufo, Rafael</au><au>Wasowski, Andrzej</au><au>Czarnecki, Krzysztof</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Study of Variability Models and Languages in the Systems Software Domain</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>2013-12</date><risdate>2013</risdate><volume>39</volume><issue>12</issue><spage>1611</spage><epage>1640</epage><pages>1611-1640</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>Variability models represent the common and variable features of products in a product line. Since the introduction of FODA in 1990, several variability modeling languages have been proposed in academia and industry, followed by hundreds of research papers on variability models and modeling. However, little is known about the practical use of such languages. We study the constructs, semantics, usage, and associated tools of two variability modeling languages, Kconfig and CDL, which are independently developed outside academia and used in large and significant software projects. We analyze 128 variability models found in 12 open--source projects using these languages. Our study 1) supports variability modeling research with empirical data on the real-world use of its flagship concepts. However, we 2) also provide requirements for concepts and mechanisms that are not commonly considered in academic techniques, and 3) challenge assumptions about size and complexity of variability models made in academic papers. These results are of interest to researchers working on variability modeling and analysis techniques and to designers of tools, such as feature dependency checkers and interactive product configurators.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TSE.2013.34</doi><tpages>30</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 0098-5589
ispartof IEEE transactions on software engineering, 2013-12, Vol.39 (12), p.1611-1640
issn 0098-5589
1939-3520
language eng
recordid cdi_proquest_journals_1464997355
source IEEE Electronic Library (IEL)
subjects Analytical models
Biological system modeling
Checkers
Computational modeling
Computer architecture
configuration
Empirical software engineering
feature modeling
Mathematical models
open source
Open source software
Product line
Programming languages
Semantics
Software engineering
software product lines
Software products
Studies
Systems design
variability modeling
title A Study of Variability Models and Languages in the Systems Software Domain
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-23T03%3A36%3A03IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Study%20of%20Variability%20Models%20and%20Languages%20in%20the%20Systems%20Software%20Domain&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Berger,%20Thorsten&rft.date=2013-12&rft.volume=39&rft.issue=12&rft.spage=1611&rft.epage=1640&rft.pages=1611-1640&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/TSE.2013.34&rft_dat=%3Cproquest_RIE%3E3146342761%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1464997355&rft_id=info:pmid/&rft_ieee_id=6572787&rfr_iscdi=true