Stud.IP Uni Oldenburg
University of Oldenburg
25.05.2022 21:52:46
inf402 - Graph Transformation Systems (Complete module description)
 Module label Graph Transformation Systems Module code inf402 Credit points 6.0 KP Workload 180 h Institute directory Department of Computing Science Applicability of the module Bachelor's Programme Computing Science (Bachelor) > Akzentsetzungsbereich - Wahlbereich Informatik Dual-Subject Bachelor's Programme Computing Science (Bachelor) > Wahlpflicht Theoretische Informatik (30 KP) Master of Education Programme (Gymnasium) Computing Science (Master of Education) > Wahlpflichtmodule (Theoretische Informatik) Responsible persons Lehrenden, Die im Modul (Authorized examiners) Lehrenden, Die im Modul (Module responsibility) Prerequisites Skills to be acquired in this module Modelling of systems, introduction to graph transformation systems, sequential and parallel independence, termination and confluence. Professional competenceThe students:Know the basics of graph transformation systems and graph programsDescribe graph transformation systems and graph programsDefine the Turing completeness of graph programsModel systems and system changesProve sequential and parallel independence of derivationsProve termination and confluence of graph transformation systemsMethodological competenceThe students:Recognize graph transformation systems as a versatile tool for modelling in computer scienceSocial competenceThe students:Work together in small groups to solve problemsPresent solutions to problems to groups of other studentsSelf-competenceThe students:Learn persistence in pursuing difficult tasksLearn precision in writing down solutions Module contents Graphs are practically used in all areas of computer science to display complex structures. Some examples are flow charts, circuit diagrams, record structures, parse trees and functional and logical expressions. Such structures can be dynamically changed by graph rewriting systems. The changing process is represented by rewriting rules. This module gives an introduction to the field of graph transformation systems. It deals with reversibility, embedding and restriction of derivations, sequential and parallel independency, termination and confluence. Reader's advisory Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations, World Scientific, 1997.Vol. 2: Applications, Languages and Tools, World Scientific, 1999.Vol. 3: Concurrency, Parallelism, and Distribution, World Scientific, 1999. H. Ehrig et al.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs of Theoretical Computer Science, Springer, 2006 Links Language of instruction German Duration (semesters) 1 Semester Module frequency im 2-Jahres-Zyklus Module capacity unlimited Modullevel / module level AS (Akzentsetzung / Accentuation) Modulart / typ of module je nach Studiengang Pflicht oder Wahlpflicht Lehr-/Lernform / Teaching/Learning method V+Ü Vorkenntnisse / Previous knowledge inf401: Theoretische Informatik II
Course type Comment SWS Frequency Workload of compulsory attendance
Lecture
3 SuSe or WiSe 42
Exercises
1 SuSe or WiSe 14
Total time of attendance for the module 56 h
Examination Time of examination Type of examination
Final exam of module
At the end of the lecture period
Written exam or oral exam