paper.bib

@inproceedings{Arendt:2010:HAC:1926458.1926471,
 author = {Arendt, Thorsten and Biermann, Enrico and Jurack, Stefan and Krause, Christian and Taentzer, Gabriele},
 title = {Henshin: Advanced Concepts and Tools for In-place EMF Model Transformations},
 booktitle = {Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems: Part I},
 series = {MODELS'10},
 year = {2010},
 isbn = {3-642-16144-8, 978-3-642-16144-5},
 location = {Oslo, Norway},
 pages = {121--135},
 numpages = {15},
 url = {http://dl.acm.org/citation.cfm?id=1926458.1926471},
 acmid = {1926471},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@article{MENS2006125,
 author = {Mens, Tom and Van Gorp, Pieter},
 title = {A Taxonomy of Model Transformation},
 journal = {Electron. Notes Theor. Comput. Sci.},
 issue_date = {March, 2006},
 volume = {152},
 month = mar,
 year = {2006},
 issn = {1571-0661},
 pages = {125--142},
 numpages = {18},
 url = {http://dx.doi.org/10.1016/j.entcs.2005.10.021},
 doi = {10.1016/j.entcs.2005.10.021},
 acmid = {1706924},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {MDD, MDE, comparison, model transformation, taxonomy},
} 

@book{steinberg2008emf,
  title={EMF: Eclipse Modeling Framework},
  author={Steinberg, D. and Budinsky, F. and Merks, E. and Paternostro, M.},
  isbn={9780132702218},
  series={Eclipse Series},
  year={2008},
  publisher={Pearson Education}
}

@misc{henshin-transformation-meta-model,
  title = {{Henshin Transformation Meta-Model}},
  author = {{Henshin Eclipse Project Community}},
  howpublished = "\url{https://wiki.eclipse.org/Henshin/Transformation\_Meta-Model}",
  note = "[Online; Accessed: 2018-10-07]",
  year = "2016"
}

@misc{henshin-banking-example,
  title = {{Henshin Examples - Bank Accounts}},
  author = {{Henshin Eclipse Project Community}},
  howpublished = "\url{http://www.eclipse.org/henshin/examples.php?example=bank}",
  note = "[Online; Accessed: 2018-10-14]"
}

@misc{henshin-units,
  title = {{Henshin Units}},
  author = {{Henshin Eclipse Project Community}},
  howpublished = "\url{https://wiki.eclipse.org/Henshin/Units}",
  note = "[Online; Accessed: 2018-10-23]"
}

@book{DBLP:series/eatcs/EhrigEPT06,
  author    = {Hartmut Ehrig and
               Karsten Ehrig and
               Ulrike Prange and
               Gabriele Taentzer},
  title     = {Fundamentals of Algebraic Graph Transformation},
  series    = {Monographs in Theoretical Computer Science. An {EATCS} Series},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/3-540-31188-2},
  doi       = {10.1007/3-540-31188-2},
  isbn      = {978-3-540-31187-4}
}

@misc{tutorial-agt,
  author    = {Hartmut Ehrig and
               Karsten Ehrig and
               Ulrike Prange and
               Gabriele Taentzer},
  title     = {Tutorial on Fundamentals of Algebraic Graph Transformation},
  year      = {2006},
  howpublished = "\url{http://www.cs.le.ac.uk/events/segravis/material/Ehrig-Tutorial4.pdf}",
  note = "[Online; Accessed: 2018-11-04]"
}

@misc{agg,
  title = {{AGG: Attributed Graph Grammar System}},
  author = {{TU Berlin}},
  howpublished = "\url{https://tfs.cs.tu-berlin.de/agg}",
  note = "[Online; Accessed: 2018-10-14]"
}

@book{Fowler:2010:DSL:1809745,
 author = {Fowler, Martin},
 title = {Domain Specific Languages},
 year = {2010},
 isbn = {0321712943, 9780321712943},
 edition = {1st},
 publisher = {Addison-Wesley Professional},
} 

@book{Voelter,
  author = {Voelter, Markus and Benz, Sebastian and Dietrich, Christian and Engelmann, Birgit and Helander, Mats and Kats, Lennart C. L. and Visser, Eelco and Wachsmuth, Guido},
  ee = {http://www.dslbook.org},
  isbn = {978-1-4812-1858-0},
  publisher = {dslbook.org},
  title = {DSL Engineering - Designing, Implementing and Using Domain-Specific Languages.},
  year = 2013
}

@InProceedings{10.1007/978-3-642-38883-5_4,
author="Hermann, Frank
and Gottmann, Susann
and Nachtigall, Nico
and Braatz, Benjamin
and Morelli, Gianluigi
and Pierre, Alain
and Engel, Thomas",
editor="Duddy, Keith
and Kappel, Gerti",
title="On an Automated Translation of Satellite Procedures Using Triple Graph Grammars",
booktitle="Theory and Practice of Model Transformations",
year="2013",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="50--51",
abstract="Model transformation based on triple graph grammars (TGGs) is a general, intuitive and formally well defined technique for the translation of models [5,6,2]. While previous concepts and case studies were focused mainly on visual models of software and systems, this article describes an industrial application of model transformations based on TGGs as a powerful technique for software translation using the tool Henshin [1]. The general problem in this scenario is to translate source code that is currently in use into corresponding source code that shall run on a new system. Up to now, this problem was addressed based on manually written converters, parser generators, compiler-compilers or meta-programming environments using term rewriting or similar techniques (see e. g. [4]).",
isbn="978-3-642-38883-5"
}

@phdthesis{DBLP:phd/de/Konigs2009,
  author    = {Alexander K{\"{o}}nigs},
  title     = {Model integration and transformation: a triple graph grammar-based
               {QVT} implementation},
  school    = {Darmstadt University of Technology},
  year      = {2009},
  url       = {http://tuprints.ulb.tu-darmstadt.de/1194/}
}

@book{Gosling:1996:JLS:560667,
 author = {Gosling, James and Joy, Bill and Steele, Guy L.},
 title = {The  Java Language Specification},
 year = {1996},
 isbn = {0201634511},
 edition = {1st},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
} 

@article{MAHFOUDH2015212,
title = "Algebraic graph transformations for formalizing ontology changes and evolving ontologies",
journal = "Knowledge-Based Systems",
volume = "73",
pages = "212 - 226",
year = "2015",
issn = "0950-7051",
doi = "https://doi.org/10.1016/j.knosys.2014.10.007",
author = "Mariem Mahfoudh and Germain Forestier and Laurent Thiry and Michel Hassenforder",
keywords = "Ontology evolution, Typed Graph Grammars, Algebraic graph transformations, Consistency, AGG"
}

@book{barr1990category,
  title={Category theory for computing science},
  author={Barr, Michael and Wells, Charles},
  volume={49},
  year={1990},
  publisher={Prentice Hall New York}
}

@article{LOWE1993181,
title = "Algebraic approach to single-pushout graph transformation",
journal = "Theoretical Computer Science",
volume = "109",
number = "1",
pages = "181 - 224",
year = "1993",
issn = "0304-3975",
doi = "https://doi.org/10.1016/0304-3975(93)90068-5",
author = "Michael Löwe"
}

@InProceedings{10.1007/BFb0025714,
author="Ehrig, Hartmut",
editor="Claus, Volker
and Ehrig, Hartmut
and Rozenberg, Grzegorz",
title="Introduction to the algebraic theory of graph grammars (a survey)",
booktitle="Graph-Grammars and Their Application to Computer Science and Biology",
year="1979",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="1--69",
abstract="The aim of this survey is to motivate and introduce the basic constructions and results which have been developed in the algebraic theory of graph grammars up to now. The complete material is illustrated by several examples, especially by applications to a ``very small data base system'', where consistent states are represented as graphs, operation rules and operations as productions and derivations in a graph grammar respectively. Further applications to recursively defined functions, record handling, compiler techniques and development and evolution in Biology are sketched in the introduction. This survey is divided into the following sections:1.INTRODUCTION2.GLUING CONSTRUCTIONS FOR GRAPHS3.SEQUENTIAL GRAPH GRAMMARS4.CHURCH-ROSSER PROPERTIES, PARALLELISM --- AND CONCURRENCY THEOREMS5.PROPERTIES OF DERIVATION SEQUENCES6.PARALLEL GRAPH GRAMMARS7.LOCALLY STAR GLUING FORMULAS8.GRAPH LANGUAGES9.APPENDIUM: CONCEPTS OF CATEGORY THEORY USED IN THE ALGEBRAIC THEORY OF GRAPH GRAMMARS10.REFERENCES",
isbn="978-3-540-35091-0"
}

@inproceedings{EHPP04,
Title = {Adhesive High-Level Replacement Categories and Systems},
Author = {Ehrig, H. and Habel, A. and Padberg, J. and Prange, U.},
Booktitle = {Proc. 2nd Int. Conference on Graph Transformation (ICGT'04)},
Pages = {144--160},
Year = {2004},
Issn = {ISSN 0302-9743, ISBN 3-540-23207-9},
Address = {Rome, Italy},
Volume = {3256},
Month = {October},
Editor = {Parisi-Presicce, F. and Bottoni, P. and Engels, G.},
Publisher = {SPRINGER},
Series = {LNCS},
Abstract = {Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the well-known concept of HLR systems with the new concept of adhesive categories introduced by Lack and Sobocinski. In this paper we show that most of the HLR properties, which had been introduced ad hoc to generalize some basic results from the category of graphs to high-level structures, are valid already in adhesive HLR categories. As a main new result in a categorical framework we show the Critical Pair Lemma for local confluence of transformations. Moreover we present a new version of embeddings and extensions for transformations in our framework of adhesive HLR systems.},
Url = {http://tfs.cs.tu-berlin.de/publikationen/Papers04/EHPP04.pdf},
Keywords = {HLR categories, adhesive categories, high-level replacement categories}
}

@InProceedings{10.1007/978-3-540-30203-2_13,
author="Ehrig, Hartmut
and Prange, Ulrike
and Taentzer, Gabriele",
editor="Ehrig, Hartmut
and Engels, Gregor
and Parisi-Presicce, Francesco
and Rozenberg, Grzegorz",
title="Fundamental Theory for Typed Attributed Graph Transformation",
booktitle="Graph Transformations",
year="2004",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="161--177",
abstract="The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no adequate theory for this important branch of graph transformation. In this paper we give a new formalization of typed attributed graphs, which allows node and edge attribution. The first main result shows that the corresponding category is isomorphic to the category of algebras over a specific kind of attributed graph structure signature. This allows to prove the second main result showing that the category of typed attributed graphs is an instance of ``adhesive HLR categories''. This new concept combines adhesive categories introduced by Lack and Soboci{\'{n}}ski with the well-known approach of high-level replacement (HLR) systems using a new simplified version of HLR conditions. As a consequence we obtain a rigorous approach to typed attributed graph transformation providing as fundamental results the Local Church-Rosser, Parallelism, Concurrency, Embedding and Extension Theorem and a Local Confluence Theorem known as Critical Pair Lemma in the literature.",
isbn="978-3-540-30203-2"
}

@inproceedings{Schurr:1994:SGT:647675.731658,
 author = {Sch\"{u}rr, Andy},
 title = {Specification of Graph Translators with Triple Graph Grammars},
 booktitle = {Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science},
 series = {WG '94},
 year = {1995},
 isbn = {3-540-59071-4},
 pages = {151--163},
 numpages = {13},
 url = {http://dl.acm.org/citation.cfm?id=647675.731658},
 acmid = {731658},
 publisher = {Springer-Verlag},
 address = {London, UK, UK},
} 


@Article{ZimmermannArchitecturalRefactorings,
	author="Zimmermann, Olaf",
	title="Architectural refactoring for the cloud: a decision-centric view on cloud migration",
	journal="Computing",
	year="2017",
	volume="99",
	number="2",
	pages="129-145",
	issn="1436-5057",
	doi="10.1007/s00607-016-0520-y",
	url="https://link.springer.com/article/10.1007/s00607-016-0520-y"
}

@mastersthesis{dsl-for-service-decomposition,
  author       = {Stefan Kapferer}, 
  title        = {A Domain-specific Language for Service Decomposition},
  school       = {University of Applied Sciences of Eastern Switzerland (HSR FHO)},
  year         = 2018,
  type         ={{Ongoing Term Thesis}}
}

@book{EvansEric2012Dd:t,
publisher = {Addison-Wesley},
isbn = {978-0-321-12521-7},
year = {2012},
title = {Domain-driven design : tackling complexity in the heart of software},
edition = {18th prin.},
language = {eng},
address = {Upper Saddle River, NJ},
author = {Evans, Eric},
keywords = {SOFTWARE ENGINEERING: 004*04*04},
}

@book{Vernon:2013:IDD:2462636,
 author = {Vernon, Vaughn},
 title = {Implementing Domain-Driven Design},
 year = {2013},
 isbn = {0321834577, 9780321834577},
 edition = {1st},
 publisher = {Addison-Wesley Professional},
} 

@book{millett2015patterns,
  title={Patterns, Principles and Practices of Domain-Driven Design},
  author={Millett, S.},
  isbn={9781118714706},
  lccn={2014951018},
  year={2015},
  publisher={Wiley}
}

@misc{brandolini-infoq,
  title = {{Strategic Domain Driven Design with Context Mapping}},
  author = {Brandolini, Alberto},
  howpublished = "\url{https://www.infoq.com/articles/ddd-contextmapping}",
  note = "[Online; Accessed: 2018-10-12]"
}

@article{emf-tiger,
author = {Biermann, Enrico and Ehrig, Karsten and Ermel, Claudia and Krause, Christian and Kuhns, Günter and Taentzer, Gabi},
title = {Tiger EMF Model Transformation Framework (EMT)}
}

@misc{kermeta,
  title = {{Kermeta 3 - Executable Meta-Modeling}},
  author = {{Kermeta}},
  howpublished = "\url{http://diverse-project.github.io/k3/}",
  note = "[Online; Accessed: 2018-11-11]"
}

@misc{mola,
  title = {{MOLA Project: MOdel transformation LAnguage and MOLA Tool}},
  author = {{MOLA Project}},
  howpublished = "\url{http://mola.mii.lu.lv/}",
  note = "[Online; Accessed: 2018-11-11]"
}

@misc{fujaba,
  title = {{The Fujaba Tool Suite (shortly: Fujaba)}},
  author = {{The Fujaba Project}},
  howpublished = "\url{https://web.cs.upb.de/archive/fujaba/}",
  note = "[Online; Accessed: 2018-11-11]"
}

@article{moment2,
  title={MOMENT: a formal framework for MOdel manageMENT},
  author={Boronat, Artur},
  year={2007},
  publisher={Citeseer}
}

@misc{etl,
  title = {{Epsilon Transformation Language (ETL)}},
  author = {{Epsilon Project}},
  howpublished = "\url{https://www.eclipse.org/epsilon/doc/etl/}",
  note = "[Online; Accessed: 2018-11-11]"
}

@misc{mof,
  title = {{Meta-Object Facility (MOF)}},
  author = {{Object Management Group (OMG)}},
  howpublished = "\url{https://www.omg.org/mof/}",
  note = "[Online; Accessed: 2018-11-11]"
}

@misc{qvt,
  title = {{Query/View/Transformation Specification (QVT)}},
  author = {{Object Management Group (OMG)}},
  howpublished = "\url{https://www.omg.org/spec/QVT/}",
  note = "[Online; Accessed: 2018-11-11]"
}

@misc{atl,
  title = {{ATL Transformation Language)}},
  author = {{Eclipse ATL}},
  howpublished = "\url{http://www.eclipse.org/atl/}",
  note = "[Online; Accessed: 2018-11-11]"
}

@misc{tefkat,
  title = {{Tefkat - The EMF Transformation Engine)}},
  author = {{Tefkat}},
  howpublished = "\url{http://tefkat.sourceforge.net/}",
  note = "[Online; Accessed: 2018-11-11]"
}

@article{soley2000model,
  title={Model driven architecture},
  author={Soley, Richard and others},
  journal={OMG white paper},
  volume={308},
  number={308},
  pages={5},
  year={2000}
}

@InProceedings{10.1007/3-540-45800-X_33,
author="Lodderstedt, Torsten
and Basin, David
and Doser, J{\"u}rgen",
editor="J{\'e}z{\'e}quel, Jean-Marc
and Hussmann, Heinrich
and Cook, Stephen",
title="SecureUML: A UML-Based Modeling Language for Model-Driven Security",
booktitle="≪UML≫ 2002 --- The Unified Modeling Language",
year="2002",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="426--441",
abstract="We present a modeling language for the model-driven development of secure, distributed systems based on the Unified Modeling Language (UML). Our approach is based on role-based access control with additional support for specifying authorization constraints. We show how UML can be used to specify information related to access control in the overall design of an application and how this information can be used to automatically generate complete access control infrastructures. Our approach can be used to improve productivity during the development of secure distributed systems and the quality of the resulting systems.",
isbn="978-3-540-45800-5"
}

@article{taentzer2005model,
  title={Model transformation by graph transformation: A comparative study},
  author={Taentzer, Gabriele and Ehrig, Karsten and Guerra, Esther and Lara, Juan de and Lengyel, Laszlo and Levendovszky, Tihamer and Prange, Ulrike and Varr{\'o}, D{\'a}niel and Varr{\'o}-Gyapay, Szilvia},
  year={2005}
}

@InProceedings{10.1007/3-540-45923-5_12,
author="Lara, Juan de
and Vangheluwe, Hans",
editor="Kutsche, Ralf-Detlef
and Weber, Herbert",
title="AToM\textsuperscript{3}: A Tool for Multi-formalism and Meta-modelling",
booktitle="Fundamental Approaches to Software Engineering",
year="2002",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="174--188",
abstract="This article introduces the combined use of multi-formalism modelling and meta-modelling to facilitate computer assisted modelling of complex systems. The approach allows one to model different parts of a system using different formalisms. Models can be automatically converted between formalisms thanks to information found in a Formalism Transformation Graph (FTG), proposed by the authors. To aid in the automatic generation of multi-formalism modelling tools, formalisms are modelled in their own right (at a meta-level) within an appropriate formalism. This has been implemented in the interactive tool AToM3. This tool is used to describe formalisms commonly used in the simulation of dynamical systems, as well as to generate custom tools to process (create, edit, transform, simulate, optimise, ...) models expressed in the corresponding formalism. AToM3 relies on graph rewriting techniques and graph grammars to perform the transformations between formalisms as well as for other tasks, such as code generation and operational semantics specification.",
isbn="978-3-540-45923-1"
}

@misc{viatra,
  title = {{Viatra - Scalable reactive model transformations}},
  author = {{VIATRA}},
  howpublished = "\url{https://www.eclipse.org/viatra/documentation/}",
  note = "[Online; Accessed: 2018-11-15]"
}

@book{Borger:2003:ASM:829603,
 author = {Borger, E. and Stark, Robert F.},
 title = {Abstract State Machines: A Method for High-Level System Design and Analysis},
 year = {2003},
 isbn = {3540007024},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@misc{context-mapper,
  title = {{Context Mapper - A DSL for Context Mapping \& Service Decomposition}},
  author = {{Context Mapper}},
  howpublished = "\url{https://contextmapper.github.io/}",
  note = "[Online; Accessed: 2018-12-16]"
}