Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems
Autili, Marco and Mostarda, Leonardo and Navarra, Alfredo and Tivoli, Massimo (2008) Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software, 81 (12). pp. 2210-2236. ISSN 0164-1212
Full text is not in this repository.
Official URL: http://dx.doi.org/10.1016/j.jss.2008.04.006
This item is available in the Library Catalogue
Building a distributed system from third-party components introduces a set of problems, mainly related to compatibility and communication. Our existing approach to solve such problems is to build a centralized adaptor which restricts the system’s behavior to exhibit only deadlock-free and desired interactions. However, in a distributed environment such an approach is not always suitable. In this paper, we show how to automatically generate a distributed adaptor for a set of black-box components. First, by taking into account a specification of the interaction behavior of each component, we synthesize a behavioral model for a centralized glue adaptor. Second, from the synthesized adaptor model and a specification of the desired behavior that must be enforced, we generate one local adaptor for each component. The local adaptors cooperatively behave as the centralized one restricted with respect to the specified desired interactions.
|Research Areas:||Middlesex University Schools and Centres > School of Science and Technology > Computer and Communications Engineering|
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > SensoLab group
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Intelligent Environments group
|Citations on ISI Web of Science:||2|
|Deposited On:||30 Mar 2011 14:51|
|Last Modified:||06 Nov 2014 13:02|
Repository staff only: item control page
Full text downloads (NB count will be zero if no full text documents are attached to the record)
Downloads per month over the past year