CoorSet: A Development Environment for Associatively Coordinated Components

  • Kevin Kane
  • James C. Browne
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2949)


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.


Data Item Development Environment Runtime System Coordination Model Message Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dolev, D., Dwork, C., Stockmeyer, L.: On the minimal synchronism needed for distributed consensus. Journal of the ACM 34(1), 77–97 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Turek, J., Shasha, D.: The Many Faces of Consensus in Distributed Systems. Computer 25(6), 8–17 (1992)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Bayerdorffer, B.: Distributed computing with associative broadcast. In: Proceedings of the Twenty-Eighth Hawaii International Conference on System Sciences (1995)Google Scholar
  5. 5.
    Gelertner, D.: Generative communication in Linda. ACM Trans. Prog. Lang. Sys. 7(1), 80–112 (1985)CrossRefzbMATHGoogle Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Dolev, D., Malki, D.: On distributed algorithms in a broadcast domain. In: Proceedings of ICALP, pp. 371–387 (1993)Google Scholar
  9. 9.
    Kane, K.: The CoorSet Interface Definition Language (preprint)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Liao, T.: Light-weight Reliable Multicast Protocol. INRIA Technical Report (1998),
  12. 12.
    Rowstron, A., Kermarrec, A.-M., Castro, M., Druschel, P.: SCRIBE: The design of a large-scale event notification infrastructure. NGC2001, UCL, London (2001)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    Papadopoulos, G.A., Arbab, F.: Coordination Models and Languages. Advances in Computers, vol. 46. Academic Press, London (August 1998)Google Scholar
  16. 16.
    Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java Framework for Distributed and Mobile Applications. Software – Practice and Experience 32, 1365–1394 (2002)CrossRefzbMATHGoogle Scholar
  17. 17.
    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)CrossRefGoogle Scholar
  18. 18.
    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)CrossRefGoogle Scholar
  19. 19.
    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)CrossRefGoogle Scholar
  20. 20.
    Arbab, F., Herman, I., Spilling, P.: An overview of Manifold and its implementation. Concurrency: Practice and Experience 5(1), 23–70 (1993)CrossRefGoogle Scholar
  21. 21.
    Birngruber, D.: CoML: Yet Another, But Simple Component Composition Language. In: Proceedings of Workshop on Composition Languages (2001)Google Scholar
  22. 22.
    Leymann, F.: Web Services Flow Language (WSFL 1.0),
  23. 23.
    Thatte, S. (ed.): Specification: Business Process Execution Language for Web Services Version 1.1,
  24. 24.
    The Globus Alliance: Open Grid Services Architecture,
  25. 25.
    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)CrossRefGoogle Scholar
  26. 26.
    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)CrossRefGoogle Scholar
  27. 27.
    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)Google Scholar
  28. 28.
    Ostrovský, K.: Higher Order Broadcasting Systems. Thesis for the Degree of Licentiate of Philosophy, Göteborg University (2002)Google Scholar
  29. 29.
    Andreoli, J.-M., Pareschi, R.: Linear Objects: Logical Processes with built-in Inheritance. In: Proceedings of 7th ICLP, pp. 495–510 (1990)Google Scholar
  30. 30.
    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)CrossRefGoogle Scholar
  31. 31.
    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)Google Scholar
  32. 32.
    Chazan, D., Miranker, W.: Chaotic relaxation. Linear Algebra Applications 2, 199–222 (1969)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Kevin Kane
    • 1
  • James C. Browne
    • 1
  1. 1.Department of Computer SciencesThe University of Texas at AustinAustinUSA

Personalised recommendations