Abstract
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the coordination from computational aspects. SynchNet can be used in combination with any object-based language capable of expressing sequential behavior of objects. SynchNet, which is inspired by Petri nets, has a simple syntax and semantics, but is expressive enough to code many of the commonly used coordination patterns. The level of abstraction that it provides allows tools and techniques developed for Petri nets to be readily applied to analysis and verification of the specified coordination patterns.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
Astley, M., Sturman, D., Agha, G.: Customizable middleware for modular distributed software. Communications of the ACM 44(5), 99–107 (2001)
Cruz, J.-C., Ducasse, S.: Coordinating open distributed systems. In: Proceedings of International Workshop in Future Trends in Distributed Computing Systems 1999, Cape Town, South Africa (1999)
U.S. Department of Defence. Reference Manual for the Ada programming language. DoD, Washington, D.C. (January 1983)
Dijkstra, E.W.: Guarded commands, nondeterminacy, and formal derivation of programs. Comm. ACM 8, 453–457 (1975)
Esparza, J., Nielsen, M.: Decidability issues for petri nets - a survey. Inform. Process. Cybernet. 30, 143–160 (1994)
Giese, H.: Contract-based component system design. In: HICSS (2000)
Object Management Group. Common Object Request Broker Architecture. OMG (1999)
Hansen, P.B.: Distributed processes: A concurrent programming concept. Comm. ACM 21(11), 934–941 (1978)
Hoare, C.A.R.: Communicating sequential processes. Comm. ACM 21(8), 151–160 (1978)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Kumaran, I., Kumaran, S.: JINI Technology: An Overview. Prentice-Hall, Englewood Cliffs (2001)
Lopes, A., Fiadeiro, J.L., Wemelinger, M.: Architectural primitives for distribution and mobility. In: SIGSOFT 2002/FSE-10, pp. 18–22 (November 2002)
Matsuoka, S., Yonezawa, A.: Analysis of inheritance anomaly in object-oriented concurrent programming languages. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Research Directions in Concurrent Object-Oriented Programming, pp. 107–150. MIT Press, Cambridge (1993)
Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology 9(3), 273–305 (2000)
Peterson, J.: Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs (1981)
Petri, C.A.: Kommunikation mit Automaten. PhD thesis, University of Bonn, Bonn, West Germany (1962)
Frølund, S.: Coordinating Distributed Objects: An Actor Based Approach to Coordination. MIT Press, Cambridge (1996)
Sessions, R.: COM and DCOM: Microsoft’s Vision for Distributed Objects. John Wiley and Sons, Chichester (1997)
Tichelaar, S.: A coordination component framework for open distributed systems. Master’s thesis, University of Groningen (1997)
Venkatasubramanian, N., Talcott, C.L.: Reasoning about meta level activities in open distributed systems. In: Symposium on Principles of Distributed Computing, pp. 144–152 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ziaei, R., Agha, G. (2003). SynchNet: A Petri Net Based Coordination Language for Distributed Objects. In: Pfenning, F., Smaragdakis, Y. (eds) Generative Programming and Component Engineering. GPCE 2003. Lecture Notes in Computer Science, vol 2830. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39815-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-39815-8_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20102-1
Online ISBN: 978-3-540-39815-8
eBook Packages: Springer Book Archive