Type-based publish/subscribe: Concepts and experiences

ACM Transactions on Programming Languages and Systems

Volumn 29, Issue 1, 2007, Pages

  Eugster, Patrick ^a,b  

^a PURDUE UNIVERSITY   (United States)

^b Purdue University   (United States)

Author keywords

Abstraction; Distribution; Generics; Java; Publish subscribe; Reflection; Type

Indexed keywords

INTERCONNECTED COMPUTER DEVICES; OBJECT ENCAPSULATION; TYPE-BASED PUBLISH/SUBSCRIBE (TPS);

ABSTRACTING; COMPUTER PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; SOFTWARE ENGINEERING;

LARGE SCALE SYSTEMS;

EID: 33846609442     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1180475.1180481     Document Type: Article

References (95)

1. AGHA, G. 1985. Actors: A model of concurrent computation in distributed systems. Ph.D. thesis, University of Michigan, Computer and Communication Science.
2. AGUILERA, M. AND STROM, R. 2000. Efficient atomic broadcast using deterministic merge. In Proceedings of the 19th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC). 209-218.
3. AGUILERA, M., STROM, R., STURMAN, D., ASTLEY, M., AND CHANDRA, T. 1999. Matching events in a content-based subscription system. In Proceedings of the 18th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC). 53-62.
4. AKSIT, M., WAKITA, K., BOSCH, J., BERGMANS, L., AND YONEZAWA, A. 1993. Abstracting object interactions using composition filters. In Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP). 152-184.
5. ALTHERR, M., ERZBERGER, M., AND MAFFEIS, S. 1999. iBus - A software bus middleware for the Java platform. In Proceedings of the International Workshop on Reliable Middleware Systems of the 13th IEEE Symposium On Reliable Distributed Systems (SRDS). 43-53.
6. ARAUJO, F. AND RODRIGUES, L. 2002. On QoS-Aware publish/subscribe. In Proceedings of the International Workshop on Distributed Event-based Systems (DEBS).
7. ARMSTRONG, J., VIRDING, R., WIKSTRÖM, C., AND WILLIAMS, M. 1996. Concurrent Programming in Erlang, 2nd ed. Prentice-Hall, Upper Saddle River, NJ.
8. BACON, J., MOODY, K., BATES, J., HAYTON, R., MA, C., MCNEIL, A., SEIDEL, O., AND SPITERI, M. 2000. Generic support for distributed applications. IEEE Comput. 33, 3 (Mar.), 68-76.
9. BAEHNI, S., EUGSTER, P., AND GUERRAOUI, R. 2002. OS support for peer-to-peer programming: A case for TPS. In Proceedings of the 22th IEEE International Conference on Distributed Computing Systems (ICDCS). 355-362.
10. BAEHNI, S., EUGSTER, P., AND GUERRAOUI, R. 2004. Data-Aware multicast. In Proceedings of the 5th IEEE International Conference on Dependable Systems and Networks (DSN). 233-242.
11. BAEHNI, S., EUGSTER, P., GUERRAOUI, R., AND P.ALTHERR. 2003. Pragmatic type onteroperability. In Proceedings of the 23rd IEEE International Conference on Distributed Computing Systems (ICDCS).
12. BENTON, N., CARDELLI, L., AND FOURNET, C. 2004. Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26, 5 (Sept.), 769-804.
13. BIRMAN, K. 1993. The process group approach to reliable distributed computing. Commun. ACM 36, 12 (Dec.), 36-53.
14. BRACHA, G. 2004. Generics in the Java programming language. Tech. Rep., Sun Microsystems, Inc. July.
15. BRACHA, G. AND COOK, W. 1990. Mixin-Based inheritance. In Proceedings of the 5th ACM Conference on Object-Oriented Programming Systems, Languages and Applications and 4th European Conference on Object-Oriented Programming (OOPSLA/ECOOP). 303-311.
16. BRACHA, G., ODERSKY, M., STOUTAMIRE, D., AND WADLER, P. 1998. Making the future safe for the past: Adding genericity to the Java programming language. In Proceedings of the 13th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). 183-200.
17. BRIOT, J.-P. 1989. Actalk: A testbed for classifying and designing actor languages in the Smalltalk-80 environment. In Proceedings of the 3rd European Conference on Object-Oriented Programming (ECOOP). 109-129.
18. BRUCE, K., PETERSEN, L., AND FIECH, A. 1997. Subtyping is not a good "match" for object-oriented languages. In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP). 104-127.
19. BRUCE, K., SCHUETT, A., AND VAN GENT, R. 1995. PolyTOIL: A type-safe polymorphic object-oriented language. In Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP). 27-51.
20. CANNING, P., COOK, W., HILL, W., OLTHOFF, W., AND MITCHELL, J. 1989. F-Bounded polymorphism for object-oriented programming. In Proceedings of the 4th ACM International Conference on Functional Programming and Computer Architecture (FPCA). 273-280.
21. CARDELLI, L. 1995. A language with distributed scope. In Conference Record of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 286-297.
22. CARDELLI, L., DONAHUE, J., JORDAN, M., KALSOW, B., AND NELSON, G. 1989. The modula-3 type system. In Conference Record of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 202-212.
23. CARDELLI, L. AND GORDON, A. 1998. Mobile ambients. In International Conference on Foundations of Software Science and Computation Structures (FOSSACS). 140-155.
24. CAROMEL, D. 1993. Towards a method of object-oriented concurrent programming. Commun. ACM 36, 90-102.
25. CARZANIGA, A., ROSENBLUM, D., AND WOLF, A. 2000. Achieving scalability and expressiveness in an Internet-Scale event notification service. In Proceedings of the 19th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC). 219-227.
26. CHAMBERS, C. 1995. The cecil language specification and rationale: Version 2.0. Tech. Rep. UW-CS 93-03-05, Department of Computer Science and Engineering, University of Washington. Dec.
27. CIANCARINI, P. AND ROSSI, D. 1997. Jada - Coordination and communication for Java agents. In Mobile Object Systems: Towards the Programmable Internet. Lecture Notes in Computer Sceince, vol. 1222. Springer, 213-228.
28. DAMM, C., EUGSTER, P., AND GUERRAOUI, R. 2004. Linguistic support for distributed programming abstractions. In Proceedings of the 24th IEEE International Conference on Distributed Computing Systems (ICDCS). 244-251.
29. DEDECKER, J., CUTSEM, T. V., MOSTINCKX, S., D'HONDT, T., AND MEUTER, W. D. 2006. Ambient-Oriented programming in AmbientTalk. In Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP). 230-254.
30. DELPORTE-GALLET, C., FAUCONNIER, H., GUERRAOUI, R., AND KOUZNETSOV, P. 2005. Mutual exclusion in asynchronous systems with failure detectors. J. Parallel Distrib. Comput. 65, 492-505.
31. ELLIS, M. AND STROUSTRUP, B. 1992. The Annotated C++ Reference Manual. Addison-Wesley, Reading, MA.
32. ENGLER, D., WALLACH, D., AND KAASHOEK, M. 1996. Design and implementation of a modular, flexible, and fast system for dynamic protocol composition. Tech. Rep. TM-552, Massachusetts Institute of Technology, Laboratory for Computer Science. May.
33. EUGSTER, P. 2006. Uniform proxies for Java. In Proceedings of the 21st ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). 139-152.
34. EUGSTER, P., DAMM, C., AND GUERRAOUI, R. 2004. Towards safe distributed application development. In Proceedings of the 26th International Conference on Software Engineering (ICSE). 347-356.
35. EUGSTER, P., FELBER, P., GUERRAOUI, R., AND HANDURUKANDE, S. 2002. Event systems: How to have ones cake and eat it too. In Proceedings of the International Workshop on Distributed Event-Based Systems (DEBS). 625-630.
36. EUGSTER, P. AND GUERRAOUI, R. 2001. Content-Based publish/subscribe with structural reflection. In Proceedings of the 6th Usenix Conference on Object-Oriented Technologies and Systems (COOTS). 131-146.
37. EUGSTER, P. AND GUERRAOUI, R. 2002. Probabilistic multicast. In Proceedings of the 3rd IEEE International Conference on Dependable Systems and Networks (DSN). 313-323.
38. EUGSTER, P., GUERRAOUI, R., AND DAMM, C. 2001. On objects and events. In Proceedings of the 16th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). 131-146.
39. EUGSTER, P., GUERRAOUI, R., HANDURUKANDE, S., KERMARREC, A.-M., AND KOUZNETSOV, P. 2003. Lightweight probabilistic broadcast. ACM Trans. Comput. Syst. 21, 4 (Nov.), 341-374.
40. EUGSTER, P., GUERRAOUI, R., AND SVENTEK, J. 2000. Distributed asynchronous collections: Abstractions for publish/subscribe interaction. In Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP). 252-276.
41. FISCHER, M., LYNCH, N., AND PATERSON, M. 1985. Impossibility of distributed consensus with one faulty process. J. ACM 32, 2 (Apr.), 217-246.
42. FOURNET, C. AND GONTHIER, C. 1996. The reflexive chemical abstract machine and the join calculus. In Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 372-385.
43. FOURNET, C., LANEVE, C., MARANGET, L., AND REMY, D. 1997. Implicit typing à la ML for the join-calculus. In Proceedings of the 8th International Conference on Concurrency Theory (CONCUR). 196-212.
44. FREEMAN, E., HUPFER, S., AND ARNOLD, K. 1999. JavaSpaces Principles, Patterns, and Practice. Addison-Wesley, Reading, MA.
45. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1995. Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA.
46. GELERNTER, D. 1985. Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7, 1 (Jan.), 80-112.
47. GELERNTER, D. AND CARRIERO, N. 1992. Coordination languages and their significance. Commun. ACM 35, 2 (Feb.), 97-107.
48. GOLDBERG, A. AND ROBSON, A. 1983. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA.
49. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. 2000. The Java Language Specification, 2nd ed. Addison-Wesley, Reading, MA.
50. GREGONO, P. AND SAKKINEN, M. 2000. Copying and comparing: Problems and solutions. In Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP). 226-250.
51. GROLAUX, D., GLYNN, K., AND ROY, P. V. 2004. A fault tolerant abstraction for transparent distributed programming. In the 2nd International Conference on Multiparadigm Programming in Mozart/Oz (MOZ). 149-160.
52. HAAHR, M., MEIER, R., NIXON, P., CAHILL, V., AND JUL, E. 2000. Filtering and scalability in the ECO distributed event model. In Proceedings of the 5th IEEE International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE). 83-92.
53. HAPPNER, M., BURRIDGE, R., AND SHARMA, R. 2002. Java message service. Tech. Rep., Sun Microsystems, Inc. Mar.
54. HARRISON, T., LEVINE, D., AND SCHMIDT, D. 1997. The design and performance of a real-time CORBA event service. In Proceedings of the 12th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). 184-200.
55. HAVELKA, D., SCHULTE, C., BRAND, P., AND HARIDI, S. 2004. Thread-Based mobility in oz. In the 2nd International Conference on Multiparadigm Programming in Mozart/Oz (MOZ). 137-148.
56. HEJLSBERG, A. AND WILTAMUTH, S. 2001. C# Language Specification. Microsoft Press, Redmond, WA.
57. KAFURA, D., MUKHERJI, M., AND LAVENDER, G. 1993. ACT++: A class library for concurrent program, in C++ using actors. J. Object Oriented Program. 6, 6 (Oct.), 47-55.
58. KENNEDY, A. AND SYME, D. 2001. Design and implementation of generics for the .NET common language runtime. In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
59. KOENIG, P. 1999. Messages vs objects for application integration. Distrib. Comput. 2, 3 (Apr.), 44-45.
60. KRISHNAMURTHY, B. AND ROSENBLUM, D. 1995. Yeast: A general purpose event-action system. IEEE Trans. Softw. Eng. 21, 10 (Oct.), 845-857.
61. LIEBERMANN, H. 1986. Using prototypical objects to implement shared behavior in object-oriented systems. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). 214-223.
62. LISKOV, B. 1988. Distributed programming in argus. Commun. ACM 31, 3 (Mar.), 300-312.
63. LISKOV, B. 1993. A history of CLU. ACM SIGPLAN Not. 28, 3 (Mar.), 133-147.
64. MANSOURI-SAMANI, M. AND SLOMAN, M. 1997. GEM: A generalized event monitoring language for distributed systems. Distrib. Syst. Eng. 4, 2 (June), 96-108.
65. MEYER, B. 1992a. Applying design by contract. IEEE Comput. 25, 10 (Oct.), 40-51.
66. MEYER, B. 1992b. Eiffel: The Language. Object-Oriented Series. Prentice-Hall, Upper Saddle River, NJ.
67. MEYER, B. 2002. Systematic concurrent object-oriented programming. Commun. ACM 36, 9, 56-80.
68. MILNER, R. 1977. A theory of type polymorphism in programming. J. Comput. Syst. Sci. 17, 348-375.
69. MILNER, R. 1999. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, New York.
70. NIELSON, F. AND NIELSON, H. 1988. Two-Level semantics and code generation. Theor. Comput. Sci. 56, 1 (Jan.), 59-133.
71. OBERG, R. 2000. Understanding and Programming COM+. Prentice Hall, Upper Saddle River, NJ.
72. OKI, B., PFLUEGL, M., SIEGEL, A., AND SKEEN, D. 1993. The information bus - An architecture for extensible distributed systems. In Proceedings of the 14th ACM Symposium on Operating System Principles (SOSP). 58-68.
73. OMG. 2000. Notification Service Standalone Document. OMG.
74. OMG. 2001a. The Common Object Request Broker: Architecture and Specification, Chapter Value Type Semantics. OMG.
75. OMG. 2001b. Event service. In CORBAservices: Common Object Services Specification. OMG.
76. OMG. 2002. The Common Object Request Broker: Architecture and Specification, Version 3.0. OMG.
77. OMG. 2003. Data Distribution Service for Real Time Systems Specification. OMG.
78. OPYRCHAL, L., ASTLEY, M., AUERBACH, J., BANAVAR, G., STROM, R., AND STURMAN, D. 2000. Exploiting IP multicast in content-based publish-subscribe systems. In Proceedings of the 3rd IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware). 185-207.
79. OSTROVSKY, K., PRASAD, K., AND TAHA, W. 2002. Towards a primitive higher order calculus of broadcasting systems. In Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. 2-13.
80. POWELL, D. 1996. Group communications. Commun. ACM 39, 4 (Apr.), 50-97.
81. PRATIKAKIS, P., SPACCO, J., AND HICKS, M. 2004. Transparent proxies for Java futures. In Proceedings of the 19th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). 206-223.
82. RIVARD, F. 1996. Smalltalk: A reflective language. In Proceedings of the 1st International Conference on Metalevel Architectures and Reflection (Reflection). 21-38.
83. ROSENBEKRY, W., KENNEY, D., AND FISHER, G. 1993. OSF Distributed Computing Environment-Understanding DCE. O'Reilly, Sebastopol, CA.
84. SOLORZANO, J. AND ALAGIC, S. 1998. Parametric polymorphism for Java: A reflective solution. In Proceedings of the 13th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). 216-225.
85. SRINIVASAN, R. 1995. RFC 1831: Remote procedure call protocol specification version 2. Tech. rep., Sun Microsystems, Inc. Aug.
86. STEELE, G. 1999. Growing a language. Higher-Order Symb. Comput. 12, 3 (Oct.), 221-236.
87. SUN. 2005. Core Java J2SE 5.0. Sun Microsystems, Inc. http://java.sun.com/j2se/1.5.0/.
88. TAHA, W. AND SHEARD, T. 1997. Multi-Stage programming. In Proceedings of the ACM International Conference on Functional Programming (ICFP). 321-321.
89. TALARIAN CORPORATION. 1999. Everything you need to know about Middleware: Mission-Critical interprocess communication (white paper). Talarian Corporation, http://www.talarian.com/.
90. THAI, T. AND LAM, H. 2001. .NET Framework Essentials. O'Reilly, Sebastopol, CA.
91. THOMAS, D. 2004. Message oriented programming: The case for first class messages. J. Object Technol. 3, 5 (May-June), 7-12.
92. TIBCO. 1999. TIB/Rendezvous white paper. TIBCO, Inc. http://www.rv.tibco. com/.
93. UNYAPOTH, A. AND SEWELL, P. 2001. Nomadic Pict: Correct communication infrastructure for mobile computation. In Conference Record of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 116-127.
94. YONEZAWA, A., SHIBAYAMA, E., TAKADA, T., AND HONDA, Y. 1987. 4: Modeling and programming in an object-oriented concurrent language abcl/1. In Object-Oriented Concurrent Programming. MIT Press, Cambridge, MA. 55-89.
95. ZENGER, M. AND ODERSKY, M. 2001. Implementing extensible compilers. In ECOOP Workshop on Multiparadigm Programming with Object-Oriented Languages.