A component calculus for modeling the olan configuration language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1282, Issue , 1997, Pages 392-409

  Vion Dury, Jean Yves ^a   Bellissard, Luc ^b   Marangozov, Vladimir ^b  

^a XEROX RESEARCH CENTRE EUROPE   (France)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE REUSABILITY; MODELING LANGUAGES; SEMANTICS;

CONFIGURATION LANGUAGES; EXECUTION MODEL; OPERATIONAL DEFINITION; OPERATIONAL SEMANTICS; PROCESS CALCULI; PROCESS EQUIVALENCE; REAL APPLICATIONS; SELECTIVE INTERACTION;

CALCULATIONS;

EID: 21744436694     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63383-9_93     Document Type: Conference Paper

References (16)

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.
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.
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.
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.
5. Oscar Nierstrasz, 'Toward an Object Calculus", Proceedings of ECOOP'91 Workshop on Object-Based Concurrent Computing - Geneva, LNCS, pp 1-20, July 1991.
6. Hoare C.A.R., "Communicating Sequential Processes", Communications of ACM, 21(8), 1978.
7. Robert Allen and David Garlan, "Formal Connectors", Technical Report CMU-CS-94-115, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, March 1994.
8. Jef Magee, Susan Eisenbach and Jeff Kramer, "Modelling Darwin in the 7r-calculus", Theory & Practice in Distributed systems, Dagstuhl Castle, Germany, Lecture Notes in computer Sciences 938, September 1994.
9. Robin Milner, Communication and Concurrency, Prentice Hall international, 66 Wood Lane End, Hemel Hempstead Hertfordshire, HP2 4RG UK, 1989.
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.
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.
12. Jean-Yves Vion-Dury, 'http://pukapuka.inrialpes.fr/ICCS/', Exploratory Compiler and simulator for ICCS, January 1997.
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.
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.
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.
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.