Abstract
Coordination, the act of imposing a desired behavior on a group of autonomous, independently conceived agents, has been an important issue in the design and development of software systems, both process-based and object-based. In this paper, the Calculus of Coordinating Environments (CCE) is proposed to study coordination as the behavioral union of coordinated and coordinating agents. In CCE, the behavior of coordinated objects is expressed as agents in the Calculus of Communicating Systems (CCS) and the behavior of coordinating objects is expressed as agents (called CE agents) of an extension of CCS. Two composition rules are provided that capture the interaction among CE agents and CCS agents. The applicability of the new formalism is shown by specifying two simple coordination problems in CCE.
Preview
Unable to display preview. Download preview PDF.
References
R. Milner, Communication and Concurrency. Prentice Hall, 1989.
N. Carriero and D. Gelernter. Linda In Context. Communications of the ACM, April, 1989, Vol. 32, Number 4.
N. Francez, B. Hailpern, and G. Taubenfeld. Script: A Communication Abstraction Mechanism and its Verification. Science of Computer Programming, 6, 1986, pages 35–88, North-Holland.
A. W. Holt. Diplans: A New Language for the Study and Implementation of Coordination. ACM Transactions on Office Information Systems, Vol. 6, Number 2, pages 109–125, April 1988.
P. Ciancarini. Coordinating Rule-Based Software Processes with ESP. ACM Transactions on Software Engineering and Methodology, Vol. 2, Number 3, pages 203–227, July 1993.
D. C. Luckham et al., Partial Orderings of Event Sets and Their Application to Prototyping Concurrent, Timed Systems. Journal of Systems Software. Vol. 21, June 1993, pages 253–265.
M. H. Olsen, E. Oskiewicz, J. P. Warne. A Model for Interface Groups. In Proceedings IEEE 10th Symposium on Reliable Distributed Systems, pages 98–107, 1991.
ISA Project Core Team. ANSA: Assumptions, Principles, and Structure. In J. P. Warne, editor, Conference Proceedings of Software Engineering Environments 1991, University College of Wales, Aberystwyth, March, 1991.
F. Arbab, I. Herman, and P. Spilling. An Overview of Manifold and its Implementation. Concurrency: Practice and Experience, February 1993, Vol 1, Number 1.
A. Corradi and L. Leonardi. PO Constraints as Tools to Synchronize Active Objects. Journal of Object-Oriented Programming, pages 41–53, Oct. 1991.
C. Arapis. Specifying Object Interactions. In D. Tsichritzis, editor, Object Composition. University of Geneva, 1991.
I. M. Holland. Specifying Reusable Components Using Contracts. In O. Lehrmann Madsen, editor, Proceedings ECOOP'92, LNCS 615, pages 287–308, Utrecht, The Netherlands, July, 1992. Springer-Verlag.
R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software. Prentice Hall, 1990.
C. Atkinson, S. Goldsack, A. D. Maio, and R. Bayan. Object-Oriented Concurrency and Distribution in DRAGOON. Journal of Object-Oriented Programming, March/April 1991.
Mario Tokoro. Computational Field Model: Toward a New Computational Model/Methodology for Open Distributed Environment. In Proceedings of the 2nd IEEE Workshop on Future Trends in Distributed Computing Systems, Sept. 1990, Cairo, Egypt.
S. Frolund and G. Agha. A Language Framework for Multi-Object Coordination. In O. Nierstrasz, editor, Proceedings ECOOP'93, LNCS 707, pages 346–359, Germany, July, 1993. Springer-Verlag.
J. Van Den Bos and C. Laffra. PROCOL: A Concurrent Object-Oriented Language with Protocols, Delegation, and Constraints. Acta Informatica, Vol. 28, Number 6, 1991.
M. Aksit et al. Abstracting Object Interactions Using Composition Filters. Proceedings of the ECOOP'93 Workshop on Object-Based Distributed Programming, R. Guerraoui, O. Nierstrasz, and M. Rivelli editors, LNCS 791, pages 152–184, Kaiserslautern, Germany, July 1993. Springer-Verlag.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Parts I and II. Research Report. Laboratory for Foundations of Computer Science, University of Edinburgh, June 1989.
Oscar Nierstrasz. Towards an Object Calculus. Proceedings of the ECOOP'91 Workshop on Object-Based Concurrent Computing, M. Tokoro, O. Nierstrasz, P. Wegner, A. Yonezawa editors, LNCS 612, Springer-Verlag, Geneva, Switzerland, July 15–16, 1991.
D. Walker. Pi-Calculus Semantics of Object-Oriented Programming Languages. Research Report, University of Technology, Sydney. Sept. 1990.
K. G. Larsen. Context-Dependent Bisimulation Between Processes. Doctoral Dissertation. University of Edinburgh, 1986.
M. Mukherji. Specification of Multi-Object Coordination Schemes using Coordinating Environments. Doctoral Dissertation. Virginia Tech. July 1995.
C. A. R. Hoare, Communicating Sequential Processes. Prentice Hall, 1985.
K. Honda and M. Tokoro. An Object Calculus for Asynchronous Communication. In P. America, editor, Proceedings ECOOP '91, LNCS 512, pages 133–147, Geneva, Switzerland, July 1991. Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mukherji, M., Kafura, D. (1996). CCE: A process-calculus based formalism for specifying multi-object coordination. 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_52
Download citation
DOI: https://doi.org/10.1007/3-540-61052-9_52
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