Formal Methods for Open Object-Based Distributed Systems V 2002
DOI: 10.1007/978-0-387-35496-5_15
|View full text |Cite
|
Sign up to set email alerts
|

Generating Adapters for Concurrent Component Protocol Synchronisation

Abstract: In general few components are reused as they are. Often, available components are incompatible with what is required. This necessitates component adaptations or the use of adapters between components. In this paper we develop algorithms for the synthesis of adapters, coercing incompatible components into meeting requirements. We concentrate on adapters for concurrent systems, where adapters are able to resolve synchronisation problems of concurrent components. A new interface model for components, which includ… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
24
0
1

Year Published

2005
2005
2007
2007

Publication Types

Select...
7

Relationship

0
7

Authors

Journals

citations
Cited by 39 publications
(25 citation statements)
references
References 19 publications
0
24
0
1
Order By: Relevance
“…However, we have designed each operator based on common mismatch pattern identified in prior work. Specifically, the flow, scatter gather, and hide operators correspond to the mismatch patterns identified in [9,1,3] 8 , the collapse operator corresponds to the "bundling patterns" supported in SAP XI (see Section 6) while the burst performs the opposite of the collapse.…”
Section: Interface Transformation Algebramentioning
confidence: 99%
See 1 more Smart Citation
“…However, we have designed each operator based on common mismatch pattern identified in prior work. Specifically, the flow, scatter gather, and hide operators correspond to the mismatch patterns identified in [9,1,3] 8 , the collapse operator corresponds to the "bundling patterns" supported in SAP XI (see Section 6) while the burst performs the opposite of the collapse.…”
Section: Interface Transformation Algebramentioning
confidence: 99%
“…Another technique for generation of adaptors for behavioural interfaces is defined in [9]. As in Yellin & Strom , the authors deal with mismatches corresponding to the "Flow", "Gather" and "Scatter" operators, not with "Burst", "Collapse" and "Hide".…”
Section: Related Workmentioning
confidence: 99%
“…In this case, the provider of the service is responsible for mediating between the interface that it is expected to provide, and the one that it actually implements. This mediation (or adaptation) process has been the subject of several research efforts [17,4].…”
Section: Behavioural Interfacementioning
confidence: 99%
“…Existing (global) adaptation approaches [27,21,14,8,11] proceed by generating a global adaptor for the whole system which is seen as a closed one. First of all this is costly.…”
Section: Introductionmentioning
confidence: 99%