Analyzing Component-Based Systems on the Basis of Architectural Constraints


Lambertz, Christian ; Majster-Cederbaum, Mila



DOI: https://doi.org/10.1007/978-3-642-29320-7_5
URL: http://dl.acm.org/citation.cfm?id=2238230
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 2012
Buchtitel: Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Titel einer Zeitschrift oder einer Reihe: Lecture Notes in Computer Science
Band/Volume: 7141
Seitenbereich: 64-79
Veranstaltungsdatum: April 20-22, 2011
Herausgeber: Arbab, Farhad
Ort der Veröffentlichung: Berlin [u.a.]
Verlag: Springer
ISBN: 978-3-642-29319-1 , 978-3-642-29320-7
ISSN: 0302-9743 , 1611-3349
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
Fachgebiet: 004 Informatik
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.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detaillierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen