Robustness in Interaction Systems


Majster-Cederbaum, Mila ; Martens, Moritz


[img]
Preview
PDF
robustnesstr.pdf - Published

Download (187kB)

URL: https://ub-madoc.bib.uni-mannheim.de/1404
URN: urn:nbn:de:bsz:180-madoc-14040
Document Type: Working paper
Year of publication: 2007
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Mathematik und Informatik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): Robustheit , Interaktionssystem
Individual keywords (German): komponentenbasierte Systeme
Keywords (English): 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.
Additional information:

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




+ Citation Example and Export

Majster-Cederbaum, Mila ; Martens, Moritz (2007) Robustness in Interaction Systems. Open Access [Working paper]
[img]
Preview


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item