Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen

Wedig, Arnim

Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen

dc.contributor.advisor	Wedde, Horst	de
dc.contributor.author	Wedig, Arnim	de
dc.contributor.referee	Wegener, Ingo	de
dc.date.accepted	2004
dc.date.accessioned	2004-12-06T12:50:38Z
dc.date.available	2004-12-06T12:50:38Z
dc.date.created	2004-01-07	de
dc.date.issued	2004-01-22	de
dc.description.abstract	Gegenstand der Arbeit ist die formale Modellierung des Systemverhaltens verteilter Systeme vom Standpunkt der Systemkontrolle. In dem früher entwickelten formalen Ansatz der Interaktionssysteme (I-Systeme) war das Kern-Prinzip, aus der expliziten Darstellung von lokalen Einflüssen ihre lokalen und globalen Effekte abzuleiten. Dies geschieht durch zwei Typen restriktiver bilateraler Interaktionsbeziehungen. Auf diese Weise scheint das Systemverhalten geprägt durch den Autonomiegrad der Systemkomponenten. Die Arbeit beschäftigt sich mit der Strukturierung des Modellierungskonzeptes und liefert Definitionen und Interpretationen zu Syntax, Dynamik und Semantik von I-Systemen. Ein offenes Problem bestand bisher in der Spezifikation geeigneter Semantiken von I-Systemen, über die sich Schlüsselphänomene im Systemverhalten interagierender Systemkomponenten dokumentieren lassen. Als Lösungsansatz werden hierzu neue Formen von Trace-Semantiken von I-Systemen präsentiert und Unterschiede in deren Ausdruckskräften, auch im Vergleich mit Zustandsgraphen, herausgearbeitet.Die Komplexität in der formalen Modellierung praxisrelevanter verteilter Systeme erzwingt den Einsatz inkrementeller und modularer Entwurfs- und Analysemethoden. Mit Bezug auf die eingeführten Semantiken werden solche Methoden für I-Systeme vorgestellt. Hierbei werden auch I-System-Transformationen mit dem Ziel behandelt, I-Systeme in 'handhabbarere' (bzgl. Entwurf/Analyse/Implementierung) äquivalente I-Systeme umzuformen. Insgesamt liefert diese Arbeit die formale Basis für die Weiterentwicklung der Theorie der I-Systeme.	de
dc.format.extent	1868251 bytes
dc.format.extent	5779474 bytes
dc.format.mimetype	application/pdf
dc.format.mimetype	application/postscript
dc.identifier.uri	http://hdl.handle.net/2003/2541
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-14872
dc.language.iso	de	de
dc.publisher	Universität Dortmund	de
dc.subject	Formale Modelle	de
dc.subject	Verteilte Systeme	de
dc.subject	Interaktionssysteme	de
dc.subject	I-Systeme	de
dc.subject	Reaktive Systeme	de
dc.subject	Dezentrale autonome Systeme	de
dc.subject	formale Spezifikation	de
dc.subject	formale Verifikation	de
dc.subject	Systementwurf	de
dc.subject	Kommunikationssystem	de
dc.subject	Semantik	de
dc.subject.ddc	004	de
dc.title	Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen	de
dc.title.alternative	formale Basis und Beiträge zur Theorie	de
dc.type	Text	de
dc.type.publicationtype	doctoralThesis	de
dcterms.accessRights	open access

Collections

LS 03 Betriebssysteme und Rechnerarchitektur

Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen

Files

Collections