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.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
Oscar Nierstrasz, “Toward an Object Calculus”, Proceedings of ECOOP'91 Workshop on Object-Based Concurrent Computing — Geneva, LNCS, pp 1–20, July 1991.
Hoare C.A.R., “Communicating Sequential Processes”, Communications of ACM, 21(8), 1978.
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.
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.
Robin Milner, Communication and Concurrency, Prentice Hall international, 66 Wood Lane End, Hemel Hempstead Hertfordshire, HP2 4RG UK, 1989.
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.
Robin Milner, Joachim Parrow and David Walker, “Modal Logics for Mobile Processes”, LFCS Laboratory for Foundation of Computer Sciences, University of Edinburgh, April 1991.
Jean-Yves Vion-Duty, ‘http://pukapuka.inrialpes.fr/ICCS/`, Exploratory Compiler and simulator for ICCS, January 1997.
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.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights 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