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
Document Type: Conference or workshop publication
Year of publication: 2010
Book title: Proceedings : 3rd Interaction and Concurrency Experience Workshop (ICE 2010)
The title of a journal, publication series: Electronic Proceedings in Theoretical Computer Science : EPTCS
Volume: 38
Page range: 7-11
Conference title: ICE 2010
Location of the conference venue: Amsterdam, The Netherlands
Date of the conference: 10.06.2010
Author/Publisher of the book
(only the first ones mentioned)
:
Bliudze, Simon
Place of publication: Sydney
Publishing house: NICTA
ISSN: 2075-2180
Publication language: English
Institution: School of Business Informatics and Mathematics > Praktische Informatik II (Majster-Cederbaum Em)
Subject: 004 Computer science, internet
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.
Additional information: Online-Ressource

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Citation Example and Export

Lambertz, Christian ; Majster-Cederbaum, Mila Port protocols for deadlock-freedom of component-based systems. Bliudze, Simon Electronic Proceedings in Theoretical Computer Science : EPTCS 38 7-11 In: Proceedings : 3rd Interaction and Concurrency Experience Workshop (ICE 2010) (2010) Sydney ICE 2010 (Amsterdam, The Netherlands) [Conference or workshop publication]


+ Search Authors in

+ Page Views

Hits per month over past year

Detailed information



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


Actions (login required)

Show item Show item