Variability-based model transformation: formal foundation and application
Model transformation systems often contain transformation rules that are substantially similar to each other, causing maintenance issues and performance bottlenecks. To address these issues, we introduce variability-based model transformation . The key idea is to encode a set of similar rules into a...
Gespeichert in:
| Veröffentlicht in: | Formal aspects of computing 2018, Vol.30 (1), p.133-162 |
|---|---|
| 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 | 162 |
|---|---|
| container_issue | 1 |
| container_start_page | 133 |
| container_title | Formal aspects of computing |
| container_volume | 30 |
| creator | Strüber, D. Rubin, J. Arendt, T. Chechik, M. Taentzer, G. Plöger, J. |
| description | Model transformation systems often contain transformation rules that are substantially similar to each other, causing maintenance issues and performance bottlenecks. To address these issues, we introduce
variability-based model transformation
. The key idea is to encode a set of similar rules into a compact representation, called
variability-based rule
. We provide an algorithm for applying such rules in an efficient manner. In addition, we introduce rule merging, a three-component mechanism for enabling the automatic creation of variability-based rules. Our rule application and merging mechanisms are supported by a novel formal framework, using category theory to provide precise definitions and to prove correctness. In two realistic application scenarios, the created variability-based rules enabled considerable speedups, while also allowing the overall specifications to become more compact. |
| doi_str_mv | 10.1007/s00165-017-0441-3 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_1968661935</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1968661935</sourcerecordid><originalsourceid>FETCH-LOGICAL-c316t-8ccba64f592ddfbd60fb4d6bfe86dff9b8832f1d85b431c954a12ce24211e1d33</originalsourceid><addsrcrecordid>eNp1kElLA0EQhRtRcIz-AG8Dnlu7esu0NwkugYAXFW9NrzJhNrsnh_x7JxkPXjy9quK9V_AhdA3kFghZ3mVCQApMYIkJ54DZCSqAM4apUp-nqCCKcSwIZ-foIuft5BYKoEDrD5NqY-umHvfYmhx82fY-NOWYTJdjn1oz1n13Xx7HZpJd54-n0nS-NMPQ1O64X6KzaJocrn51gd6fHt9WL3jz-rxePWywYyBHXDlnjeRRKOp9tF6SaLmXNoZK-hiVrSpGI_hKWM7AKcENUBcopwABPGMLdDP3Dqn_3oU86m2_S930UoOSlZSgmJhcMLtc6nNOIeoh1a1Jew1EH4jpmZieiOkDMX1opnMmT97uK6Q_zf-GfgD9KG93</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1968661935</pqid></control><display><type>article</type><title>Variability-based model transformation: formal foundation and application</title><source>EZB-FREE-00999 freely available EZB journals</source><source>SpringerLink Journals - AutoHoldings</source><creator>Strüber, D. ; Rubin, J. ; Arendt, T. ; Chechik, M. ; Taentzer, G. ; Plöger, J.</creator><creatorcontrib>Strüber, D. ; Rubin, J. ; Arendt, T. ; Chechik, M. ; Taentzer, G. ; Plöger, J.</creatorcontrib><description>Model transformation systems often contain transformation rules that are substantially similar to each other, causing maintenance issues and performance bottlenecks. To address these issues, we introduce
variability-based model transformation
. The key idea is to encode a set of similar rules into a compact representation, called
variability-based rule
. We provide an algorithm for applying such rules in an efficient manner. In addition, we introduce rule merging, a three-component mechanism for enabling the automatic creation of variability-based rules. Our rule application and merging mechanisms are supported by a novel formal framework, using category theory to provide precise definitions and to prove correctness. In two realistic application scenarios, the created variability-based rules enabled considerable speedups, while also allowing the overall specifications to become more compact.</description><identifier>ISSN: 0934-5043</identifier><identifier>EISSN: 1433-299X</identifier><identifier>DOI: 10.1007/s00165-017-0441-3</identifier><language>eng</language><publisher>London: Springer London</publisher><subject>Computer Science ; Math Applications in Computer Science ; Original Article ; Theory of Computation ; Transformations</subject><ispartof>Formal aspects of computing, 2018, Vol.30 (1), p.133-162</ispartof><rights>British Computer Society 2017</rights><rights>Formal Aspects of Computing is a copyright of Springer, (2017). All Rights Reserved.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c316t-8ccba64f592ddfbd60fb4d6bfe86dff9b8832f1d85b431c954a12ce24211e1d33</citedby><cites>FETCH-LOGICAL-c316t-8ccba64f592ddfbd60fb4d6bfe86dff9b8832f1d85b431c954a12ce24211e1d33</cites><orcidid>0000-0002-5969-3521</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s00165-017-0441-3$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s00165-017-0441-3$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,776,780,27901,27902,41464,42533,51294</link.rule.ids></links><search><creatorcontrib>Strüber, D.</creatorcontrib><creatorcontrib>Rubin, J.</creatorcontrib><creatorcontrib>Arendt, T.</creatorcontrib><creatorcontrib>Chechik, M.</creatorcontrib><creatorcontrib>Taentzer, G.</creatorcontrib><creatorcontrib>Plöger, J.</creatorcontrib><title>Variability-based model transformation: formal foundation and application</title><title>Formal aspects of computing</title><addtitle>Form Asp Comp</addtitle><description>Model transformation systems often contain transformation rules that are substantially similar to each other, causing maintenance issues and performance bottlenecks. To address these issues, we introduce
variability-based model transformation
. The key idea is to encode a set of similar rules into a compact representation, called
variability-based rule
. We provide an algorithm for applying such rules in an efficient manner. In addition, we introduce rule merging, a three-component mechanism for enabling the automatic creation of variability-based rules. Our rule application and merging mechanisms are supported by a novel formal framework, using category theory to provide precise definitions and to prove correctness. In two realistic application scenarios, the created variability-based rules enabled considerable speedups, while also allowing the overall specifications to become more compact.</description><subject>Computer Science</subject><subject>Math Applications in Computer Science</subject><subject>Original Article</subject><subject>Theory of Computation</subject><subject>Transformations</subject><issn>0934-5043</issn><issn>1433-299X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2018</creationdate><recordtype>article</recordtype><sourceid>BENPR</sourceid><recordid>eNp1kElLA0EQhRtRcIz-AG8Dnlu7esu0NwkugYAXFW9NrzJhNrsnh_x7JxkPXjy9quK9V_AhdA3kFghZ3mVCQApMYIkJ54DZCSqAM4apUp-nqCCKcSwIZ-foIuft5BYKoEDrD5NqY-umHvfYmhx82fY-NOWYTJdjn1oz1n13Xx7HZpJd54-n0nS-NMPQ1O64X6KzaJocrn51gd6fHt9WL3jz-rxePWywYyBHXDlnjeRRKOp9tF6SaLmXNoZK-hiVrSpGI_hKWM7AKcENUBcopwABPGMLdDP3Dqn_3oU86m2_S930UoOSlZSgmJhcMLtc6nNOIeoh1a1Jew1EH4jpmZieiOkDMX1opnMmT97uK6Q_zf-GfgD9KG93</recordid><startdate>2018</startdate><enddate>2018</enddate><creator>Strüber, D.</creator><creator>Rubin, J.</creator><creator>Arendt, T.</creator><creator>Chechik, M.</creator><creator>Taentzer, G.</creator><creator>Plöger, J.</creator><general>Springer London</general><general>Association for Computing Machinery</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>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>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>Q9U</scope><orcidid>https://orcid.org/0000-0002-5969-3521</orcidid></search><sort><creationdate>2018</creationdate><title>Variability-based model transformation: formal foundation and application</title><author>Strüber, D. ; Rubin, J. ; Arendt, T. ; Chechik, M. ; Taentzer, G. ; Plöger, J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c316t-8ccba64f592ddfbd60fb4d6bfe86dff9b8832f1d85b431c954a12ce24211e1d33</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2018</creationdate><topic>Computer Science</topic><topic>Math Applications in Computer Science</topic><topic>Original Article</topic><topic>Theory of Computation</topic><topic>Transformations</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Strüber, D.</creatorcontrib><creatorcontrib>Rubin, J.</creatorcontrib><creatorcontrib>Arendt, T.</creatorcontrib><creatorcontrib>Chechik, M.</creatorcontrib><creatorcontrib>Taentzer, G.</creatorcontrib><creatorcontrib>Plöger, J.</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>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>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science 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><collection>Computing Database</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</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>ProQuest Central Basic</collection><jtitle>Formal aspects of computing</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Strüber, D.</au><au>Rubin, J.</au><au>Arendt, T.</au><au>Chechik, M.</au><au>Taentzer, G.</au><au>Plöger, J.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Variability-based model transformation: formal foundation and application</atitle><jtitle>Formal aspects of computing</jtitle><stitle>Form Asp Comp</stitle><date>2018</date><risdate>2018</risdate><volume>30</volume><issue>1</issue><spage>133</spage><epage>162</epage><pages>133-162</pages><issn>0934-5043</issn><eissn>1433-299X</eissn><abstract>Model transformation systems often contain transformation rules that are substantially similar to each other, causing maintenance issues and performance bottlenecks. To address these issues, we introduce
variability-based model transformation
. The key idea is to encode a set of similar rules into a compact representation, called
variability-based rule
. We provide an algorithm for applying such rules in an efficient manner. In addition, we introduce rule merging, a three-component mechanism for enabling the automatic creation of variability-based rules. Our rule application and merging mechanisms are supported by a novel formal framework, using category theory to provide precise definitions and to prove correctness. In two realistic application scenarios, the created variability-based rules enabled considerable speedups, while also allowing the overall specifications to become more compact.</abstract><cop>London</cop><pub>Springer London</pub><doi>10.1007/s00165-017-0441-3</doi><tpages>30</tpages><orcidid>https://orcid.org/0000-0002-5969-3521</orcidid></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0934-5043 |
| ispartof | Formal aspects of computing, 2018, Vol.30 (1), p.133-162 |
| issn | 0934-5043 1433-299X |
| language | eng |
| recordid | cdi_proquest_journals_1968661935 |
| source | EZB-FREE-00999 freely available EZB journals; SpringerLink Journals - AutoHoldings |
| subjects | Computer Science Math Applications in Computer Science Original Article Theory of Computation Transformations |
| title | Variability-based model transformation: formal foundation and application |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-29T17%3A08%3A36IST&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=Variability-based%20model%20transformation:%20formal%20foundation%20and%20application&rft.jtitle=Formal%20aspects%20of%20computing&rft.au=Str%C3%BCber,%20D.&rft.date=2018&rft.volume=30&rft.issue=1&rft.spage=133&rft.epage=162&rft.pages=133-162&rft.issn=0934-5043&rft.eissn=1433-299X&rft_id=info:doi/10.1007/s00165-017-0441-3&rft_dat=%3Cproquest_cross%3E1968661935%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=1968661935&rft_id=info:pmid/&rfr_iscdi=true |