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

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.

REFERENCES

• 1: J. Buchi. On a decision method in restricted second order arithmetic. In International Congress on Logic, Method and Philosophical Sciences, 1960.
• 2: Ivica Crnkovic , Magnus Larsson, Building Reliable Component-Based Software Systems, Artech House, Inc., Norwood, MA, 2002
• 3: John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 4: P. Inverardi, L. Mostarda, M. Tivoli, and M. Autili. Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. Technical report, Dep. of Computer Science, University of L'Aquila - http://www.di.univaq.it/tivoli/trcs_07.pdf, 2005.
• 5: P. Inverardi and M. Tivoli. Software Architecture for Correct Components Assembly. Springer, LNCS 2804.
• 6: L. Mostarda and P. Inverardi. A distributed intrusion detection approach for secure software architecture. 2th European Workshop on Software Architecture. To appear. 2005.
• 7: M. Tivoli and M. Autili. Synthesis: a tool for synthesizing "correct" and protocol-enhanced adaptors. to appear on L'Object Journal, http://www.di.univaq.it/tivoli/LastSynthesis.pdf, 2005.
• 8: Clemens Szyperski, Component Software: Beyond Object-Oriented Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002
• 9: Sebastian Uchitel , Jeff Kramer , Jeff Magee, Detecting implied scenarios in message sequence chart specifications, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Algorithms, Design

Keywords:
component adaptation, component assembly, component based software engineering