Compositionality, Coordination and Software Architecture

  • Paola Inverardi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2949)


In the last decade the way software is produced has been radically changing. Software component technology has witnessed growing popularity with the advent and diffusion of effective component-based infrastructures like CORBA, .Net and Java Beans. Component Based Software Development allowed integration of heterogeneous and legacy components and their availability in innovative contexts like the Internet. At the same time Component Based Software (CBS) systems, often based on Components Off The Shelf (COTS), exhibit severe integration problems at execution time, due to component coordination and synchronization failures [2, 1].


  1. 1.
    Boehm, B., Abts, C.: COTS Integration: Plug and Pray? IEEE Computer 32(1) (1999)Google Scholar
  2. 2.
    Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. In: IEEE Software Journal, vol. 12(6) (1995)Google Scholar
  3. 3.
    Proceeding Component Based Software Engineering Workshops. CBSE series,
  4. 4.
    Inverardi, P., Scriboni, S.: Connectors Synthesis for Deadlock-Free Component Based Architectures. In: IEEE Proc. 16th ASE 2001 (2001)Google Scholar
  5. 5.
    Inverardi, P., Tivoli, M.: Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications. In: ACM Proc. FSE/ESEC 2001, Vienna (2001)Google Scholar
  6. 6.
    Inverardi, P., Tivoli, M.: Deadlock free Software Architectures for COM/DCOM Applications. Journal of System and Software, CBSE Special Issue (2003)Google Scholar
  7. 7.
    Bucchiarone, A., Inverardi, P., Tivoli, M.: Automatic synthesis of coordinators of COTS group-ware applications: an example. DMC 2003. In: IEEE proceedings WETICE (2003)Google Scholar
  8. 8.
    Inverardi, P., Tivoli, M.: Software Architecture for Correct Components Assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 92–121. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Paola Inverardi
    • 1
  1. 1.Dipartimento di InformaticaUniversitá dell’AquilaItaly

Personalised recommendations