Diese Arbeit stellt die Erweiterung der Graphtransformationssprache SDM (Story Driven Modeling) mit generischen und reflektiven Features sowie die Definition eines Typsystems vor. Die generischen und reflektiven Features haben zum Ziel die Verbesserung der Wiederverwendung und Ausdrucksfähigkeit von SDM, während die Ableitungsregeln (oder Inferenzregeln) des Typsystems die Typsicherheit der Graphtransformationen gewährleisten. Diese Dissertation fängt mit einer Beschreibung der relevanten Begriffe sowie des Kontextes an, um dem Leser ein besseres Verständnis unseres Ansatzes zu ermitteln. Die modellgetriebene Softwareentwicklung, die heutzutage als Standard gilt, basiert generell auf domainspezifischen Sprachen wie MATLAB Simulink und Stateflow. Um die Qualität, die Verlässlichkeit und die Effizienz von Modellen und von dem generierten Code zu garantieren, sind die Überprüfung und die Behebung der verletzten Modellierungsrichtlinien eine notwendige, aber fehleranfällige und zeitaufwändige, Aufgabe während des Entwicklungsprozesses. Das Ziel der MATE/MAJA-Projekte, die auf der Verwendung der SDM-Transformationssprache basieren, ist die Automatisierung dieser Aufgabe fürMATLAB Simulink/Stateflow Modelle. Die Modellierungsrichtlinien können auf einem hohen Abstraktionsniveau mit Hilfe von Graphtransformationen spezifiziert werden. Diese Spezifikationen ermöglichen dazu die Generierung von Werkzeugen zur Richtliniensanalyse. Leider bieten die meisten Graphtransformationssprachen die zur Wiederverwendung geeigneten Konzepte nicht an - ein MUSS, wenn man sich mit Hunderten von Richtlinien beschäftigt. Deshalb stellen wir eine Erweiterung der SDM-Sprache, die die Spezifikation von generischen Graphersetzungsregeln unterstützt, und die diese mit den reflektiven Programmierungsmechanismen von Java und dem Standard JMI kombiniert, vor. Wiederverwendung und Ausdrucksfähigkeit sind nicht die einzigen Aspekte, die wir verbessern möchten. Ein anderer wichtiger Aspekt der Graphtransformationen muss geprüft werden: ihre Korrektheit, um Typfehler bei der Ausführung der Transformationen zu unterdrücken. Eine manuelle Überprüfung der Graphtransformationen würde den Vorteil der automatisierten Richtliniensanalyse und der generischen und reflektiven Features zunichte machen. Deshalb schlagen wir in dieser Arbeit einen Ansatz zur Typüberprüfung von Graphtransformationen vor. Wir führen eine neue Notation für die Inferenzregeln ein und definieren ein Typsystem für SDM. Wir veranschaulichen und evaluieren die beiden Beiträge, indem wir diese auf konkreten Beispielen anwenden. Vorschläge für weitere SDM-Features sowie mögliche Verbesserungen von unserem Typsystem bieten Anregungen für künftige Arbeite an.