Performance Analysis of Component-Based Systems

Zuberek, W.M.; Bluemke, Ilona

doi:10.1109/depcos-relcomex.2008.37

Cited by 1 publication

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The paper is continuation of previous work on component compatibility and substitutability [7] [19] [20] [21]. Using the same formal specification of component behavior in the form of component languages, the paper proposes an approach to identify component conflicts in component composition and systematic renaming of services as a conflict removal method.…”

Section: Introductionmentioning

confidence: 89%

Service Renaming in Component Composition

Zuberek

2013

Complex Systems and Dependability

View full text Add to dashboard Cite

In component-based systems, the behavior of components is usually described at component interfaces and the components are characterized as requester (active) and provider (reactive) components. Two interacting components are considered compatible if all possible sequences of services requested by one component can be provided by the other component. This concept of component compatibility can be extended to sets of interacting components, however, in the case of several requester components interacting with one or more provider components, as is typically the case of client-server applications, the requests from different components can be interleaved and then verifying component compatibility must take into account all possible interleavings of requests. Such interleaving of requests can lead to unexpected behavior of the composed system, e.g. a deadlock can occur. Service renaming is proposed as a method of systematic eliminating of such unexpected effects and streamlining component compositions.

show abstract

Section: Introductionmentioning

confidence: 89%