Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.

Inverardi, Paola and Mostarda, Leonardo and Tivoli, Massimo and Autili, Marco (2005) Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. IEEE/ACM International Conference on Automated Software Engineering: proceedings . pp. 405-409. ISSN 1938-4300

Full text is not in this repository.

Official URL: http://portal.acm.org/ft_gateway.cfm?id=1101981&ty...

This item is available in the Library Catalogue

Abstract

Building a distributed system from third-party components introduces a set of problems, mainly related to compatibility and communication. Our approach to solve these problems is to build an adaptor which forces the system to exhibit only a set of safe or desired behaviors. By exploiting an abstract and partial specification of the global behavior that must be enforced, we automatically build a centralized adaptor. It mediates the interaction among components by both performing the specified behavior and, simultaneously, avoiding possible deadlocks. However in a distributed environment it is not always possible or convenient to insert a centralized adaptor. In contrast, building a distributed adaptor might increase the applicability of the approach in a real-scale context. In this paper we show how it is possible to automatically generate a distributed adaptor by exploiting an approach to the definition of distributed IDS (Intrusion Detection Systems) filters developed by us to increase security measures in component based systems. Firstly, by taking into account a high level specification of the global behavior that must be enforced, we synthesize a behavioral model of a centralized adaptor that allows the composed system to only exhibit the specified behavior and, simultaneously, avoid possible unspecified deadlocks. This model represents a lower level specification of the global behavior that is enforced by the adaptor. Secondly, by taking into account the synthesized adaptor model, we generate a set of component filters that validate the centralized adaptor behavior by simply looking at local information. In this way we address the problem of mechanically generating correct and distributed adaptors for real-scale component-based systems.

Item Type:Article
Additional Information:

Conference details: 20th IEEE/ACM international Conference on Automated software engineering. Held in Long Beach, California 7-11 November, 2005.

Research Areas:Middlesex University Schools and Centres > School of Science and Technology > Science & Technology
ID Code:7377
Deposited On:30 Mar 2011 16:19
Last Modified:09 Oct 2013 11:28

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