Semantic foundation and tool support for model-driven development with UML 2 activity diagrams [Elektronische Ressource] / Stefan Sarstedt

Semantic Foundation and Tool Supportfor Model-Driven Development withUML 2 Activity DiagramsDissertationzur Erlangung des Doktorgrads Dr. rer. nat.der Fakult¨at fur¨ Informatik der Universit¨at UlmStefan Sarstedtaus GummersbachUniversit¨at UlmFakult¨at fur¨ InformatikAbteilung Programmiermethodik und CompilerbauLeiter: Prof. Dr. Helmuth Partsch2006Amtierender Dekan: Prof. Dr. Helmuth Partsch1. Gutachter: Prof. Dr. Helmuth Partsch2. Gutachter: Prof. Dr. Friedrich v. Henke3. Gutachter: Ju¨rgen Dingel, Ph.D., Assistant ProfessorTag der Promotion: 5. Juli 20062Danksagung“Indes sie forschten, r¨ontgten, filmten, funkten, entstand von selbst die k¨ostlichste Erfindung:der Umweg als die kurzeste¨ Verbindung zwischen zwei Punkten.”Erich K¨astnerAn dieser Stelle mochte ich mich bei allen Personen bedanken, die zum Gelingen meiner Arbeit¨direkt oder indirekt beigetragen haben.Zunachst mochte ich mich besonders bei Prof. Dr. Helmuth Partsch fur das Ermoglichen meiner¨ ¨ ¨ ¨Forschungsarbeit, die langjahrige Unterstutzung und angenehme Arbeitsatmosphare bedanken. Fur¨ ¨ ¨ ¨Anliegen und Fragen aller Art hatte er stets ein offenes Ohr. Des Weiteren gilt mein Dank meinemZweitgutachter, Herrn Prof. Dr. Friedrich v. Henke, sowie meinem Drittgutachter, Prof. Dr. Jur¨ genDingel.Ohne die Hilfe der gesamten Abteilung Programmiermethodik und Compilerbau an der Uni-versitat¨ Ulm w¨are diese Arbeit nicht moglic¨ h gewesen.