A constraint-based variability modeling framework
Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this pap...
Gespeichert in:
| Veröffentlicht in: | International journal on software tools for technology transfer 2012-10, Vol.14 (5), p.511-530 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 530 |
|---|---|
| container_issue | 5 |
| container_start_page | 511 |
| container_title | International journal on software tools for technology transfer |
| container_volume | 14 |
| creator | Jörges, Sven Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard |
| description | Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study. |
| doi_str_mv | 10.1007/s10009-012-0254-x |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1136420072</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1136420072</sourcerecordid><originalsourceid>FETCH-LOGICAL-c264x-764c94f1f6917ad1e9a942ba89649b029b144280bf353cad72ff26987d3ac3343</originalsourceid><addsrcrecordid>eNp1kE1LAzEQhoMoWKs_wNuCFy_RTJImm2MpfkHBi55DNpuU1P2oyVbbf2_KiojgZWYOzzvMPAhdArkBQuRtypUoTIBiQmcc747QBDhjmMpSHv_MUp2is5TWhIAUUk0QzAvbd2mIJnQDrkxydfFhYjBVaMKwL9q-dk3oVoWPpnWffXw7RyfeNMldfPcper2_e1k84uXzw9NivsSWCr7DUnCruAcvFEhTg1NGcVqZUgmuKkJVBZzTklSezZg1taTeU6FKWTNjGeNsiq7HvZvYv29dGnQbknVNYzrXb5MGYILT_DvN6NUfdN1vY5ev00CYojPBqMoUjJSNfUrReb2JoTVxnyF9kKhHiTpL1AeJepczdMykzHYrF39v_i_0BWTGcwc</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1039256329</pqid></control><display><type>article</type><title>A constraint-based variability modeling framework</title><source>SpringerLink Journals</source><creator>Jörges, Sven ; Lamprecht, Anna-Lena ; Margaria, Tiziana ; Schaefer, Ina ; Steffen, Bernhard</creator><creatorcontrib>Jörges, Sven ; Lamprecht, Anna-Lena ; Margaria, Tiziana ; Schaefer, Ina ; Steffen, Bernhard</creatorcontrib><description>Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study.</description><identifier>ISSN: 1433-2779</identifier><identifier>EISSN: 1433-2787</identifier><identifier>DOI: 10.1007/s10009-012-0254-x</identifier><language>eng</language><publisher>Berlin/Heidelberg: Springer-Verlag</publisher><subject>Case studies ; Computer programs ; Computer Science ; Concretes ; Consistency ; Flavours ; Software ; Software Engineering ; Software Engineering/Programming and Operating Systems ; Specifications ; SW-Diversity ; Synthesis ; Technology transfer ; Theory of Computation ; Variables</subject><ispartof>International journal on software tools for technology transfer, 2012-10, Vol.14 (5), p.511-530</ispartof><rights>Springer-Verlag 2012</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c264x-764c94f1f6917ad1e9a942ba89649b029b144280bf353cad72ff26987d3ac3343</citedby><cites>FETCH-LOGICAL-c264x-764c94f1f6917ad1e9a942ba89649b029b144280bf353cad72ff26987d3ac3343</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s10009-012-0254-x$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s10009-012-0254-x$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,780,784,27924,27925,41488,42557,51319</link.rule.ids></links><search><creatorcontrib>Jörges, Sven</creatorcontrib><creatorcontrib>Lamprecht, Anna-Lena</creatorcontrib><creatorcontrib>Margaria, Tiziana</creatorcontrib><creatorcontrib>Schaefer, Ina</creatorcontrib><creatorcontrib>Steffen, Bernhard</creatorcontrib><title>A constraint-based variability modeling framework</title><title>International journal on software tools for technology transfer</title><addtitle>Int J Softw Tools Technol Transfer</addtitle><description>Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study.</description><subject>Case studies</subject><subject>Computer programs</subject><subject>Computer Science</subject><subject>Concretes</subject><subject>Consistency</subject><subject>Flavours</subject><subject>Software</subject><subject>Software Engineering</subject><subject>Software Engineering/Programming and Operating Systems</subject><subject>Specifications</subject><subject>SW-Diversity</subject><subject>Synthesis</subject><subject>Technology transfer</subject><subject>Theory of Computation</subject><subject>Variables</subject><issn>1433-2779</issn><issn>1433-2787</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2012</creationdate><recordtype>article</recordtype><sourceid>8G5</sourceid><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><sourceid>GUQSH</sourceid><sourceid>M2O</sourceid><recordid>eNp1kE1LAzEQhoMoWKs_wNuCFy_RTJImm2MpfkHBi55DNpuU1P2oyVbbf2_KiojgZWYOzzvMPAhdArkBQuRtypUoTIBiQmcc747QBDhjmMpSHv_MUp2is5TWhIAUUk0QzAvbd2mIJnQDrkxydfFhYjBVaMKwL9q-dk3oVoWPpnWffXw7RyfeNMldfPcper2_e1k84uXzw9NivsSWCr7DUnCruAcvFEhTg1NGcVqZUgmuKkJVBZzTklSezZg1taTeU6FKWTNjGeNsiq7HvZvYv29dGnQbknVNYzrXb5MGYILT_DvN6NUfdN1vY5ev00CYojPBqMoUjJSNfUrReb2JoTVxnyF9kKhHiTpL1AeJepczdMykzHYrF39v_i_0BWTGcwc</recordid><startdate>20121001</startdate><enddate>20121001</enddate><creator>Jörges, Sven</creator><creator>Lamprecht, Anna-Lena</creator><creator>Margaria, Tiziana</creator><creator>Schaefer, Ina</creator><creator>Steffen, Bernhard</creator><general>Springer-Verlag</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7XB</scope><scope>8AL</scope><scope>8AO</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>8G5</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L6V</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>M2O</scope><scope>M7S</scope><scope>MBDVC</scope><scope>P5Z</scope><scope>P62</scope><scope>PADUT</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope></search><sort><creationdate>20121001</creationdate><title>A constraint-based variability modeling framework</title><author>Jörges, Sven ; Lamprecht, Anna-Lena ; Margaria, Tiziana ; Schaefer, Ina ; Steffen, Bernhard</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c264x-764c94f1f6917ad1e9a942ba89649b029b144280bf353cad72ff26987d3ac3343</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Case studies</topic><topic>Computer programs</topic><topic>Computer Science</topic><topic>Concretes</topic><topic>Consistency</topic><topic>Flavours</topic><topic>Software</topic><topic>Software Engineering</topic><topic>Software Engineering/Programming and Operating Systems</topic><topic>Specifications</topic><topic>SW-Diversity</topic><topic>Synthesis</topic><topic>Technology transfer</topic><topic>Theory of Computation</topic><topic>Variables</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Jörges, Sven</creatorcontrib><creatorcontrib>Lamprecht, Anna-Lena</creatorcontrib><creatorcontrib>Margaria, Tiziana</creatorcontrib><creatorcontrib>Schaefer, Ina</creatorcontrib><creatorcontrib>Steffen, Bernhard</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest Pharma Collection</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Research Library (Alumni Edition)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Engineering Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Research Library</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>Research Library China</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><jtitle>International journal on software tools for technology transfer</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Jörges, Sven</au><au>Lamprecht, Anna-Lena</au><au>Margaria, Tiziana</au><au>Schaefer, Ina</au><au>Steffen, Bernhard</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A constraint-based variability modeling framework</atitle><jtitle>International journal on software tools for technology transfer</jtitle><stitle>Int J Softw Tools Technol Transfer</stitle><date>2012-10-01</date><risdate>2012</risdate><volume>14</volume><issue>5</issue><spage>511</spage><epage>530</epage><pages>511-530</pages><issn>1433-2779</issn><eissn>1433-2787</eissn><abstract>Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study.</abstract><cop>Berlin/Heidelberg</cop><pub>Springer-Verlag</pub><doi>10.1007/s10009-012-0254-x</doi><tpages>20</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1433-2779 |
| ispartof | International journal on software tools for technology transfer, 2012-10, Vol.14 (5), p.511-530 |
| issn | 1433-2779 1433-2787 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_1136420072 |
| source | SpringerLink Journals |
| subjects | Case studies Computer programs Computer Science Concretes Consistency Flavours Software Software Engineering Software Engineering/Programming and Operating Systems Specifications SW-Diversity Synthesis Technology transfer Theory of Computation Variables |
| title | A constraint-based variability modeling framework |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-03T08%3A54%3A43IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20constraint-based%20variability%20modeling%20framework&rft.jtitle=International%20journal%20on%20software%20tools%20for%20technology%20transfer&rft.au=J%C3%B6rges,%20Sven&rft.date=2012-10-01&rft.volume=14&rft.issue=5&rft.spage=511&rft.epage=530&rft.pages=511-530&rft.issn=1433-2779&rft.eissn=1433-2787&rft_id=info:doi/10.1007/s10009-012-0254-x&rft_dat=%3Cproquest_cross%3E1136420072%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1039256329&rft_id=info:pmid/&rfr_iscdi=true |