KVV - Fachbereich Informatik - Universität Hamburg

Vorgehen
Literatur
Modellierungstechnik der "Netze-in-Netzen" wird vertieft behandelt. Neben unterschiedlichen
Darstellungen mit gleicher Semantik werden auch unterschiedliche Semantikansätze
behandelt (Wert- und Referenz-Semantik). Ähnliche Techniken der
verteilten Objekthaltung sind aus der objektorientierten Prgrammierung bekannt
(clones). Zu klassischen Petrinetztechniken wie Erreichbarkeitsgraph oder Invarianten
gibt es Entsprechungen. Der Modellierungsansatz wird an zahlreichen Beispielen
aus der Flexiblen Fertigung, Agententechnologie, Mobile Computing, Security usw.
vorgeführt. Dabei wird an passenden Stellen auf das Modellierungswekzeug RE-
NEW zurückgegriffen.
Inhalte: Netze-in Netzen, Wert- und Referenz-Semantik, algebraische Modellierung,
Prozesse, Flexible Fertigung und Invarianten, Agenten und Multiagentensysteme,
Analysetechniken,
* G.Agha/F.De Cindio/G.Rozenberg: Concurrent Object-Oriented Programming and
Petri Nets (LNCS Nr. 2001, Springer-Verlag, 2001),
* Jacques Ferber: Multiagentensysteme: Eine Einführung in die Verteilte Künstliche
Intelligenz, 2000
* Gerhard Weiss: Multiagent Systems: A modern approach to distributed artificial
intelligence, 2000
* Heiko Rölke: Agenten und Multiagentensysteme, Logos Verlag, 2004
* Rüdiger Valk: Petri Nets as Token Objects - An Introduction to Elementary Object
Nets in: J. Desel and M. Silva} (eds): Proc. Application and Theory of Petri
Nets, Lisbon, Portugal, Lecture Notes in Computer Science, Nr. 1420, Springer, Berlin
1998, pp. 1-25
* Rüdiger Valk: Object Petri Nets, in J. Desel et al. (Hrg): Lectures on Concurrency
and Petrinets, Springer, Berlin, LNCS 3098, pp. 819-848
Modul MV5--ACA: Advanced Computer Architekture
LV 64-446:
Dozent/in:
Vorlesung Advanced Computer Architecture
Dietmar P. F. Möller
Zeit/Ort: 2st., Mi 12:15–13:45, D–220, Beginn: 08.04.09
Kommentare/ Inhalte Die Ausbildung im Vertiefungsmodul Advanced Computer Architecture vermittelt
ein begrenztes und wohl ausgewähltes Theorie- und Methodenrepertoire zu fortschrittlichen
Rechnerarchitekturen. Dabei wird sowohl auf den Entwurf und die
Analyse von Rechnerarchitekturen eingegangen, als auch auf die Klassifikation von
Rechnerarchitekturen und darauf aufbauend den aus der Praxis resultierenden Anforderungen
hinsichtlich verbesserter Rechnerarchitekturen wie beispielsweise Multiprozessorarchitekturen
und superskalare Architekturen Rechnung getragen. Die
Grundlage zum Erwerb dieser Kompetenzen bildet nicht nur das informatikspezifische
Fachwissen, das als Verfügungswissen aus der Synthese architektonischer Methodik
und hardwaretechnischer Gegenständlichkeit, realisiert im technischen Konstrukt
der fortschrittlichen Rechnerarchitektur verstanden wird, sondern auch ein
Orientierungswissen, das den eigenständigen Umgang mit dem Fachwissen in komplexen
Projektsituationen ermöglicht, beispielsweise um den Einsatz der richtigen
Architektur im konkreten Anwendungsfall zu Begründen. In diesem Sinne ermöglicht
das Vertiefungsmodul die Kompetenz einerseits Fachwissen einzuordnen und
dessen Einbettung in technische Nutzungskontexte zu Verstehen, andererseits auf
Grundlage der erworbenen Problemlösungskompetenz fortschrittliche Rechnerarchitekturen
im Rahmen von in der Regel komplexen und/oder interdisziplinären Projektsituationen
adäquat und erfolgreich einzusetzen. Das Modul behandelt Fragen
im Kontext Advanced Computer Architecture. Inhalte sind:
* Lokale und Globale Konzepte für Prozessoren
* Strukturen und Verhalten von Bussen
* Schichten Modelle Lokaler und Globaler Konzepte für Prozessoren
* ALU und Fortschritte im ALU Design
* Strukturen von Steuerwerken und das Konzept der Mikroprogrammierung
57