Robustness in Interaction Systems


Majster-Cederbaum, Mila ; Martens, Moritz


[img]
Vorschau
PDF
robustnesstr.pdf - Veröffentlichte Version

Download (187kB)

URL: https://ub-madoc.bib.uni-mannheim.de/1404
URN: urn:nbn:de:bsz:180-madoc-14040
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 2007
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (SWD): Robustheit , Interaktionssystem
Freie Schlagwörter (Deutsch): komponentenbasierte Systeme
Freie Schlagwörter (Englisch): Liveness , Deadlock-Freedom , Robustness , Component-based Systems , Interaction Systems
Abstract: We treat the effect of absence/failure of ports or components on properties of component-based systems. We do so in the framework of interaction systems, a formalism for component-based systems that strictly separates the issues of local behavior and interaction, for which ideas to establish properties of systems where developed. We propose to adapt these ideas to analyze how the properties behave under absence or failure of certain components or merely some ports of components. We demonstrate our approach for the properties local and global deadlock-freedom as well as liveness and local progress.
Zusätzliche Informationen:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Zitationsbeispiel und Export

Majster-Cederbaum, Mila und Martens, Moritz (2007) Robustness in Interaction Systems. [Arbeitspapier]
[img]
Vorschau



+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen