Analyzing Component-Based Systems on the Basis of Architectural Constraints

Lambertz, Christian ; Majster-Cederbaum, Mila

Document Type: Conference or workshop publication
Year of publication: 2012
Book title: Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
The title of a journal, publication series: Lecture Notes in Computer Science
Volume: 7141
Page range: 64-79
Date of the conference: April 20-22, 2011
Publisher: Arbab, Farhad
Place of publication: Berlin [u.a.]
Publishing house: Springer
ISBN: 978-3-642-29319-1 , 978-3-642-29320-7
ISSN: 0302-9743 , 1611-3349
Publication language: English
Institution: School of Business Informatics and Mathematics > Praktische Informatik II (Majster-Cederbaum -2005, Em)
Subject: 004 Computer science, internet
Abstract: Component-based development (CBD) is a promising approach to master design complexity. In addition, the knowledge about the architecture of a component system can help in establishing important system properties, which in general is computationally hard because of the state space explosion problem. Extending previous work, we here investigate the novel class of disjoint circular wait free component systems and show how we can use the architectural information to establish a condition for the important property of deadlock-freedom in polynomial time. A running example is included. We use the framework of interaction systems, but our result carries over to other CBD models.

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