Skip to main content
SpringerLink
Log in

A Logical Interface Description Language for Components

  • Conference paper
  • First Online:
Coordination Languages and Models (COORDINATION 2000)

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

Included in the following conference series:

Abstract

Motivated by our earlier work on the IWIM model and the Manifold language, in this paper, we attend to some of the basic issues in component-based software. We present a formal model for such systems, a formal-logic-based component interface description language that conveys the observable semantics of components, a formal system for deriving the semantics of a composite system out of the semantics of its constituent components, and the conditions under which this derivation system is sound and complete. Our main results in this paper are the theorems that formulate the notion of compositionality and the completeness of the derivation system that supports this property in a component-based system.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation Journal of Functional Programming, 1(1):1–69, 1993.

    MathSciNet  MATH  Google Scholar 

  2. F. Arbab, M.M. Bonsangue, and F.S. de Boer. A coordination language for mobile components. In Proc. of SAC 2000, pages 166–173, ACM press, 2000.

    Google Scholar 

  3. F. Arbab, I. Herman, and P. Spilling. An overview of Manifold and its implementation. Concurrency: Practice and Experience, 5(1):23–70, 1993.

    Article  Google Scholar 

  4. K. Bergner, A. Rausch, M. Sihling, A. Vilbig An integrated view on componentware: concepts, description techniques, and development process. In R. Lee, editor, Proc. of IASTED Conference on Software Engineering, pages 77–82, ACTA Press, 1998.

    Google Scholar 

  5. K. Bergner, A. Rausch, M. Sihling, A. Vilbig, and M. Broy. A formal model for componentware. In M. Sitaraman and G. Leavens, editors, Foundation of Component-Based Systems, Cambridge University Press, 2000.

    Google Scholar 

  6. F.S. de Boer. Reasoning about asynchronous communication in dynamically evolving object structures. In Theoretical Computer Science, 2000.

    Google Scholar 

  7. F.S. de Boer and M.M. Bonsangue. A compositional model for confluent dynamical data-flow networks. In B. Rovan ed., Proc. 25th MFCS, LNCS, 2000.

    Google Scholar 

  8. M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutellá, and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. Theoretical Computer Science, 240(1), July 2000.

    Google Scholar 

  9. M. Broy. Equations for describing dynamic nets of communicating systems. In Proc. 5th COMPASS workshop, volume 1378 of LNCS, pages 170–187, 1995.

    Google Scholar 

  10. L. Cardelli and A.D. Gordon. Mobile ambients. In Proc. of Foundation of Software Science and Computational Structures, volume 1378 of LNCS, pages 140–155, 1998.

    Chapter  Google Scholar 

  11. R. Grosu and K. Stølen. A model for mobile point-to-point data-flow networks without channel sharing. In Proc. AMAST’96, LNCS, 1996.

    Google Scholar 

  12. JavaSoft. The JavaBeans component architecture, 1999. Available on line at the http://java.sun.com/beans.

  13. He Jifeng, M.B. Josephs, and C.A.R. Hoare. A theory of synchrony and asynchrony. In Proc. of IFIP Working Conference on Programming Concepts and Methods, pages 459–478, 1990.

    Google Scholar 

  14. Microsoft Corporation. ActiveX Controls, 1999 Available on line at the http://www.microsoft.com/com/tech/activex.asp.

  15. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation 100:1, 1992, pp. 1–77.

    Article  MathSciNet  MATH  Google Scholar 

  16. Object Management Group. CORBA 2.1 specifications, 1997. Available on line at the http://www.omg.org.

  17. E.-R. Olderog and C.A.R. Hoare. Specification-oriented semantics for communicating processes. Acta Informatica 23:9–66, 1986.

    Article  MathSciNet  MATH  Google Scholar 

  18. M. Shaw, R. De Line, D. Klein, T. Ross, D. Young and G. Zelesnik. Abstraction for software architectures and tools to support them. IEEE Transactions on Software Engineering 21(4):356–372, 1995.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CWI, Amsterdam, The Netherlands

    F. Arbab & M. M. Bonsangue

  2. Utrecht University, The Netherlands

    F. S. de Boer

Authors
  1. F. Arbab
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. S. de Boer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. M. Bonsangue
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, Monte de Caparica, 2825-114, Caparica, Portugal

    António Porto

  2. Department of Computer Science, Washington University in St. Louis, Box 1045, One Brookings Drive, St. Louis, MO, 63130, USA

    Gruia-Catalin Roman

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Arbab, F., de Boer, F.S., Bonsangue, M.M. (2000). A Logical Interface Description Language for Components. In: Porto, A., Roman, GC. (eds) Coordination Languages and Models. COORDINATION 2000. Lecture Notes in Computer Science, vol 1906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45263-X_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-45263-X_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41020-1

  • Online ISBN: 978-3-540-45263-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation