Ensuring Properties of Interaction Systems

Gößler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, Moritz; Sifakis, Joseph

doi:10.1007/978-3-540-71322-7_10

Cited by 16 publications

(29 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The properties are local/global deadlock-freedom, local progress of a set of components and liveness. These properties of interaction systems have been studied in detail in [22,18,19,17,15]. In Sect.…”

Section: Properties Of Interaction Systemsmentioning

confidence: 99%

“…First we take up the notion of local and global deadlock-freedom for interaction systems from [18,22].…”

Section: Propertiesmentioning

confidence: 99%

“…The notions of local progress and liveness of a component have been defined for interaction systems in [22,19].…”

Section: Definition 6 (Run) Let Sys Be a Globally Deadlock-free Intementioning

confidence: 99%

“…In [22] this example was discussed in detail. In particular it was shown that Sys tasks is globally deadlock-free and that every component can make local progress.…”

Section: K Is Live In Sys If For Every Run σ Of Sys There Is Some I ∈mentioning

confidence: 99%

“…In particular it was shown that Sys tasks is globally deadlock-free and that every component can make local progress. It was explained that mutual exclusion is achieved under a rule of maximal progress defined in [22].…”

Section: K Is Live In Sys If For Every Run σ Of Sys There Is Some I ∈mentioning

confidence: 99%

See 4 more Smart Citations

Robustness in Interaction Systems

Majster-Cederbaum

Martens

2007

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract.We treat the effect of absence/failure of ports or components on properties of component-based systems. We do so in the framework of interaction systems, a formalism for component-based systems that strictly separates the issues of local behavior and interaction, for which ideas to establish properties of systems were developed. We propose how to adapt these ideas to analyze how the properties behave under absence or failure of certain components or merely some ports of components. We demonstrate our approach for the properties local and global deadlockfreedom as well as liveness and local progress.

show abstract

Section: Properties Of Interaction Systemsmentioning

confidence: 99%

“…First we take up the notion of local and global deadlock-freedom for interaction systems from [18,22].…”

Section: Propertiesmentioning

confidence: 99%

“…The notions of local progress and liveness of a component have been defined for interaction systems in [22,19].…”

Section: Definition 6 (Run) Let Sys Be a Globally Deadlock-free Intementioning

confidence: 99%

“…In [22] this example was discussed in detail. In particular it was shown that Sys tasks is globally deadlock-free and that every component can make local progress.…”

Section: K Is Live In Sys If For Every Run σ Of Sys There Is Some I ∈mentioning

confidence: 99%

Section: K Is Live In Sys If For Every Run σ Of Sys There Is Some I ∈mentioning

confidence: 99%

See 3 more Smart Citations