Skip to main content
SpringerLink
Log in

Modelling interoperability by CHAM: A case study

  • Short Papers
  • Conference paper
  • First Online:
Coordination Languages and Models (COORDINATION 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1061))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Allen and D. Garlan, Formalizing Architectural Connection. In Proc. of the 16th Int. Conf. on Software Engineering, pag. 71–80. IEEE Comp. Soc., 1994.

    Google Scholar 

  2. G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217–248, 1992.

    Google Scholar 

  3. D. Compare. Specifica ed Analisi del Cern Compressing Proxy con la CHAM. Tesi di Laurea in Scienze dell'Informazione, Uni. L'Aquila, December 1995.

    Google Scholar 

  4. D. Garlan, D. Kindred, and J.M. Wing. Interoperability:Sample Problems and Solutions. Technical report, Carnegie Mellon University, Pittsburgh, Pennsylvania.

    Google Scholar 

  5. P. Inverardi and A.L. Wolf. Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):100–114, April 1995.

    Google Scholar 

  6. D. Kindred. The CERN Stream/Unix Filter Adaptor:WRIGHT Specification. Technical report.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. di Mat. pura ed Appl., Università di L'Aquila, via Vetoio, Coppito, I-67010, L'Aquila, Italy

    Paola Inverardi & Daniele Compare

Authors
  1. Paola Inverardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniele Compare
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Paolo Ciancarini Chris Hankin

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Inverardi, P., Compare, D. (1996). Modelling interoperability by CHAM: A case study. In: Ciancarini, P., Hankin, C. (eds) Coordination Languages and Models. COORDINATION 1996. Lecture Notes in Computer Science, vol 1061. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61052-9_65

Download citation

  • DOI: https://doi.org/10.1007/3-540-61052-9_65

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61052-6

  • Online ISBN: 978-3-540-49936-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation