|
Port protocols for deadlock-freedom of component-based systems
Lambertz, Christian
;
Majster-Cederbaum, Mila
|
DOI:
|
https://doi.org/10.4204/EPTCS.38.3
|
|
URL:
|
https://arxiv.org/abs/1010.5565v1
|
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
2010
|
|
Buchtitel:
|
Proceedings : 3rd Interaction and Concurrency Experience Workshop (ICE 2010)
|
|
Titel einer Zeitschrift oder einer Reihe:
|
Electronic Proceedings in Theoretical Computer Science : EPTCS
|
|
Band/Volume:
|
38
|
|
Seitenbereich:
|
7-11
|
|
Veranstaltungstitel:
|
ICE 2010
|
|
Veranstaltungsort:
|
Amsterdam, The Netherlands
|
|
Veranstaltungsdatum:
|
10.06.2010
|
|
Herausgeber:
|
Bliudze, Simon
|
|
Ort der Veröffentlichung:
|
Sydney
|
|
Verlag:
|
NICTA
|
|
ISSN:
|
2075-2180
|
|
Sprache der Veröffentlichung:
|
Englisch
|
|
Einrichtung:
|
Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
|
|
Fachgebiet:
|
004 Informatik
|
|
Abstract:
|
In component-based development, approaches for property verification exist that avoid building the global system behavior of the component model. Typically, these approaches rely on the analysis of the local behavior of fixed sized subsystems of components. In our approach, we want to avoid not only the analysis of the global behavior but also of the local behaviors of the components. Instead, we consider very small parts of the local behaviors called port protocols that suffice to verify properties.
|
|
Zusätzliche Informationen:
|
Online-Ressource
|
 | Dieser Eintrag ist Teil der Universitätsbibliographie. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
