Formale Sprachen

Metamodellierung und Graphgrammatiken: Integration zweier Paradigmen zur Definition von visuellen Modellierungssprachen

Projektdauer: 2012-2015

Finanzierung durch: Deutsche Forschungsgemeinschaft (DFG)

Zusammenfassung des Forschungsvorhabens:

Visuelle Modellierungssprachen spielen zum Verständnis und zur Konstruktion von Systemen, sowohl von Hardware- und Softwaresystemen in der Informatik als auch andere Arten von Systemen, wie z.B. Produktionssysteme, eine wesentliche Rolle. In der modellgetriebenen Softwareentwicklung werden Modelle sogar zu den zentralen Artefakten der Softwareentwicklung. Je nach Zweck der Modellierung werden verschiedene Modellierungssprachen, generelle und domänenspezifische sowie visuelle und textuelle, benötigt. In diesem Projekt betrachten wir zwei komplementäre Ansätze zur Definition von visuellen Modellierungssprachen: Metamodellierung und Graphgrammatiken. Während die Metamodellierung einen deklarativen Sprachentwurf repräsentiert, definieren Graphgrammatiken eine Sprache auf konstruktive Weise. Um die Vorteile dieser beiden Paradigmen besser nutzen zu können, wollen wir sie geeignet integrieren. Metamodelle sollen in äquivalente Modellgrammatiken, die eine wohlfundierte automatische Generierung von Instanzmodellen ermöglichen, übersetzt werden. Die formale Basis bildet die Theorie der algebraischen Graphtransformation. Diese Metamodellübersetzung wollen wir einerseits zur Entwicklung benutzerfreundlicher Modelleditoren und andererseits zum systematischen Testen von Modelltransformationen nutzen. Die neuen Verfahren sollen auf der Basis des Eclipse-Modeling-Projekts implementiert und an zwei Referenzanwendungen evaluiert werden.

  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. S. Becker, "An Automata-Theoretic Approach to Instance Generation," in Proc. 7th Int. Workshop on Graph Computation Models (GCM 2016), Preproceedings, 2016.
    @inproceedings{Becker16a, title = {An Automata-Theoretic Approach to Instance Generation},
      author = {Jan Steffen Becker},
      booktitle = {7th Int. Workshop on Graph Computation Models (GCM 2016), Preproceedings},
      year = {2016},
      url = {http://gcm2016.inf.uni-due.de/papers/becker.pdf},
      publists = {mmgg2} }
  • C. Peuser und A. Habel, "Composition of M,N-Adhesive Categories with Application to Attribution of Graphs," Electronic Communications of the EASST, vol. 73, 2016.
    @article{Peuser-Habel16a,
      author = {Christoph Peuser and Annegret Habel},
      title = {Composition of M,N-Adhesive Categories with Application to Attribution of Graphs},
      booktitle = {Graph Computation Models, Selected Revised Papers from GCM 2015},
      journal = {Electronic Communications of the EASST},
      volume = {73},
      pages = {},
      year = {2016},
      publists = {mmgg},
      url = {http://journal.ub.tu-berlin.de/eceasst/article/view/1035} }
  • [article] bibtex
    T. Arendt und G. Taentzer, "A tool environment for quality assurance based on the Eclipse Modeling Framework," Automated Software Engineering, vol. 20, iss. 2, pp. 141-184, 2013.
    @article{Arendt-Taentzer13a,
      author = {Thorsten Arendt and Gabriele Taentzer},
      title = {A tool environment for quality assurance based on the Eclipse Modeling Framework},
      journal = {Automated Software Engineering},
      volume = {20},
      number = {2},
      pages = {141--184},
      year = {2013},
      publists = {mmgg,exclude} }
  • [inproceedings] bibtex
    T. Kehrer, G. Taentzer, M. Rindt, und U. Kelter, "Automatically Deriving the Specification of Model Editing Operations from Meta-Models," in Proc. Theory and Practice of Model Transformations (ICMT 2016), 2016, pp. 173-188.
    @inproceedings{Kehrer-etal16a,
      author = {Timo Kehrer and Gabriele Taentzer and Michaela Rindt and Udo Kelter},
      title = {Automatically Deriving the Specification of Model Editing Operations from Meta-Models},
      booktitle = {Theory and Practice of Model Transformations ({ICMT} 2016)},
      series = {Lecture Notes in Computer Science},
      volume = {9765},
      pages = {173--188},
      year = {2016},
      publists = {mmgg,exclude} }
  • [phdthesis] bibtex
    T. Arendt, "Quality Assurance of Software Models - A Structured Quality Assurance Process Supported by a Flexible Tool Environment in the Eclipse Modeling Project," PhD Thesis , 2014.
    @phdthesis{Arendt14a, title = {Quality Assurance of Software Models - A Structured Quality Assurance Process Supported by a Flexible Tool Environment in the Eclipse Modeling Project},
      author = {Arendt, Thorsten},
      year = {2014},
      school = {Philipps-Universit{\"a}t Marburg Fachbereich Mathematik und Informatik},
      publists = {mmgg,exclude} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Arendt, E. Biermann, S. Jurack, C. Krause, und G. Taentzer, "Henshin: advanced concepts and tools for in-place EMF model transformations," in Proc. International Conference on Model Driven Engineering Languages and Systems, 2010, pp. 121-135.
    @inproceedings{arendt2010henshin, title = {Henshin: advanced concepts and tools for in-place EMF model transformations},
      author = {Arendt, Thorsten and Biermann, Enrico and Jurack, Stefan and Krause, Christian and Taentzer, Gabriele},
      booktitle = {International Conference on Model Driven Engineering Languages and Systems},
      pages = {121--135},
      year = {2010},
      organization = {Springer},
      url = {http://dev.eclipse.org/mhonarc/lists/henshin-dev/pdf6YeIeFUfjQ.pdf},
      publists = {mmgg,exclude} }
  • H. Radke, T. Arendt, J. S. Becker, A. Habel, und G. Taentzer, Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations: Long version, 2016.
    @misc{RAB+16Long,
      author = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer},
      title = {{Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations: Long version}},
      url = {http://www.uni-marburg.de/fb12/forschung/berichte/berichteinformtk/pdfbi/bi2016-01.pdf},
      year = {2016},
      publists = {mmgg} }
  • H. Radke, "A Theory of HR* Graph Conditions and their Application to Meta-Modeling," PhD Thesis , 2016.
    @phdthesis{Radke16,
      author = {Hendrik Radke},
      title = {A Theory of HR* Graph Conditions and their Application to Meta-Modeling},
      school = {Carl von Ossietzky-Universit{\"a}t Oldenburg},
      year = {2016},
      month = {06},
      url = {http://oops.uni-oldenburg.de/2803/},
      publists = {mmgg} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Radke, T. Arendt, J. S. Becker, A. Habel, und G. Taentzer, "Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations," in Proc. Graph Transformations (ICGT 2015), 2015, pp. 155-170.
    @inproceedings{Radke+15a,
      author = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer},
      title = {Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations},
      booktitle = {Graph Transformations (ICGT 2015)},
      series = {Lecture Notes in Computer Science},
      volume = {9151},
      pages = {155--170},
      year = {2015},
      url = {http://www.uni-marburg.de/fb12/forschung/berichte/berichteinformtk/pdfbi/bi2015-01.pdf},
      publists = {mmgg} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Arendt, A. Habel, H. Radke, und G. Taentzer, "From Core OCL Invariants to Nested Graph Constraints," in Proc. Graph Transformations (ICGT 2014), 2014, pp. 97-112.
    @inproceedings{Arendt-Habel-Radke-Taentzer14a,
      author = {Thorsten Arendt and Annegret Habel and Hendrik Radke and Gabriele Taentzer},
      title = {From Core {OCL} Invariants to Nested Graph Constraints},
      booktitle = {Graph Transformations (ICGT 2014)},
      series = {Lecture Notes in Computer Science},
      volume = {8571},
      pages = {97--112},
      year = {2014},
      opturl = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/AHRT14a.pdf},
      url = {http://link.springer.com/chapter/10.1007/978-3-319-09108-2_7},
      publists = {mmgg} }
  • [mastersthesis] bibtex | Dokument aufrufen Dokument aufrufen
    C. Peuser, "Attribution Concepts for Graph Transformation," Master's Dissertation , 2013.
    @mastersthesis{Peuser13,
      author = {Christoph Peuser},
      title = {Attribution Concepts for Graph Transformation},
      school = {Carl von Ossietzky Universit{\"a}t Oldenburg},
      year = {2013},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Peus13-Masterarbeit.pdf},
      publists = {mmgg} }
  • H. Radke, "HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas," Electronic Communications of the EASST, vol. 61, 2013.
    @article{Radke13,
      author = {Radke, Hendrik},
      title = {{HR}* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas},
      booktitle = {Selected Revised Papers from the 4th International Workshop on Graph Computation Models (GCM 2012)},
      journal = {Electronic Communications of the EASST},
      volume = {61},
      year = {2013},
      alturl = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Radk13.pdf},
      url = {http://journal.ub.tu-berlin.de/eceasst/issue/view/69/},
      publists = {mmgg,topics} }
  • [article] bibtex
    G. Taentzer, "Instance Generation from Type Graphs with Arbitrary Multiplicities," Electronic Communications of the EASST, vol. 47, 2012.
    @article{Taentzer12a,
      author = {Gabriele Taentzer},
      title = {Instance Generation from Type Graphs with Arbitrary Multiplicities},
      booktitle = {Graph Transformation and Visual Modeling Techniques (GT-VMT 2010)},
      journal = {Electronic Communications of the EASST},
      volume = {47},
      year = {2012},
      publists = {mmgg,exclude} }