publications: - title: "The Grand Challenge of Scalability for Model Driven Engineering" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_5" links: doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_5" tags: - "meta-model" - "model-driven engineering" - "C++" - "Meta-Environment" researchr: "https://researchr.org/publication/KolovosPP08%3A1" cites: 0 citedby: 0 pages: "48-53" booktitle: "Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers" editor: - name: "Michel R. V. Chaudron" link: "http://www.win.tue.nl/~mchaudro/" volume: "5421" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-01647-9" kind: "inproceedings" key: "KolovosPP08:1" - title: "Rigorous Identification and Encoding of Trace-Links in Model-Driven Engineering" author: - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Nikolaos Drivalos" link: "https://researchr.org/alias/nikolaos-drivalos" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Kiran J. Fernandes" link: "https://researchr.org/alias/kiran-j.-fernandes" - name: "Christopher Power" link: "https://researchr.org/alias/christopher-power" - name: " Goran K. Olsen" link: "https://researchr.org/alias/goran-k.-olsen" - name: "Steffen Zschaler" link: "http://www.steffen-zschaler.de/" year: "2010" doi: "10.1007/s10270-010-0158-8" tags: - "meta-model" - "model-driven engineering" - "Meta-Environment" researchr: "https://researchr.org/publication/PaigeDrivalosKolovosFernandesPowerOlsenZschaler2010" cites: 0 citedby: 0 journal: "Software and Systems Modeling" kind: "article" key: "PaigeDrivalosKolovosFernandesPowerOlsenZschaler2010" - title: "Towards Synchronizing Models with Evolving Metamodels" author: - name: "Boris Gruschko" link: "https://researchr.org/alias/boris-gruschko" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" year: "2007" abstract: "Metamodel evolution poses a threat to the applicability of Model-Driven Development to large scale projects. The problem is caused by incompatibilities between meta-model revisions. These render models that conform to the older version of the metamodel non-conformant to the newer version. An approach to addressing this problem is co-evolution of models with their respective metamodels. In this paper we introduce the problem of synchronizing models with evolving metamodels and outline an approach to addressing it efficiently. The aim of the proposed approach is to minimize the effort required to perform model migration in face of metamodel changes. To provide deeper insights into the envisioned approach, we demonstrate preliminary solutions to the problem of change detection between two metamodel revisions. Furthermore, we present an approach to model-to-model transformations, using a conservative copying algorithm, which regulates the retainment of instances during model migration." links: "url": "http://www.sciences.univ-nantes.fr/MoDSE2007/p15.pdf" tags: - "model-to-model transformation" - "synchronization" - "meta-model" - "modeling" - "model-driven development" - "source-to-source" - "migration" - "model transformation" - "Meta-Environment" - "systematic-approach" - "meta-objects" - "transformation" researchr: "https://researchr.org/publication/Gruschko%3AMoDSE%3A2007" cites: 0 citedby: 0 booktitle: "Workshop on Model-Driven Software Evolution at CSMR 2007" kind: "inproceedings" key: "Gruschko:MoDSE:2007" - title: "Update Transformations in the Small with the Epsilon Wizard Language" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" - name: "Louis M. Rose" link: "http://www.cs.york.ac.uk/~louis" year: "2007" doi: "http://www.jot.fm/issues/issue_2007_10/paper3/index.html" links: doi: "http://www.jot.fm/issues/issue_2007_10/paper3/index.html" tags: - "transformation language" - "C++" - "Epsilon" - "transformation" researchr: "https://researchr.org/publication/KolovosPPR07" cites: 0 citedby: 0 journal: "Journal of Object Technology" volume: "6" number: "9" pages: "53-69" kind: "article" key: "KolovosPPR07" - title: "The Epsilon Generation Language" author: - name: "Louis M. Rose" link: "http://www.cs.york.ac.uk/~louis" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-69100-6_1" links: doi: "http://dx.doi.org/10.1007/978-3-540-69100-6_1" tags: - "C++" - "Epsilon" researchr: "https://researchr.org/publication/RosePKP08%3A0" cites: 0 citedby: 0 pages: "1-16" booktitle: "Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings" editor: - name: "Ina Schieferdecker" link: "https://researchr.org/alias/ina-schieferdecker" - name: "Alan Hartman" link: "https://researchr.org/alias/alan-hartman" volume: "5095" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69095-5" kind: "inproceedings" key: "RosePKP08:0" - title: "Abstracting Complex Languages through Transformation and Composition" author: - name: "Jendrik Johannes" link: "http://jjohannes.de" - name: "Steffen Zschaler" link: "http://www.steffen-zschaler.de/" - name: "Miguel A. Fernández" link: "https://researchr.org/alias/miguel-a.-fern%C3%A3%C2%A1ndez" - name: "Antonio Castillo" link: "https://researchr.org/alias/antonio-castillo" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-04425-0_41" links: doi: "http://dx.doi.org/10.1007/978-3-642-04425-0_41" technicalreport: "https://researchr.org/publication/AbstractDSMLTechReport" tags: - "transformation language" - "composition" - "transformation" researchr: "https://researchr.org/publication/JohannesZFCKP09" cites: 0 citedby: 0 pages: "546-550" booktitle: "Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings" editor: - name: "Andy Schürr" link: "https://researchr.org/alias/andy-sch%C3%BCrr" - name: "Bran Selic" link: "https://researchr.org/alias/bran-selic" volume: "5795" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-04424-3" kind: "inproceedings" key: "JohannesZFCKP09" - title: "Enhanced Automation for Managing Model and Metamodel Inconsistency" author: - name: "Louis M. Rose" link: "http://www.cs.york.ac.uk/~louis" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2009" doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57" abstract: "Model-Driven Engineering (MDE) introduces additional challenges for managing evolution. For example, a metamodel change may affect instance models. Existing tool supported approaches for updating models in response to a metamodel change assume extra effort from metamodel developers. When no existing approach is applicable, metamodel users must update their models manually, an error prone and tedious task. In this paper, we describe the technical challenges faced when using the Eclipse Modeling Framework (EMF) and existing approaches for updating models in response to a metamodel change. We then motivate and describe alternative techniques, including: a mechanism for loading, storing and mainpulating inconsistent models; a mapping of inconsistent models to a human-usable notation for semi-automated and collaborative co-evolution; and integration with an inter-model reference manager, achieving automatic consistency checking as part of metamodel distribution." links: doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57" tags: - "Eclipse" - "model checking" - "meta-model" - "modeling" - "EMF" - "model-driven engineering" - "C++" - "consistency" - "Meta-Environment" - "MDE" - "systematic-approach" researchr: "https://researchr.org/publication/Rose%3AASE%3A2009" cites: 0 citedby: 0 journal: "Automated Software Engineering, International Conference on" volume: "0" kind: "article" key: "Rose:ASE:2009" - title: "Different models for model matching: An analysis of approaches to support model differencing" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Davide Di Ruscio" link: "http://www.di.univaq.it/diruscio/" - name: "Alfonso Pierantonio" link: "http://www.di.univaq.it/alfonso" - name: "Richard Paige" link: "http://www.cs.york.ac.uk/~paige" year: "2009" tags: - "meta-model" - "analysis" - "Meta-Environment" - "systematic-approach" researchr: "https://researchr.org/publication/KolovosRuscioPierantonioPaige2009" cites: 0 citedby: 1 pages: "1-6" kind: "inproceedings" key: "KolovosRuscioPierantonioPaige2009" - title: "An action semantics for MOF 2.0" author: - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2006" doi: "http://doi.acm.org/10.1145/1141277.1141579" links: doi: "http://doi.acm.org/10.1145/1141277.1141579" tags: - "semantics" - " action semantics" - "C++" researchr: "https://researchr.org/publication/PaigeKP06" cites: 0 citedby: 0 pages: "1304-1305" booktitle: "Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006" editor: - name: "Hisham Haddad" link: "https://researchr.org/alias/hisham-haddad" publisher: "ACM" isbn: "1-59593-108-2" kind: "inproceedings" key: "PaigeKP06" - title: "A Canonical Scheme for Model Composition" author: - name: "Jean Bézivin" link: "https://researchr.org/alias/jean-b%C3%A9zivin" - name: "Salim Bouzitouna" link: "https://researchr.org/alias/salim-bouzitouna" - name: "Marcos Didonet Del Fabro" link: "https://researchr.org/alias/marcos-didonet-del-fabro" - name: "Marie-Pierre Gervais" link: "https://researchr.org/alias/marie-pierre-gervais" - name: "Frédéric Jouault" link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-jouault" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Ivan Kurtev" link: "https://researchr.org/alias/ivan-kurtev" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" year: "2006" doi: "http://dx.doi.org/10.1007/11787044_26" links: doi: "http://dx.doi.org/10.1007/11787044_26" tags: - "meta-model" - "composition" - "Meta-Environment" researchr: "https://researchr.org/publication/BezivinBFGJKKP06" cites: 0 citedby: 0 pages: "346-360" booktitle: "Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings" editor: - name: "Arend Rensink" link: "http://wwwhome.cs.utwente.nl/~rensink/" - name: "Jos Warmer" link: "https://researchr.org/alias/jos-warmer" volume: "4066" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35909-5" kind: "inproceedings" key: "BezivinBFGJKKP06" - title: "Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2006" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/42" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/42" tags: - "OCL" - "modeling language" - "language modeling" - "C++" - "query language" - "domain-specific language" researchr: "https://researchr.org/publication/KolovosPP06%3A1" cites: 0 citedby: 0 journal: "ECEASST" volume: "5" kind: "article" key: "KolovosPP06:1" - title: "The Epsilon Object Language (EOL)" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2006" doi: "http://dx.doi.org/10.1007/11787044_11" links: doi: "http://dx.doi.org/10.1007/11787044_11" tags: - "meta-model" - "C++" - "Epsilon" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/KolovosPP06%3A0" cites: 0 citedby: 0 pages: "128-142" booktitle: "Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings" editor: - name: "Arend Rensink" link: "http://wwwhome.cs.utwente.nl/~rensink/" - name: "Jos Warmer" link: "https://researchr.org/alias/jos-warmer" volume: "4066" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35909-5" kind: "inproceedings" key: "KolovosPP06:0" - title: "Domain-Specific Metamodelling Languages for Software Language Engineering" author: - name: "Steffen Zschaler" link: "http://www.steffen-zschaler.de/" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Nicholas Drivalos" link: "http://" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Awais Rashid" link: "http://www.comp.lancs.ac.uk/department/staff.php?name=marash" year: "2010" month: "mar" tags: - "language engineering" - "software language engineering" - "software engineering" - "domain-specific language" researchr: "https://researchr.org/publication/Zschaler-10" cites: 0 citedby: 0 booktitle: "Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers" volume: "5969" series: "LNCS" publisher: "Springer" kind: "inproceedings" key: "Zschaler-10" - title: "Merging Models with the Epsilon Merging Language (EML)" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2006" doi: "http://dx.doi.org/10.1007/11880240_16" links: doi: "http://dx.doi.org/10.1007/11880240_16" tags: - "modeling language" - "language modeling" - "C++" - "Epsilon" researchr: "https://researchr.org/publication/KolovosPP06" cites: 0 citedby: 0 pages: "215-229" booktitle: "Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings" editor: - name: "Oscar Nierstrasz" link: "http://scg.unibe.ch/staff/oscar" - name: "Jon Whittle" link: "http://www.comp.lancs.ac.uk/~whittljn/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Gianna Reggio" link: "https://researchr.org/alias/gianna-reggio" volume: "4199" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-45772-0" kind: "inproceedings" key: "KolovosPP06" - title: "Building Model-Driven Engineering Traceability Classifications" author: - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Goran Olsen" link: "http://" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Steffen Zschaler" link: "http://www.steffen-zschaler.de/" - name: "Christopher Power" link: "http://" year: "2008" tags: - "classification" - "meta-model" - "model-driven engineering" - "Meta-Environment" researchr: "https://researchr.org/publication/PaigeOlsenKolovosZschalerPower08" cites: 0 citedby: 0 booktitle: "4th ECMDA Traceability Workshop" kind: "inproceedings" key: "PaigeOlsenKolovosZschalerPower08" - title: "Using a Model Merging Language for Reconciling Model Versions" author: - name: "Klaus D. Engel" link: "https://researchr.org/alias/klaus-d.-engel" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" year: "2006" doi: "http://dx.doi.org/10.1007/11787044_12" links: doi: "http://dx.doi.org/10.1007/11787044_12" tags: - "meta-model" - "modeling language" - "modeling" - "language modeling" - "Meta-Environment" researchr: "https://researchr.org/publication/EngelPK06" cites: 0 citedby: 0 pages: "143-157" booktitle: "Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings" editor: - name: "Arend Rensink" link: "http://wwwhome.cs.utwente.nl/~rensink/" - name: "Jos Warmer" link: "https://researchr.org/alias/jos-warmer" volume: "4066" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35909-5" kind: "inproceedings" key: "EngelPK06" - title: "Model Migration Case for TTC 2010" author: - name: "Louis M. Rose" link: "http://www.cs.york.ac.uk/~louis" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2010" links: "url": "http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/cases/ttc2010_submission_2_v2010-04-22.pdf" tags: - "C++" - "migration" researchr: "https://researchr.org/publication/louism.rosemodel" cites: 0 citedby: 0 booktitle: "Transformation Tool Contest" editor: - name: "Pieter Van Gorp" link: "http://www.pietervangorp.com/" - name: "Steffen Mazanek" link: "https://researchr.org/alias/steffen-mazanek" - name: "Arend Rensink" link: "http://wwwhome.cs.utwente.nl/~rensink/" address: "Malaga" kind: "inproceedings" key: "louism.rosemodel" - title: "An Analysis of Approaches to Model Migration" author: - name: "Louis M. Rose" link: "http://www.cs.york.ac.uk/~louis" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2009" abstract: "Changing a metamodel can cause inconsistency with instance models. Modelling frameworks such as EMF that implement the OMG's metamodelling architecture cannot be used to manipulate models that are inconsistent with their metamodel: inconsistent models cannot be loaded. Consequently, developers have to invest effort in migrating inconsistent models, to re-establish consistency. This is an example of model and metamodel evolution --- indeed, of co-evolution. In their recent book, Mens and Demeyer note that there are new challenges for MDE in controlling and managing model and metamodel evolution. Various approaches to automating model migration have been proposed. In this paper, we demonstrate some of the important limitations of automatic generation of model migration strategies, and identify requirements for improved model and metamodel co-evolution support." links: "paper (draft)": "http://www-users.cs.york.ac.uk/~dkolovos/misc/MODSE.2009.pdf" tags: - "meta-model" - "modeling" - "architecture" - "analysis" - "EMF" - "C++" - "migration" - "consistency" - "Meta-Environment" - "MDE" - "systematic-approach" researchr: "https://researchr.org/publication/Rose%3AMCCM%3A2009" cites: 0 citedby: 1 booktitle: "Proc. Models and Evolution (MoDSE-MCCM) Workshop, 12th ACM/IEEE International Conference on Model Driven Engineering, Languages and Systems" kind: "inproceedings" key: "Rose:MCCM:2009" - title: "Engineering a DSL for Software Traceability" author: - name: "Nikolaos Drivalos" link: "https://researchr.org/alias/nikolaos-drivalos" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Kiran J. Fernandes" link: "https://researchr.org/alias/kiran-j.-fernandes" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_10" links: doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_10" tags: - "software engineering" - "DSL" researchr: "https://researchr.org/publication/DrivalosKPF08" cites: 0 citedby: 0 pages: "151-167" booktitle: "Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers" editor: - name: "Dragan Gasevic" link: "http://www.sfu.ca/~dgasevic/" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" volume: "5452" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-00433-9" kind: "inproceedings" key: "DrivalosKPF08" - title: "Establishing Correspondences between Models with the Epsilon Comparison Language" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02674-4_11" links: doi: "http://dx.doi.org/10.1007/978-3-642-02674-4_11" tags: - "modeling language" - "language modeling" - "Epsilon" researchr: "https://researchr.org/publication/Kolovos09" cites: 0 citedby: 0 pages: "146-157" booktitle: "Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings" editor: - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Alan Hartman" link: "https://researchr.org/alias/alan-hartman" - name: "Arend Rensink" link: "http://wwwhome.cs.utwente.nl/~rensink/" volume: "5562" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02673-7" kind: "inproceedings" key: "Kolovos09" - title: "Refinement via Consistency Checking in MDA" author: - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.029" links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.029" tags: - "refinement" - "C++" - "consistency" researchr: "https://researchr.org/publication/PaigeKP05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "137" number: "2" pages: "151-161" kind: "article" key: "PaigeKP05" - title: "Detecting and Repairing Inconsistencies across Heterogeneous Models" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2008" doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2008.23" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2008.23" tags: - "C++" researchr: "https://researchr.org/publication/KolovosPP08" cites: 0 citedby: 0 pages: "356-364" booktitle: "First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008" publisher: "IEEE Computer Society" kind: "inproceedings" key: "KolovosPP08" - title: "An Agile and Extensible Code Generation Framework" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2005" doi: "http://dx.doi.org/10.1007/11499053_33" links: doi: "http://dx.doi.org/10.1007/11499053_33" tags: - "C++" - "code generation" researchr: "https://researchr.org/publication/KolovosPP05" cites: 0 citedby: 0 pages: "226-229" booktitle: "Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings" editor: - name: "Hubert Baumeister" link: "https://researchr.org/alias/hubert-baumeister" - name: "Michele Marchesi" link: "https://researchr.org/alias/michele-marchesi" - name: "Mike Holcombe" link: "https://researchr.org/alias/mike-holcombe" volume: "3556" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-26277-6" kind: "inproceedings" key: "KolovosPP05" - title: "Constructing Models with the Human-Usable Textual Notation" author: - name: "Louis M. Rose" link: "http://www.cs.york.ac.uk/~louis" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_18" links: doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_18" tags: - "C++" researchr: "https://researchr.org/publication/RosePKP08" cites: 0 citedby: 0 pages: "249-263" booktitle: "Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings" editor: - name: "Krzysztof Czarnecki" link: "http://www.swen.uwaterloo.ca/~kczarnec/" - name: "Ileana Ober" link: "https://researchr.org/alias/ileana-ober" - name: "Jean-Michel Bruel" link: "https://researchr.org/alias/jean-michel-bruel" - name: "Axel Uhl" link: "https://researchr.org/alias/axel-uhl" - name: "Markus Völter" link: "http://www.voelter.de/" volume: "5301" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-87874-2" kind: "inproceedings" key: "RosePKP08" - title: "FPTC: Automated Safety Analysis for Domain-Specific Languages" author: - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Louis M. Rose" link: "http://www.cs.york.ac.uk/~louis" - name: "Xiaocheng Ge" link: "https://researchr.org/alias/xiaocheng-ge" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Phillip J. Brooke" link: "https://researchr.org/alias/phillip-j.-brooke" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_25" links: doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_25" tags: - "domain analysis" - "analysis" - "domain-specific language" researchr: "https://researchr.org/publication/PaigeRGKB08" cites: 0 citedby: 0 pages: "229-242" booktitle: "Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers" editor: - name: "Michel R. V. Chaudron" link: "http://www.win.tue.nl/~mchaudro/" volume: "5421" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-01647-9" kind: "inproceedings" key: "PaigeRGKB08" - title: "Abstracting Complex Languages through Transformation and Composition" author: - name: "Jendrik Johannes" link: "http://jjohannes.de" - name: "Steffen Zschaler" link: "http://www.steffen-zschaler.de/" - name: "Miguel A. Fern{'a}ndez" link: "https://researchr.org/alias/miguel-a.-fern%7B%27a%7Dndez" - name: "Antonio Castillo" link: "https://researchr.org/alias/antonio-castillo" - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" year: "2009" links: published: "https://researchr.org/publication/JohannesZFCKP09" "url": "ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-08.pdf" tags: - "transformation language" - "composition" - "transformation" researchr: "https://researchr.org/publication/AbstractDSMLTechReport" cites: 0 citedby: 0 institution: "Technische Universit{\\\"a}t Dresden" number: "TUD-FI09-08 July 2009" address: "ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-08.pdf" kind: "techreport" key: "AbstractDSMLTechReport" - title: "The Epsilon Transformation Language" author: - name: "Dimitris Kolovos" link: "http://www-users.cs.york.ac.uk/~dkolovos/" - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" - name: "Fiona A. C. Polack" link: "http://www-users.cs.york.ac.uk/~fiona/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_4" links: doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_4" tags: - "transformation language" - "C++" - "Epsilon" - "transformation" researchr: "https://researchr.org/publication/KolovosPP08%3A0" cites: 0 citedby: 0 pages: "46-60" booktitle: "Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings" editor: - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" - name: "Jeffrey G. Gray" link: "http://www.gray-area.org/" - name: "Alfonso Pierantonio" link: "http://www.di.univaq.it/alfonso" volume: "5063" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69926-2" kind: "inproceedings" key: "KolovosPP08:0"