Synthesis of concurrent and distributed adaptors for component-based systems

Authors:
Marco Autili;Michele Flammini;Paola Inverardi;Alfredo Navarra;Massimo Tivoli
Affiliations:
Computer Science Department, University of L'Aquila, L'Aquila, Italy;Computer Science Department, University of L'Aquila, L'Aquila, Italy;Computer Science Department, University of L'Aquila, L'Aquila, Italy;Computer Science Department, University of L'Aquila, L'Aquila, Italy;Computer Science Department, University of L'Aquila, L'Aquila, Italy
Venue:
EWSA'06 Proceedings of the Third European conference on Software Architecture
Year:
2006

Citing 8
Cited 9

Principles of concurrent and distributed programming

Principles of concurrent and distributed programming
Protocol specifications and component adaptors

ACM Transactions on Programming Languages and Systems (TOPLAS)
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Communication and Concurrency

Communication and Concurrency
Convertibility verification and converter synthesis: two faces of the same coin

Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Efficient Decentralized Monitoring of Safety in Distributed Systems

Proceedings of the 26th International Conference on Software Engineering
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems

ICSE '07 Proceedings of the 29th international conference on Software Engineering
A reuse-based approach to the correct and automatic composition of web-services

International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
Behavioral adaptation of component compositions based on process algebra encodings

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Failure-free coordinators synthesis for component-based architectures

Science of Computer Programming
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems

Journal of Systems and Software
Synthesis of Reo Circuits from Scenario-based Specifications

Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptation of open component-based systems

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Distributed behavioural adaptation for the automatic composition of semantic services

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Synthesis of Reo circuits from scenario-based interaction specifications

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 of a centralized glue adaptor. Second, from the synthesized adaptor model and a specification of the desired behavior, we generate a set of adaptors local to the components. They cooperatively behave as the centralized adaptor restricted with respect to the specified desired interactions.