Set based failure diagnosis for concurrent constraint programming [Elektronische Ressource] / von Martin Ludwig Müller

Set-based Failure Diagnosis forConcurrent Constraint ProgrammingDissertationzur Erlangung des GradesDoktor der Ingenieurwissenschaften (Dr.-Ing.)der Technischen Fakultat¨der Universitat¨ des SaarlandesvonMartin Ludwig Muller¨Saarbruck¨ enMai 1998Martin Muller¨Forschungsbereich ProgrammiersystemeUniversit¨at des Saarlandes, 66041 Saarbr¨ucken, Germanymmueller@ps.uni-sb.dehttp://www.ps.uni-sb.de/˜mmueller/Vorsitzender: Prof. Dr. Harald GanzingerErstgutachter: Prof. Dr. Gert SmolkaZweitgutachter: Priv.-Doz. Dr. Andreas PodelskiTag des Kolloquiums: 22. Juli 1998Kurze ZusammenfassungOz ist eine anwendungsnahe Programmiersprache, deren Grundlage eine Erweiterungdes Modells nebenl¨aufiger Constraintprogrammierung um Prozeduren h¨oherer Stufeund Zustand ist. Oz ist eine Sprache mit dynamischer Typ¨uberpr¨ufung wie Prolog,Scheme oder Smalltalk. Wir untersuchen zwei Ans¨atze, statische Typ¨uberpr¨ufung f¨urOz zu erm¨oglichen: Mengenbasierte Fehlerdiagnose und Starke Typisierung. Wirdefinieren ein neues System von Mengenconstraints ¨uber Featureb¨aumen, das f¨urdie Analyse von Recordstrukturen geeignet ist, und wir untersuchen das Erf¨ullbar-keits-, das Leerheits- und das Subsumtionsproblem f¨ur dieses Constraintsystem. Wirpr¨asentieren eine mengenbasierte Diagnose f¨ur Constraint-Logikprogrammierung undf¨ur nebenl¨aufige Constraintprogrammierung als Teilsprachen von Oz, und wir be-weisen, daß diese unvermeidliche Laufzeitfehler erkennt.