Advertisement

Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems

  • Marco Autili
  • Michele Flammini
  • Paola Inverardi
  • Alfredo Navarra
  • Massimo Tivoli
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4344)

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.

Keywords

Global State Critical Action Label Transition System Code Line Local Adaptor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (2004)Google Scholar
  2. 2.
    Tivoli, M., Autili, M.: Synthesis: a tool for synthesizing “correct” and protocol-enhanced adaptors. RSTI L’Objet journal 12, 77–103 (2006)Google Scholar
  3. 3.
    Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)MATHGoogle Scholar
  4. 4.
    Ben-Ari, M.: Principles of concurrent and distributed programming. Prentice-Hall, Englewood Cliffs (1990)MATHGoogle Scholar
  5. 5.
    Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)MATHCrossRefGoogle Scholar
  6. 6.
    Inverardi, P., Mostarda, L., Tivoli, M., Autili, M.: Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. In: Proc. of 20th IEEE/ACM International Conference on Automated Software Engineering (ASE), Long Beach, CA, USA (2005)Google Scholar
  7. 7.
    Passerone, R., de Alfaro, L., Heinzinger, T., Sangiovanni-Vincentelli, A.L.: Convertibility verification and converter synthesis: Two faces of the same coin. In: Proc. of International Conference on Computer Aided Design (ICCAD), San Jose, CA, USA (2002)Google Scholar
  8. 8.
    Yellin, D., Strom, R.: Protocol specifications and component adaptors. ACM Trans. on Programming Languages and Systems 19(2), 292–333 (1997)CrossRefGoogle Scholar
  9. 9.
    Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proc. of International Conference on Software Engineering (ICSE), Edinburgh - UK (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Marco Autili
    • 1
  • Michele Flammini
    • 1
  • Paola Inverardi
    • 1
  • Alfredo Navarra
    • 1
  • Massimo Tivoli
    • 1
  1. 1.Computer Science DepartmentUniversity of L’AquilaL’AquilaItaly

Personalised recommendations