Graph and Model Driven Engineering (WS1516)
16:00 - 18:00, Tuesdays
The concept of a graph is a simple but powerful one. It may be used to describe complex object models in a mathematical way. One can use graphs to formalize object oriented languages and concepts, especially, the Unified Modelling Language.
To describe mathematical operations on graphs, graph grammars and graph transformation rules prove as powerful concepts. Graph transformation rules are the basic concept for Story Diagrams, the programming language in the Fujaba CASE tool and in the SDMLib, too.
This course shows and compares different graph models and introduces a simple mathematical description for an object oriented graph model. Furtheron, this forms the basis for the formalization of the complex Story Diagram language constructs. Finally, different concepts for graph based proving approaches are discussed.
Thus, graphs are the foundation of model driven engineering. Based on graphs, we do model transformations and e.g. code generation.
The Eclipse Modeling Framework (EMF) is a popular platform for model driven engineering. We explore EMF and its possibilities.
Lecture 13: Specific to Generic Models
February 3, 2016
Lecture 12: Generic to Specific Models
January 27, 2016
Lecture 11: Learning Class Models
January 22, 2016
Lecture 10: Model Navigation and Linear Time Logic Queries
January 18, 2016
Lecture 09: Reachability Graph Completed
December 17, 2015
Lecture 08: Reachability Graph Step 1
December 8, 2015
Lecture 07: Json Serialization
December 1, 2015
Lecture 06: Optimized Graph Matching
November 24, 2015
Lecture 05: Simple Graph Matching
November 18, 2015
Lecture 04: Graph Implementation
November 10, 2015
Lecture 03: Reachability Graphs
November 3, 2015
Lecture 2: Graph Rewrite Rules
October 28, 2015
Lecture 1: Graphs
October 21, 2015