Abstract
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented. The previous associative broadcast coordination model is extended to incorporate more complex specifications for interactions including multiple message interactions and fault-tolerance by replication. The runtime system is extended to facilitate construction and application of distributed implementation of coordination systems. An interface definition language based on the extended coordination model and a compiler for the language are defined and described. Three example applications, a generalized readers/writers problem including replication, a ”greedy reuse” algorithm and a distributed computation of Google pageranks are presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dolev, D., Dwork, C., Stockmeyer, L.: On the minimal synchronism needed for distributed consensus. Journal of the ACM 34(1), 77–97 (1987)
Turek, J., Shasha, D.: The Many Faces of Consensus in Distributed Systems. Computer 25(6), 8–17 (1992)
Bayerdorffer, B.: Associative broadcast and the communication semantics of naming in concurrent systems. Ph.D. dissertation, Department of Computer Sciences, The University of Texas at Austin (1993)
Bayerdorffer, B.: Distributed computing with associative broadcast. In: Proceedings of the Twenty-Eighth Hawaii International Conference on System Sciences (1995)
Gelertner, D.: Generative communication in Linda. ACM Trans. Prog. Lang. Sys. 7(1), 80–112 (1985)
Browne, J.C., Kane, K., Tian, H.: An associative broadcast based coordination model for distributed processes. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 96–110. Springer, Heidelberg (2002)
Newton, P., Browne, J.C.: The CODE 2.0 Graphical Parallel Programming Language. In: Proceedings of the ACM International Conference on Supercomputing, pp. 167–177 (1992)
Dolev, D., Malki, D.: On distributed algorithms in a broadcast domain. In: Proceedings of ICALP, pp. 371–387 (1993)
Kane, K.: The CoorSet Interface Definition Language (preprint)
Mittermeir, R., Wurfl, L.: Greedy Reuse: Architectural Considerations for Extending the Reusability of Components. In: Proceedings of SEKE 1996, the Eighth International Conference on Software Engineering and Knowledge Engineering (1996)
Liao, T.: Light-weight Reliable Multicast Protocol. INRIA Technical Report (1998), http://webcanal.inria.fr/lrmp/lrmp_paper.ps
Rowstron, A., Kermarrec, A.-M., Castro, M., Druschel, P.: SCRIBE: The design of a large-scale event notification infrastructure. NGC2001, UCL, London (2001)
Rowstron, A., Druschel, P.: Pastry: Scalable, distributed object location and routing for large-scale peer-to-peer systems. In: IFIP/ACM International Conference on Distributed Systems Platforms (Middleware), Heidelberg, Germany, pp. 329–350 (2001)
Kane, K., Browne, J.C.: The Component Starting Component: an environment for distributed systems and peer to peer research. Department of Computer Sciences Technical Report TR-03-42, University of Texas at Austin (2003)
Papadopoulos, G.A., Arbab, F.: Coordination Models and Languages. Advances in Computers, vol. 46. Academic Press, London (August 1998)
Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java Framework for Distributed and Mobile Applications. Software – Practice and Experience 32, 1365–1394 (2002)
Picco, G., Buschini, M.: Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 258–271. Springer, Heidelberg (2002)
Tolksdorf, R., Rojec-Goldmann, G.: The SPACETUB Models and Framework. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 348–363. Springer, Heidelberg (2002)
Cuesta, C., de la Fuente, P., Barrio-Solórzano, M., Beato, E.: Coordination in a Reflective Architecture Description Language. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 141–148. Springer, Heidelberg (2002)
Arbab, F., Herman, I., Spilling, P.: An overview of Manifold and its implementation. Concurrency: Practice and Experience 5(1), 23–70 (1993)
Birngruber, D.: CoML: Yet Another, But Simple Component Composition Language. In: Proceedings of Workshop on Composition Languages (2001)
Leymann, F.: Web Services Flow Language (WSFL 1.0), http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
Thatte, S. (ed.): Specification: Business Process Execution Language for Web Services Version 1.1, http://www-106.ibm.com/developerworks/webservices/library/wsbpel/
The Globus Alliance: Open Grid Services Architecture, http://www.globus.org/ogsa/
Minsky, N., Leichter, J.: Law-Governed Linda as a Coordination Model. In: Object- Based Models and Languages for Concurrent Systems. LNCS, vol. 924, pp. 125–146. Springer, Heidelberg (1995)
Andrade, L., Fiadeiro, J.: Interconnecting objects via contracts. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 566–583. Springer, Heidelberg (1999)
Sankaralingam, K., Sethumadhavan, S., Browne, J.C.: Distributed Pageranks for P2P Systems. In: Proceedings of the Twelfth IEEE International Symposium on High Performance Parallel and Distributed Systems, pp. 58–69 (2003)
Ostrovský, K.: Higher Order Broadcasting Systems. Thesis for the Degree of Licentiate of Philosophy, Göteborg University (2002)
Andreoli, J.-M., Pareschi, R.: Linear Objects: Logical Processes with built-in Inheritance. In: Proceedings of 7th ICLP, pp. 495–510 (1990)
Wu, S.Y., Miranker, D.P., Browne, J.C.: Decomposition Abstraction in Parallel Rule Languages. IEEE Transactions on Parallel and Distributed Systems 7(11), 1164–1184 (1996)
Page, L., Brin, S., Motwani, R., Winograd, T.: The pagerank citation ranking: Bringing order to the web. Technical report, Stanford Digital Library Technologies Project (1998)
Chazan, D., Miranker, W.: Chaotic relaxation. Linear Algebra Applications 2, 199–222 (1969)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kane, K., Browne, J.C. (2004). CoorSet: A Development Environment for Associatively Coordinated Components. In: De Nicola, R., Ferrari, GL., Meredith, G. (eds) Coordination Models and Languages. COORDINATION 2004. Lecture Notes in Computer Science, vol 2949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24634-3_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-24634-3_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21044-3
Online ISBN: 978-3-540-24634-3
eBook Packages: Springer Book Archive