We have a DREAM: Distributed reactive programming with consistency guarantees

DEBS 2014 - Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems

Volumn , Issue , 2014, Pages 142-153

  Margara, Alessandro ^a   Salvaneschi, Guido ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

consistency guarantees; distributed reactive programming; dream; event based middleware; glitch freedom

Indexed keywords

MIDDLEWARE; SOFTWARE ARCHITECTURE;

CONSISTENCY GUARANTEES; DREAM; EVENT-BASED MIDDLEWARE; GLITCH-FREEDOM; REACTIVE PROGRAMMING;

SEMANTICS;

EID: 84903218751     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2611286.2611290     Document Type: Conference Paper

References (40)

1. E. Bainomugisha, A. L. Carreton, T. Van Cutsem, S. Mostinckx, and W. De Meuter. A survey on reactive programming. ACM Comput. Surv., 2012.
2. R. S. Barga, J. Goldstein, M. H. Ali, and M. Hong. Consistent streaming through time: A vision for event stream processing. In CIDR, pages 363-374, 2007.
3. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. De Simone. The synchronous languages 12 years later. Procs. of the IEEE, 91(1):64-83, 2003.
4. D. Blevins. Overview of the enterprise JavaBeans component model. In Component-based software engineering, pages 589-606. Addison-Wesley Longman Publishing Co., Inc., 2001.
5. K. Burchett, G. H. Cooper, and S. Krishnamurthi. Lowering: a static optimization technique for transparent functional reactivity. In PEPM, pages 71-80, 2007.
6. G. H. Cooper and S. Krishnamurthi. Embedding dynamic dataflow in a call-by-value language. In ESOP, pages 294-308, 2006.
7. A. Courtney. Frappe: Functional reactive programming in Java. In PADL, pages 29-44, 2001.
8. G. Cugola, E. Di Nitto, and A. Fuggetta. The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. IEEE Trans. Soft. Eng., 27(9):827-850, 2001. (Pubitemid 32945660)
9. G. Cugola and A. Margara. Processing flows of information: From data stream to complex event processing. ACM Comput. Surv., 44(3):1-62, 2012.
10. G. Cugola and G. P. Picco. REDS: a reconfigurable dispatching system. In SEM, pages 9-16, 2006.
11. C. Elliott and P. Hudak. Functional reactive animation. In ICFP, pages 263-273, 1997.
12. C. M. Elliott. Push-pull functional reactive programming. In Haskell, pages 25-36, 2009.
13. O. Etzion and P. Niblett. Event processing in action. Manning Publications Co., 2010.
14. P. Eugster and K. Jayaram. EventJava: An extension of Java for event correlation. In ECOOP, pages 570-594, 2009.
15. P. T. Eugster, P. A. Felber, R. Guerraoui, and A.-M. Kermarrec. The many faces of publish/subscribe. ACM Comput. Surv., 35(2):114-131, 2003.
16. W. Galuba, K. Aberer, Z. Despotovic, and W. Kellerer. Protopeer: From simulation to live deployment in one step. In P2P, pages 191-192, 2008.
17. V. Gasiunas, L. Satabin, M. Mezini, A. Núñez, and J. Noyé. EScala: modular event-driven object interactions in Scala. In AOSD, pages 227-240, 2011.
18. P. Hudak, A. Courtney, H. Nilsson, and J. Peterson. Arrows, robots, and functional reactive programming. In Advanced Functional Programming, pages 159-187. Springer, 2003. (Pubitemid 36658366)
19. X. Jia. A total ordering multicast protocol using propagation trees. IEEE Trans. on Parallel Distrib, Syst., 6(6):617-627, 1995.
20. R. Johnson, R. Helm, J. Vlissides, and E. Gamma. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, 1995.
21. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. Springer, 1997.
22. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558-565, 1978. (Pubitemid 8615486)
23. A. Lombide Carreton, S. Mostinckx, T. Cutsem, and W. Meuter. Loosely-coupled distributed reactive programming in mobile ad hoc networks. In Objects, Models, Components, Patterns, volume 6141, pages 41-60, 2010.
24. D. C. Luckham. The power of events, volume 204. Addison-Wesley Reading, 2002.
25. I. Maier and M. Odersky. Deprecating the Observer Pattern with Scala.react. Technical report, EPFL, 2012.
26. A. Margara and G. Cugola. High Performance Content-Based Matching Using GPUs. In DEBS, pages 183-194, 2011.
27. A. Margara and G. Cugola. High performance publish-subscribe matching using parallel hardware. IEEE Trans. on Parallel Distrib. Syst., 2014.
28. A. Margara and G. Salvaneschi. Ways to react: Comparing reactive languages and complex event processing. In REM, 2013.
29. E. Meijer. Your mouse is a database. Commun. ACM, 55(5):66-73, 2012.
30. L. A. Meyerovich, A. Guha, J. Baskin, G. H. Cooper, M. Greenberg, A. Bromfield, and S. Krishnamurthi. Flapjax: a programming language for Ajax applications. In OOPSLA, pages 1-20, 2009.
31. G. Mühl, L. Fiege, and P. Pietzuch. Distributed event-based systems. Springer, Heidelberg, 2006.
32. T. Parr. The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, 2013.
33. H. Rajan and G. T. Leavens. Ptolemy: A language with quantified, typed events. In ECOOP, pages 155-179, 2008.
34. M. Sadoghi, H. Singh, and H.-A. Jacobsen. Towards highly parallel event processing through reconfigurable hardware. In DaMoN, pages 27-32, 2011.
35. G. Salvaneschi, J. Drechsler, and M. Mezini. Towards distributed reactive programming. In Coordination Models and Languages, pages 226-235. Springer, 2013.
36. G. Salvaneschi, G. Hintz, and M. Mezini. REScala: Bridging between object-oriented and functional style in reactive applications. In AOSD, 2014.
37. G. Salvaneschi and M. Mezini. Reactive behavior in object-oriented applications: An analysis and a research roadmap. In AOSD, 2013.
38. J. M. Van Ham, G. Salvaneschi, M. Mezini, and J. Noyé. JEScala: Modular coordination with declarative events and joins. In AOSD '14, 2014.
39. P. G. Whiting and R. S. Pascoe. A history of data-flow languages. Annals of the History of Computing, 16(4):38-59, 1994.
40. K. Zhang, V. Muthusamy, and H.-A. Jacobsen. Total order in content-based publish/subscribe systems. In ICDCS, pages 335-344, 2012.