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
Publisher: 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 -2005, 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.

Metadata export


+ 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