[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content

A component calculus for modeling the Olan configuration language

  • Regular Papers
  • Conference paper
  • First Online:
Coordination Languages and Models (COORDINATION 1997)

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

Included in the following conference series:

Abstract

Components will certainly become a key concept for the next generation of software architectures because of their impact on effective software reuse, real interoperability and integration. Within the Olan project [15], we face the difficulty of defining an operational semantics able to reflect the diversity of execution models involved in real applications. Existing process calculi offer the required abstractions such as encapsulation and process equivalences, but they rely on the fundamental assumption that agents are active, i.e autonomously able to initiate communication. However, components, viewed as software pieces with explicit interfaces, require a notion of passive composition that allows, for instance, several components to be traversed by a same process. In this paper, we introduce a calculus, named ICCS, which extends the Milner's CCS calculus with (1) an operator for passive composition, and (2) selective interactions. While preserving the powerful theory of process equivalences established for CCS, this calculus provides an operational definition of passive components and allows thus to establish the basis of an operational semantics for the Olan Configuration Language.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. L. Bellissard, S. Ben Atallah, F. Boyer, M. Riveill, “Distributed Application Configuration”, Proc. 16th International Conference on Distributed Computing Systems, pp. 579–585, IEEE Computer Society, Hong-Kong, May 1996.

    Google Scholar 

  2. Ichiro Satoh and Mario Tokoro, “A Timed Calculus for Distributed Object with Clocks” Proceedings of the 7th European Conference on Object Oriented Programming, pp. 326–345, Springer-Verlag, Kaiserslautern, Germany, July 1993.

    Google Scholar 

  3. Ichiro Satoh and Mario Tokoro, “A Formalism for Distributed Real-Time Processes with Temporal Uncertainties”, Proceedings of OOPSLA'92, ACM, pp.315–326, October 1994.

    Google Scholar 

  4. Daniel M. Yellin and Robert E. Strom “Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors”, Proceedings of OOPSLA'94 (Portland, Oregon USA), ACM, pp. 176–190, October 1994.

    Google Scholar 

  5. Oscar Nierstrasz, “Toward an Object Calculus”, Proceedings of ECOOP'91 Workshop on Object-Based Concurrent Computing — Geneva, LNCS, pp 1–20, July 1991.

    Google Scholar 

  6. Hoare C.A.R., “Communicating Sequential Processes”, Communications of ACM, 21(8), 1978.

    Google Scholar 

  7. Robert Allen and David Garlan, “Formal Connectors”, Technical Report CMU-CS-94-115, School of Computer Science, Camegie Mellon University, Pittsburgh, PA 15213, March 1994.

    Google Scholar 

  8. Jef Magee, Susan Eisenbach and Jeff Kramer, “Modelling Darwin in the π-calculus”, Theory & Practice in Distributed systems, Dagstuhl Castle, Germany, Lecture Notes in computer Sciences 938, September 1994.

    Google Scholar 

  9. Robin Milner, Communication and Concurrency, Prentice Hall international, 66 Wood Lane End, Hemel Hempstead Hertfordshire, HP2 4RG UK, 1989.

    Google Scholar 

  10. Robin Milner, Joachim Parrow and David Walker, “A Calculus of Mobile Processes (Part 1 & 2)”, LFCS Laboratory for Foundation of Computer Sciences, University of Edinburgh, June 1989.

    Google Scholar 

  11. Robin Milner, Joachim Parrow and David Walker, “Modal Logics for Mobile Processes”, LFCS Laboratory for Foundation of Computer Sciences, University of Edinburgh, April 1991.

    Google Scholar 

  12. Jean-Yves Vion-Duty, ‘http://pukapuka.inrialpes.fr/ICCS/`, Exploratory Compiler and simulator for ICCS, January 1997.

    Google Scholar 

  13. De Remer F. and Kron H. “Programming-in-the-large versus Programming-in-the-small”, IEEE Transactions on Software Engineering, Vol. 2 (No. 2), pp. 80–87, June 1976.

    Google Scholar 

  14. Simon S. Lam, A.Udaya Shankar, “A Theory of Interfaces and Modules I-Composition Theorem” IEEE Transactions on Software Engineering, Vol. 20, No. 1, January 1994.

    Google Scholar 

  15. Bellissard L., Ben Atallah S., Kerbrat A., and Riveill M. “Comonent-based Programming and Application Management with Olan”, Object-Based Parallel and Distributed Computation France-Japan Workshop, OBPDC'95, Briot J.P, Geib J.M., Yonezawa A. (Eds.), LNCS, Vol. 1107, Springer-Verlag, 1996.

    Google Scholar 

  16. Magee J., Dulay N. and Kramer J. “A Constructive Development Environment for Parallel and Distributed Programs”, Proceedings of the International Conference on Configurable Distributed Systems, Pittsburgh, PA, March 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

David Garlan Daniel Le Métayer

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vion-Dury, JY., Bellissard, L., Marangozov, V. (1997). A component calculus for modeling the Olan configuration language. In: Garlan, D., Le Métayer, D. (eds) Coordination Languages and Models. COORDINATION 1997. Lecture Notes in Computer Science, vol 1282. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63383-9_93

Download citation

  • DOI: https://doi.org/10.1007/3-540-63383-9_93

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63383-9

  • Online ISBN: 978-3-540-69527-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics