Refinement and implementation techniques for Abstract State Machines [Elektronische Ressource] / Joachim Schmid

Refinement andImplementation TechniquesforAbstract State MachinesDissertationzur Erlangung des Grades eines Doktorsder Naturwissenschaften (Dr. rer. nat.)im Fachbereich Informatikder Universit¨at Ulmvorgelegt vonJoachim Schmidaus TuttlingenAbteilung fur¨ Programmiermethodik und Compilerbau(Leiter: Prof. Dr. Helmuth Partsch)2002IIAmtierender Dekan: Prof. Dr. Gu¨nther PalmGutachter: Prof. Dr. Helmuth Partsch (Universit¨at Ulm)Prof. Dr. Friedrich von Henke (Universit¨at Ulm)Prof. Dr. Egon B¨orger (Universit¨at Pisa)Tag der Pruf¨ ung: 17. Juni 2002DanksagungAn dieser Stelle m¨ochte ich mich bei allen Personen bedanken, die mich bei derErstellung dieser Arbeit unterstutzt¨ haben.Besonderen Dank gilt Herrn Prof. Dr. Egon B¨orger, der stets ein offenesOhr fu¨r Fragen und Diskussionen hatte und mich zu dieser Arbeit motivierte.Bedankenm¨ochteichmichfur¨ dietatkraftig¨ eUnterstut¨ zungdurchDr. PeterP¨appinghaus, der meine Promotion bei der Siemens AG betreute. Dank giltauch allen anderen Mitarbeitern von CT SE 4, welche manchmal von ihrerArbeit abgehalten wurden.Dank gilt der Siemens AG, die mir die notwendigen Arbeitsmittel zur Verfu-¨gung stellte und mich finanziell unterstu¨zte. Insbesondere moc¨ hte ich mich beidem Fachzentrumsleiter Prof. Dr. Wolfram Bu¨ttner bedanken, der sich bereiterkl¨art hatte, diese Dissertation durch die Siemens AG zu unterstutze¨ n.IIIContentsIntroduction 11 Submachine Concept 31.1 Standard ASMs . . . . . . . . . . . .