Constructing optimized constraint-preserving application conditions for model transformation rules
There is an increasing need for model transformations ensuring valid result models w.r.t. a given constraint. In model refactoring, for example, each performed refactoring should yield a valid model again. Given a constraint, if a model transformation rule always produces valid output, it is called...
Saved in:
| Published in | Journal of logical and algebraic methods in programming Vol. 114; p. 100564 |
|---|---|
| Main Authors | , , , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Inc
01.08.2020
|
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | There is an increasing need for model transformations ensuring valid result models w.r.t. a given constraint. In model refactoring, for example, each performed refactoring should yield a valid model again. Given a constraint, if a model transformation rule always produces valid output, it is called constraint-guaranteeing; if only when applied to an already valid model, it is called constraint-preserving. In the literature, there is a formal construction for model transformation systems making them constraint-guaranteeing. This is ensured by adding application conditions to their transformation rules. These conditions can become quite large, though. As there are interesting application cases where transformations just need to be constraint-preserving (such as model refactoring), the construction of application conditions was also adapted to this case. Although logically weaker, the straightforward construction can lead to even larger application conditions. In this work, we develop simplifications of constraint-guaranteeing conditions by omitting certain parts of these conditions, namely of parts that check for antecedent validity. We prove that the resulting application conditions are constraint-preserving and characterize their logical strength. Our theory is developed for M-adhesive categories which encompass various graph-like model structures. In addition, the computation of constraint-guaranteeing application conditions and their simplifications was implemented in the Eclipse plug-in OCL2AC. Evaluations show that the complexity of the constructed simplified conditions is reduced by factor 7 on average. Moreover, this optimization yields a speedup of rule application by approximately 2.5 times. |
|---|---|
| AbstractList | There is an increasing need for model transformations ensuring valid result models w.r.t. a given constraint. In model refactoring, for example, each performed refactoring should yield a valid model again. Given a constraint, if a model transformation rule always produces valid output, it is called constraint-guaranteeing; if only when applied to an already valid model, it is called constraint-preserving. In the literature, there is a formal construction for model transformation systems making them constraint-guaranteeing. This is ensured by adding application conditions to their transformation rules. These conditions can become quite large, though. As there are interesting application cases where transformations just need to be constraint-preserving (such as model refactoring), the construction of application conditions was also adapted to this case. Although logically weaker, the straightforward construction can lead to even larger application conditions. In this work, we develop simplifications of constraint-guaranteeing conditions by omitting certain parts of these conditions, namely of parts that check for antecedent validity. We prove that the resulting application conditions are constraint-preserving and characterize their logical strength. Our theory is developed for M-adhesive categories which encompass various graph-like model structures. In addition, the computation of constraint-guaranteeing application conditions and their simplifications was implemented in the Eclipse plug-in OCL2AC. Evaluations show that the complexity of the constructed simplified conditions is reduced by factor 7 on average. Moreover, this optimization yields a speedup of rule application by approximately 2.5 times. |
| ArticleNumber | 100564 |
| Author | Kosiol, Jens Taentzer, Gabriele Nassar, Nebras Arendt, Thorsten |
| Author_xml | – sequence: 1 givenname: Nebras orcidid: 0000-0002-0838-6513 surname: Nassar fullname: Nassar, Nebras email: nassarn@informatik.uni-marburg.de – sequence: 2 givenname: Jens orcidid: 0000-0003-4733-2777 surname: Kosiol fullname: Kosiol, Jens email: kosiolje@mathematik.uni-marburg.de – sequence: 3 givenname: Thorsten orcidid: 0000-0002-4866-6405 surname: Arendt fullname: Arendt, Thorsten email: thorsten.arendt@uni-marburg.de – sequence: 4 givenname: Gabriele orcidid: 0000-0002-3975-5238 surname: Taentzer fullname: Taentzer, Gabriele email: taentzer@mathematik.uni-marburg.de |
| BookMark | eNqFkLtOwzAUhj0UiVL6BCx5gRRfUscZGFDFTarEArPl2MfIUWJHtlsJnp6kZWKA6dz-7-ic_wotfPCA0A3BG4IJv-02Xa-GcUMxnTt4y6sFWlK2pSWlWFyidUodxpNU1IKRJWp3waccDzo7_1GEMbvBfYEp9KmtnM_lGCFBPM5zNY690yq74GeFcXOWChtiMQQDfTEhPk3lcNbEQw_pGl1Y1SdY_8QVen98eNs9l_vXp5fd_b7UDLNcioZzVjFhRGtqpYlWVlsLnENltTBgGTS25rxqoW0wqSmhVhtrqkoAx7hlK8TOe3UMKUWwcoxuUPFTEixnd2QnT-7I2R15dmeiml-Udvl0_fx-_w97d2ZheuvoIMqkHXgNxkXQWZrg_uS_AaWNihk |
| CitedBy_id | crossref_primary_10_1016_j_jlamp_2020_100576 crossref_primary_10_4204_EPTCS_330_6 crossref_primary_10_1007_s10270_022_01078_x crossref_primary_10_4204_EPTCS_330_2 |
| Cites_doi | 10.1016/S1571-0661(05)80188-4 10.1016/j.scico.2014.01.004 10.1109/TSE.2016.2620145 10.1017/S0960129512000357 10.1109/MS.2003.1231150 10.1016/j.scico.2017.08.006 10.1016/j.scico.2015.02.004 10.1016/j.jss.2015.08.017 10.1051/ita:2005028 10.1007/s10270-011-0199-7 10.1017/S0960129508007202 |
| ContentType | Journal Article |
| Copyright | 2020 Elsevier Inc. |
| Copyright_xml | – notice: 2020 Elsevier Inc. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jlamp.2020.100564 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_jlamp_2020_100564 S2352220820300493 |
| GrantInformation_xml | – fundername: DFG grantid: TA 294/13-2; TA 294/17-1 funderid: https://doi.org/10.13039/501100001659 |
| GroupedDBID | --M 0R~ 4.4 457 4G. 7-5 8P~ AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAXUO AAYFN ABBOA ABMAC ABVKL ABXDB ABYKQ ACDAQ ACGFS ACRLP ADBBV ADEZE AEBSH AEKER AENEX AFKWA AFTJW AGHFR AGUBO AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD AXJTR BKOJK BLXMC EBS EFJIC EFLBG EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 NCXOZ O9- OAUVE RIG ROL SPC SPCBC SSV SSZ T5K ~G- AATTM AAXKI AAYWO AAYXX ABJNI ACVFH ADCNI ADVLN AEIPS AEUPX AFJKZ AFPUW AFXIZ AGCQF AGRNS AIGII AIIUN AKBMS AKRWK AKYEP ANKPU BNPGV CITATION SSH |
| ID | FETCH-LOGICAL-c303t-89663438d8bd7ac1cafcffe66e4fc8def3e9f7664beb9017212fcdfd448e600b3 |
| IEDL.DBID | AIKHN |
| ISSN | 2352-2208 |
| IngestDate | Tue Jul 01 00:37:50 EDT 2025 Thu Apr 24 23:01:00 EDT 2025 Fri Feb 23 02:47:00 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Model transformation Constraints Validity preservation Correctness Graph transformation |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c303t-89663438d8bd7ac1cafcffe66e4fc8def3e9f7664beb9017212fcdfd448e600b3 |
| ORCID | 0000-0002-3975-5238 0000-0002-4866-6405 0000-0002-0838-6513 0000-0003-4733-2777 |
| ParticipantIDs | crossref_primary_10_1016_j_jlamp_2020_100564 crossref_citationtrail_10_1016_j_jlamp_2020_100564 elsevier_sciencedirect_doi_10_1016_j_jlamp_2020_100564 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | August 2020 2020-08-00 |
| PublicationDateYYYYMMDD | 2020-08-01 |
| PublicationDate_xml | – month: 08 year: 2020 text: August 2020 |
| PublicationDecade | 2020 |
| PublicationTitle | Journal of logical and algebraic methods in programming |
| PublicationYear | 2020 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Egyed (br0030) 2006 Ehrig, Golas, Habel, Lambers, Orejas (br0270) 2014; 24 Ohrndorf, Pietsch, Kelter, Kehrer (br0510) 2018 Eclipse Foundation (br0310) 2019 Kehrer, Kelter, Taentzer (br0230) 2013 Giese, Glesner, Leitner, Schäfer, Wagner (br0080) 2006 Dyck, Giese (br0430) 2015; vol. 9151 Arendt, Biermann, Jurack, Krause, Taentzer (br0190) 2010 Schneider, Lambers, Orejas (br0590) 2019; vol. 11424 Kehrer, Taentzer, Rindt, Kelter (br0050) 2016 Corradini, Heindel, Hermann, König (br0370) 2006 Ujhelyi, Bergmann, Hegedüs, Horváth, Izsó, Ráth, Szatmári, Varró (br0340) 2015; 98 Kosiol, Strüber, Taentzer, Zschaler (br0160) 2020 Nassar, Radke, Arendt (br0260) 2017; vol. 10374 Balzer (br0020) 1991 Nassar, Kosiol, Arendt, Taentzer (br0210) 2019 Kosiol, Fritsche, Nassar, Schürr, Taentzer (br0460) 2019 Biermann, Ermel, Taentzer (br0110) 2012; 11 Sandmann, Habel (br0530) 2019 Pennemann (br0380) 2009 Nassar, Kosiol, Radke (br0490) 2017 Dyck, Giese (br0440) 2017; vol. 10373 Krause, Giese (br0070) 2012 Nassar, Kosiol, Kehrer, Taentzer (br0350) 2020 Steimann, Frenkel, Voelter (br0060) 2017 Radke, Arendt, Becker, Habel, Taentzer (br0150) 2018; 152 Habel, Pennemann (br0130) 2009; 19 Becker, Beyer, Giese, Klein, Schilling (br0450) 2006 Schürr (br0290) 1995; vol. 903 Ehrig, Ermel, Golas, Hermann (br0100) 2015 Nentwich, Emmerich, Finkelstein (br0480) 2003 Taentzer, Ohrndorf, Lamo, Rutle (br0500) 2017; vol. 10202 No Magic (br0220) Macedo, Jorge, Cunha (br0470) 2017; 43 Ehrig, Golas, Hermann (br0180) 2010; 102 Macedo, Guimarães, Cunha (br0570) 2013 OCLinEcore (br0320) 2019 Behr, Saadat, Heckel (br0360) 2020 Nassar, Kosiol, Arendt, Taentzer (br0200) 2018 Cuadrado (br0400) 2018 OCL (br0330) 2019 Hegedüs, Horváth, Ráth, Branco, Varró (br0560) 2011 Sen, Baudry, Precup (br0540) 2007 Lack, Sobociński (br0240) 2005; 39 Becker, Lambers, Dyck, Birth, Giese (br0040) 2011 Sendall, Kozaczynski (br0010) 2003; 20 OMG (br0300) 2015 Giese, Larsson (br0390) 2005 Ehrig, Ehrig, Prange, Taentzer (br0090) 2006 Heckel, Wagner (br0280) 1995; 2 Clarisó, Cabot, Guerra, de Lara (br0420) 2016; 116 Rensink (br0120) 2004 Habel, Sandmann (br0520) 2018; vol. 11176 Löwe, König, Schulz, Schultchen (br0250) 2015; 107–108 Pennemann (br0170) 2004 Azab, Habel, Pennemann, Zuckschwerdt (br0410) 2006 Apt, Wallace (br0550) 2007 OMG (br0140) 2014 No Magic (10.1016/j.jlamp.2020.100564_br0220) Clarisó (10.1016/j.jlamp.2020.100564_br0420) 2016; 116 Ehrig (10.1016/j.jlamp.2020.100564_br0180) 2010; 102 Löwe (10.1016/j.jlamp.2020.100564_br0250) 2015; 107–108 Giese (10.1016/j.jlamp.2020.100564_br0390) 2005 Ujhelyi (10.1016/j.jlamp.2020.100564_br0340) 2015; 98 Krause (10.1016/j.jlamp.2020.100564_br0070) 2012 Schürr (10.1016/j.jlamp.2020.100564_br0290) 1995; vol. 903 Nassar (10.1016/j.jlamp.2020.100564_br0260) 2017; vol. 10374 Becker (10.1016/j.jlamp.2020.100564_br0040) 2011 Behr (10.1016/j.jlamp.2020.100564_br0360) Ehrig (10.1016/j.jlamp.2020.100564_br0090) 2006 Kosiol (10.1016/j.jlamp.2020.100564_br0160) 2020 Nassar (10.1016/j.jlamp.2020.100564_br0490) 2017 Cuadrado (10.1016/j.jlamp.2020.100564_br0400) 2018 Dyck (10.1016/j.jlamp.2020.100564_br0440) 2017; vol. 10373 Steimann (10.1016/j.jlamp.2020.100564_br0060) 2017 Sendall (10.1016/j.jlamp.2020.100564_br0010) 2003; 20 Kehrer (10.1016/j.jlamp.2020.100564_br0050) 2016 Nassar (10.1016/j.jlamp.2020.100564_br0350) 2020 Nassar (10.1016/j.jlamp.2020.100564_br0210) 2019 Kehrer (10.1016/j.jlamp.2020.100564_br0230) 2013 Rensink (10.1016/j.jlamp.2020.100564_br0120) 2004 Dyck (10.1016/j.jlamp.2020.100564_br0430) 2015; vol. 9151 Macedo (10.1016/j.jlamp.2020.100564_br0470) 2017; 43 Ehrig (10.1016/j.jlamp.2020.100564_br0100) 2015 Egyed (10.1016/j.jlamp.2020.100564_br0030) 2006 OMG (10.1016/j.jlamp.2020.100564_br0140) Pennemann (10.1016/j.jlamp.2020.100564_br0380) 2009 Ohrndorf (10.1016/j.jlamp.2020.100564_br0510) 2018 Macedo (10.1016/j.jlamp.2020.100564_br0570) 2013 Nentwich (10.1016/j.jlamp.2020.100564_br0480) 2003 Giese (10.1016/j.jlamp.2020.100564_br0080) 2006 Taentzer (10.1016/j.jlamp.2020.100564_br0500) 2017; vol. 10202 Habel (10.1016/j.jlamp.2020.100564_br0130) 2009; 19 Ehrig (10.1016/j.jlamp.2020.100564_br0270) 2014; 24 Arendt (10.1016/j.jlamp.2020.100564_br0190) 2010 Heckel (10.1016/j.jlamp.2020.100564_br0280) 1995; 2 Lack (10.1016/j.jlamp.2020.100564_br0240) 2005; 39 Balzer (10.1016/j.jlamp.2020.100564_br0020) 1991 Kosiol (10.1016/j.jlamp.2020.100564_br0460) 2019 Apt (10.1016/j.jlamp.2020.100564_br0550) 2007 OCL (10.1016/j.jlamp.2020.100564_br0330) Pennemann (10.1016/j.jlamp.2020.100564_br0170) 2004 Sen (10.1016/j.jlamp.2020.100564_br0540) 2007 OMG (10.1016/j.jlamp.2020.100564_br0300) Hegedüs (10.1016/j.jlamp.2020.100564_br0560) 2011 Corradini (10.1016/j.jlamp.2020.100564_br0370) 2006 Becker (10.1016/j.jlamp.2020.100564_br0450) 2006 Schneider (10.1016/j.jlamp.2020.100564_br0590) 2019; vol. 11424 Biermann (10.1016/j.jlamp.2020.100564_br0110) 2012; 11 OCLinEcore (10.1016/j.jlamp.2020.100564_br0320) Nassar (10.1016/j.jlamp.2020.100564_br0200) 2018 Azab (10.1016/j.jlamp.2020.100564_br0410) 2006 Sandmann (10.1016/j.jlamp.2020.100564_br0530) 2019 Radke (10.1016/j.jlamp.2020.100564_br0150) 2018; 152 Eclipse Foundation (10.1016/j.jlamp.2020.100564_br0310) Habel (10.1016/j.jlamp.2020.100564_br0520) 2018; vol. 11176 |
| References_xml | – year: 2015 ident: br0100 article-title: Graph and Model Transformation – General Framework and Applications publication-title: Monographs in Theoretical Computer Science. An EATCS Series – year: 2019 ident: br0330 article-title: Eclipse OCL – start-page: 105 year: 2018 end-page: 108 ident: br0510 article-title: Revision: a tool for history-based model repair recommendations publication-title: Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings – year: 2006 ident: br0090 article-title: Fundamentals of Algebraic Graph Transformation – volume: 152 start-page: 38 year: 2018 end-page: 62 ident: br0150 article-title: Translating essential OCL invariants to nested graph constraints for generating instances of meta-models publication-title: Sci. Comput. Program. – year: 2007 ident: br0540 article-title: Partial model completion in model driven engineering using constraint logic programming publication-title: Proc. INAP'07 – start-page: 381 year: 2006 end-page: 390 ident: br0030 article-title: Instant consistency checking for the UML publication-title: Proceedings of the 28th International Conference on Software Engineering – volume: vol. 9151 start-page: 237 year: 2015 end-page: 253 ident: br0430 article-title: Inductive invariant checking with partial negative application conditions publication-title: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings – start-page: 173 year: 2016 end-page: 188 ident: br0050 article-title: Automatically deriving the specification of model editing operations from meta-models publication-title: Theory and Practice of Model Transformations – year: 2020 ident: br0360 article-title: Commutators for stochastic rewriting systems: theory and implementation in Z3 – volume: 11 start-page: 227 year: 2012 end-page: 250 ident: br0110 article-title: Formal foundation of consistent EMF model transformations by algebraic graph transformation publication-title: Softw. Syst. Model. – year: 2019 ident: br0320 article-title: Eclipse OCL – year: 2020 ident: br0160 article-title: Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations publication-title: Graph Transformation – start-page: 17 year: 2011 end-page: 24 ident: br0560 article-title: Quick fix generation for dsmls publication-title: 2011 IEEE Symposium on Visual Languages and Human-Centric Computing – volume: 107–108 start-page: 2 year: 2015 end-page: 18 ident: br0250 article-title: Algebraic graph transformations with inheritance and abstraction publication-title: Sci. Comput. Program. – start-page: 309 year: 2005 end-page: 323 ident: br0390 article-title: Simplifying transformations of OCL constraints publication-title: Model Driven Engineering Languages and Systems – year: 2009 ident: br0380 article-title: Development of Correct Graph Transformation Systems – start-page: 319 year: 2004 end-page: 335 ident: br0120 article-title: Representing first-order logic using graphs publication-title: Graph Transformations – volume: 19 start-page: 245 year: 2009 end-page: 296 ident: br0130 article-title: Correctness of high-level transformation systems relative to nested conditions publication-title: Math. Struct. Comput. Sci. – start-page: 121 year: 2010 end-page: 135 ident: br0190 article-title: Henshin: advanced concepts and tools for in-place EMF model transformations publication-title: Proc. of MODELS 2010 – volume: vol. 10374 start-page: 171 year: 2017 end-page: 181 ident: br0260 article-title: Rule-based repair of EMF models: an automated interactive approach publication-title: Theory and Practice of Model Transformation – 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings – year: 2015 ident: br0300 article-title: OMG unified modeling language. Version 2.5 – start-page: 82 year: 2006 end-page: 93 ident: br0410 article-title: ENFORCe: a system for ensuring formal correctness of high-level programs publication-title: Proc. 3rd International Workshop on Graph Based Tools, GraBaTs'06, vol. 1 – volume: 116 start-page: 113 year: 2016 end-page: 132 ident: br0420 article-title: Backwards reasoning for model transformations: method and applications publication-title: J. Syst. Softw. – volume: 24 year: 2014 ident: br0270 article-title: -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation publication-title: Math. Struct. Comput. Sci. – volume: 98 start-page: 80 year: 2015 end-page: 99 ident: br0340 article-title: EMF-IncQuery publication-title: Sci. Comput. Program. – start-page: 139 year: 2019 end-page: 153 ident: br0460 article-title: Constructing constraint-preserving interaction schemes in adhesive categories publication-title: Recent Trends in Algebraic Development Techniques – volume: 2 start-page: 118 year: 1995 end-page: 126 ident: br0280 article-title: Ensuring consistency of conditional graph grammars publication-title: Electron. Notes Theor. Comput. Sci. – start-page: 72 year: 2006 end-page: 81 ident: br0450 article-title: Symbolic invariant verification for systems with dynamic structural adaptation publication-title: 28th International Conference on Software Engineering – start-page: 311 year: 2012 end-page: 325 ident: br0070 article-title: Probabilistic graph transformation systems publication-title: Graph Transformations – start-page: 78 year: 2006 end-page: 93 ident: br0080 article-title: Towards verified model transformations publication-title: Proc. of the 3rd International Workshop on Model Development, Validation and Verification – start-page: 49 year: 2019 end-page: 64 ident: br0530 article-title: Rule-based graph repair publication-title: The Tenth International Workshop on Graph Computation Models (GCM 2019) – Proceedings – volume: vol. 10373 start-page: 142 year: 2017 end-page: 158 ident: br0440 article-title: k-inductive invariant checking for graph transformation systems publication-title: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF – volume: vol. 10202 start-page: 283 year: 2017 end-page: 299 ident: br0500 article-title: Change-preserving model repair publication-title: Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings – volume: 102 start-page: 111 year: 2010 end-page: 121 ident: br0180 article-title: Categorical frameworks for graph transformation and HLR systems based on the DPO approach publication-title: Bull. EATCS – start-page: 191 year: 2013 end-page: 201 ident: br0230 article-title: Consistency-preserving edit scripts in model versioning publication-title: 2013 28th IEEE/ACM International Conference on Automated Software Engineering – start-page: 79 year: 2017 end-page: 90 ident: br0060 article-title: Robust projectional editing publication-title: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering – start-page: 30 year: 2006 end-page: 45 ident: br0370 article-title: Sesqui-pushout rewriting publication-title: Graph Transformations – volume: vol. 11176 start-page: 431 year: 2018 end-page: 446 ident: br0520 article-title: Graph repair by graph programs publication-title: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops – volume: vol. 11424 start-page: 151 year: 2019 end-page: 167 ident: br0590 article-title: A logic-based incremental approach to graph repair publication-title: Fundamental Approaches to Software Engineering – 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings – volume: 39 start-page: 511 year: 2005 end-page: 545 ident: br0240 article-title: Adhesive and quasiadhesive categories publication-title: Theor. Inform. Appl. – volume: vol. 903 start-page: 151 year: 1995 end-page: 163 ident: br0290 article-title: Specification of graph translators with triple graph grammars publication-title: Graph-Theoretic Concepts in Computer Science – start-page: 694 year: 2013 end-page: 697 ident: br0570 article-title: Model repair and transformation with echo publication-title: 2013 28th IEEE/ACM International Conference on Automated Software Engineering – start-page: 455 year: 2003 end-page: 464 ident: br0480 article-title: Consistency management with repair actions publication-title: Proceedings of the 25th International Conference on Software Engineering – start-page: 123 year: 2011 end-page: 137 ident: br0040 article-title: Iterative development of consistency-preserving rule-based refactorings publication-title: Theory and Practice of Model Transformations – year: 2007 ident: br0550 article-title: Constraint Logic Programming Using Eclipse – ident: br0220 article-title: Magic draw – year: 2017 ident: br0490 article-title: Rule-based repair of emf models: formalization and correctness proof publication-title: Graph Computation Models (GCM 2017), Electronic Pre-Proceedings – start-page: 177 year: 2019 end-page: 194 ident: br0210 article-title: Constructing optimized validity-preserving application conditions for graph transformation rules publication-title: Graph Transformation – start-page: 224 year: 2020 end-page: 244 ident: br0350 article-title: Generating large EMF models efficiently - a rule-based, configurable approach publication-title: Fundamental Approaches to Software Engineering – year: 2004 ident: br0170 article-title: Generalized Constraints and Application Conditions for Graph Transformation Systems – volume: 43 start-page: 615 year: 2017 end-page: 640 ident: br0470 article-title: A feature-based classification of model repair approaches publication-title: IEEE Trans. Softw. Eng. – year: 2019 ident: br0310 article-title: Eclipse Modeling Framework (EMF) – start-page: 158 year: 1991 end-page: 165 ident: br0020 article-title: Tolerating inconsistency publication-title: Proceedings of the 13th International Conference on Software Engineering – year: 2014 ident: br0140 article-title: Object constraint language – volume: 20 start-page: 42 year: 2003 end-page: 45 ident: br0010 article-title: Model transformation: the heart and soul of model-driven software development publication-title: IEEE Softw. – start-page: 28 year: 2018 end-page: 45 ident: br0400 article-title: Optimising OCL synthesized code publication-title: Modelling Foundations and Applications – start-page: 171 year: 2018 end-page: 177 ident: br0200 article-title: OCL2AC. Automatic translation of OCL constraints to graph constraints and application conditions for transformation rules publication-title: Proc. of ICGT 2018 – volume: 2 start-page: 118 issue: Supplement C year: 1995 ident: 10.1016/j.jlamp.2020.100564_br0280 article-title: Ensuring consistency of conditional graph grammars publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/S1571-0661(05)80188-4 – volume: 98 start-page: 80 issue: P1 year: 2015 ident: 10.1016/j.jlamp.2020.100564_br0340 article-title: EMF-IncQuery publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2014.01.004 – volume: 43 start-page: 615 issue: 7 year: 2017 ident: 10.1016/j.jlamp.2020.100564_br0470 article-title: A feature-based classification of model repair approaches publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2016.2620145 – start-page: 311 year: 2012 ident: 10.1016/j.jlamp.2020.100564_br0070 article-title: Probabilistic graph transformation systems – year: 2009 ident: 10.1016/j.jlamp.2020.100564_br0380 – year: 2004 ident: 10.1016/j.jlamp.2020.100564_br0170 – volume: vol. 10374 start-page: 171 year: 2017 ident: 10.1016/j.jlamp.2020.100564_br0260 article-title: Rule-based repair of EMF models: an automated interactive approach – volume: vol. 11424 start-page: 151 year: 2019 ident: 10.1016/j.jlamp.2020.100564_br0590 article-title: A logic-based incremental approach to graph repair – volume: 24 issue: 4 year: 2014 ident: 10.1016/j.jlamp.2020.100564_br0270 article-title: M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation publication-title: Math. Struct. Comput. Sci. doi: 10.1017/S0960129512000357 – start-page: 82 year: 2006 ident: 10.1016/j.jlamp.2020.100564_br0410 article-title: ENFORCe: a system for ensuring formal correctness of high-level programs – volume: 20 start-page: 42 issue: 5 year: 2003 ident: 10.1016/j.jlamp.2020.100564_br0010 article-title: Model transformation: the heart and soul of model-driven software development publication-title: IEEE Softw. doi: 10.1109/MS.2003.1231150 – volume: 152 start-page: 38 year: 2018 ident: 10.1016/j.jlamp.2020.100564_br0150 article-title: Translating essential OCL invariants to nested graph constraints for generating instances of meta-models publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2017.08.006 – start-page: 191 year: 2013 ident: 10.1016/j.jlamp.2020.100564_br0230 article-title: Consistency-preserving edit scripts in model versioning – volume: vol. 903 start-page: 151 year: 1995 ident: 10.1016/j.jlamp.2020.100564_br0290 article-title: Specification of graph translators with triple graph grammars – start-page: 173 year: 2016 ident: 10.1016/j.jlamp.2020.100564_br0050 article-title: Automatically deriving the specification of model editing operations from meta-models – start-page: 123 year: 2011 ident: 10.1016/j.jlamp.2020.100564_br0040 article-title: Iterative development of consistency-preserving rule-based refactorings – year: 2015 ident: 10.1016/j.jlamp.2020.100564_br0100 article-title: Graph and Model Transformation – General Framework and Applications – ident: 10.1016/j.jlamp.2020.100564_br0300 – year: 2007 ident: 10.1016/j.jlamp.2020.100564_br0540 article-title: Partial model completion in model driven engineering using constraint logic programming – ident: 10.1016/j.jlamp.2020.100564_br0310 – start-page: 28 year: 2018 ident: 10.1016/j.jlamp.2020.100564_br0400 article-title: Optimising OCL synthesized code – volume: 107–108 start-page: 2 year: 2015 ident: 10.1016/j.jlamp.2020.100564_br0250 article-title: Algebraic graph transformations with inheritance and abstraction publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2015.02.004 – start-page: 30 year: 2006 ident: 10.1016/j.jlamp.2020.100564_br0370 article-title: Sesqui-pushout rewriting – start-page: 79 year: 2017 ident: 10.1016/j.jlamp.2020.100564_br0060 article-title: Robust projectional editing – volume: 102 start-page: 111 year: 2010 ident: 10.1016/j.jlamp.2020.100564_br0180 article-title: Categorical frameworks for graph transformation and HLR systems based on the DPO approach publication-title: Bull. EATCS – volume: 116 start-page: 113 issue: Supplement C year: 2016 ident: 10.1016/j.jlamp.2020.100564_br0420 article-title: Backwards reasoning for model transformations: method and applications publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2015.08.017 – volume: vol. 10373 start-page: 142 year: 2017 ident: 10.1016/j.jlamp.2020.100564_br0440 article-title: k-inductive invariant checking for graph transformation systems – ident: 10.1016/j.jlamp.2020.100564_br0140 – year: 2020 ident: 10.1016/j.jlamp.2020.100564_br0160 article-title: Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations – start-page: 139 year: 2019 ident: 10.1016/j.jlamp.2020.100564_br0460 article-title: Constructing constraint-preserving interaction schemes in adhesive categories – start-page: 49 year: 2019 ident: 10.1016/j.jlamp.2020.100564_br0530 article-title: Rule-based graph repair – start-page: 171 year: 2018 ident: 10.1016/j.jlamp.2020.100564_br0200 article-title: OCL2AC. Automatic translation of OCL constraints to graph constraints and application conditions for transformation rules – ident: 10.1016/j.jlamp.2020.100564_br0360 – start-page: 381 year: 2006 ident: 10.1016/j.jlamp.2020.100564_br0030 article-title: Instant consistency checking for the UML – start-page: 319 year: 2004 ident: 10.1016/j.jlamp.2020.100564_br0120 article-title: Representing first-order logic using graphs – start-page: 177 year: 2019 ident: 10.1016/j.jlamp.2020.100564_br0210 article-title: Constructing optimized validity-preserving application conditions for graph transformation rules – volume: vol. 9151 start-page: 237 year: 2015 ident: 10.1016/j.jlamp.2020.100564_br0430 article-title: Inductive invariant checking with partial negative application conditions – start-page: 224 year: 2020 ident: 10.1016/j.jlamp.2020.100564_br0350 article-title: Generating large EMF models efficiently - a rule-based, configurable approach – volume: 39 start-page: 511 issue: 3 year: 2005 ident: 10.1016/j.jlamp.2020.100564_br0240 article-title: Adhesive and quasiadhesive categories publication-title: Theor. Inform. Appl. doi: 10.1051/ita:2005028 – ident: 10.1016/j.jlamp.2020.100564_br0220 – volume: 11 start-page: 227 issue: 2 year: 2012 ident: 10.1016/j.jlamp.2020.100564_br0110 article-title: Formal foundation of consistent EMF model transformations by algebraic graph transformation publication-title: Softw. Syst. Model. doi: 10.1007/s10270-011-0199-7 – volume: 19 start-page: 245 year: 2009 ident: 10.1016/j.jlamp.2020.100564_br0130 article-title: Correctness of high-level transformation systems relative to nested conditions publication-title: Math. Struct. Comput. Sci. doi: 10.1017/S0960129508007202 – ident: 10.1016/j.jlamp.2020.100564_br0320 – start-page: 455 year: 2003 ident: 10.1016/j.jlamp.2020.100564_br0480 article-title: Consistency management with repair actions – volume: vol. 10202 start-page: 283 year: 2017 ident: 10.1016/j.jlamp.2020.100564_br0500 article-title: Change-preserving model repair – year: 2007 ident: 10.1016/j.jlamp.2020.100564_br0550 – start-page: 121 year: 2010 ident: 10.1016/j.jlamp.2020.100564_br0190 article-title: Henshin: advanced concepts and tools for in-place EMF model transformations – year: 2017 ident: 10.1016/j.jlamp.2020.100564_br0490 article-title: Rule-based repair of emf models: formalization and correctness proof – volume: vol. 11176 start-page: 431 year: 2018 ident: 10.1016/j.jlamp.2020.100564_br0520 article-title: Graph repair by graph programs – start-page: 694 year: 2013 ident: 10.1016/j.jlamp.2020.100564_br0570 article-title: Model repair and transformation with echo – start-page: 105 year: 2018 ident: 10.1016/j.jlamp.2020.100564_br0510 article-title: Revision: a tool for history-based model repair recommendations – start-page: 72 year: 2006 ident: 10.1016/j.jlamp.2020.100564_br0450 article-title: Symbolic invariant verification for systems with dynamic structural adaptation – start-page: 78 year: 2006 ident: 10.1016/j.jlamp.2020.100564_br0080 article-title: Towards verified model transformations – year: 2006 ident: 10.1016/j.jlamp.2020.100564_br0090 – start-page: 309 year: 2005 ident: 10.1016/j.jlamp.2020.100564_br0390 article-title: Simplifying transformations of OCL constraints – start-page: 17 year: 2011 ident: 10.1016/j.jlamp.2020.100564_br0560 article-title: Quick fix generation for dsmls – start-page: 158 year: 1991 ident: 10.1016/j.jlamp.2020.100564_br0020 article-title: Tolerating inconsistency – ident: 10.1016/j.jlamp.2020.100564_br0330 |
| SSID | ssj0001687831 |
| Score | 2.2109494 |
| Snippet | There is an increasing need for model transformations ensuring valid result models w.r.t. a given constraint. In model refactoring, for example, each performed... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 100564 |
| SubjectTerms | Constraints Correctness Graph transformation Model transformation Validity preservation |
| Title | Constructing optimized constraint-preserving application conditions for model transformation rules |
| URI | https://dx.doi.org/10.1016/j.jlamp.2020.100564 |
| Volume | 114 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELYKXVh4I8pLHhixmtiO44xVRVVAdIFK3aL4hVqVtoKw8Os5Jw4UCXVgjHMnJWfn7jvn8x1C1xFLrKM2IwAHFOGOxUQWTJAC5t_FwqhE-NPIjyMxHPP7STJpoX5zFsbTKoPvr3165a3DSDdYs7uaTrtP1GMH6kOYrxqVsS3UpiwTsLTbvbuH4ehnq0XIVFadCb0K8TpN_aGK6TUD2_vSlbTiDCSC_x2j1uLOYB_tBsCIe_UzHaCWXRyivaYZAw7f5hFSvvVmXQx28YKX4Alep5_WYF0NQ_5fEs959a4B7q_9t_YSpiZuYUCwuOqNg8s1QAsybx9z-36MxoPb5_6QhAYKRENkKomEXIZxJo1UJi10rAunnbNCWO60NNYxm7lUCK6syqpkkDptnIGUzQIQUuwEbS-WC3uKsIIYZjMTR1mhecGTQolIaSat5iaiLu0g2pgs16G6uH-5ed7QyGZ5Zefc2zmv7dxBN99Kq7q4xmZx0cxF_muN5OD-Nyme_VfxHO34q5rwd4G2YRbtJYCQUl2FRfYFlX7d-w |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED6VdoCFN6I8MzBiNYkdJxmriiqlj4VW6mbFL9SqpBWEhV-PnQcUCTGwxj4pOTt33yWfvwO4c3GgtK9iZOAAR0RjD0Uppig16689KnlA7Wnk8YQmM_I4D-YN6NVnYSytsor9ZUwvonV1pVN5s7NZLDpPvsUOvk1hVjUqxjvQsupUQRNa3cEwmXx_aqFRGBWdCa0Jsja1_lDB9Foa31vpSr_gDASU_J6jtvJO_xD2K8DodMt7OoKGyo7hoG7G4FTv5glw23qzFIPNnp21iQQviw8lHVFcNvV_jizn1YYGM77139rOkCVxyzEI1il64zj5FqA1c17fV-rtFGb9h2kvQVUDBSRMZspRZGoZTHAkIy7DVHgi1UJrRakiWkRSaaxiHVJKuOJxUQz6WkgtTcmmDBDi-Aya2TpT5-Bwk8NULD03TgVJSZBy6nKBIyWIdH0dtsGvXcZEpS5uH27FahrZkhV-ZtbPrPRzG-6_jDaluMbf02m9FuzHHmEm_P9lePFfw1vYTabjERsNJsNL2LMjJfnvCppmRdW1ASQ5v6k23CcUAuDh |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Constructing+optimized+constraint-preserving+application+conditions+for+model+transformation+rules&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Nassar%2C+Nebras&rft.au=Kosiol%2C+Jens&rft.au=Arendt%2C+Thorsten&rft.au=Taentzer%2C+Gabriele&rft.date=2020-08-01&rft.pub=Elsevier+Inc&rft.issn=2352-2208&rft.volume=114&rft_id=info:doi/10.1016%2Fj.jlamp.2020.100564&rft.externalDocID=S2352220820300493 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |