Dreams: A framework for distributed synchronous coordination

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2012, Pages 1510-1515

  Proença, José ^a   Clarke, Dave ^a   De Vink, Erik ^b   Arbab, Farhad ^c  

^a Katholieke Unitversiteit Leuven   (Belgium)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c CWI   (Netherlands)

Author keywords

actor model; distributed systems; Reo; synchronous coordination

Indexed keywords

COORDINATION PATTERNS; COORDINATION SYSTEMS; DISTRIBUTED SYSTEMS; GLOBAL SYSTEMS; REO; RUNTIMES; SYNCHRONOUS COORDINATION; SYNCHRONOUS MODELS;

COMPUTATION THEORY;

EID: 84863574247     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2245276.2232017     Document Type: Conference Paper

References (24)

1. G. Agha. Actors: a model of concurrent computation in distributed systems. The MIT Press, 1986.
2. G. Agha and P. Thati. An algebraic theory of actors and its application to a simple object-based language. In O. Owe, S. Krogdahl, and T. Lyche, editors, Essays in Memory of Ole-Johan Dahl, pages 26-57. LNCS 2635, 2004.
3. F. Arbab. Coordination of mobile components. Electronic Notes in Theoretical Computer Science, 54:1-16, 2001. (Pubitemid 40715807)
4. F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3):329-366, 2004. (Pubitemid 38729561)
5. F. Arbab, R. Bruni, D. Clarke, I. Lanese, and U. Montanari. Tiles for Reo. In A. Corradini and U. Montanari, editors, Recent Trends in Algebraic Development Techniques, pages 37-55. LNCS 5486, 2009.
6. F. Arbab, C. Koehler, Z. Maraikar, Y.-J. Moon, and J. Proença. Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools. In Proceedings of FACS, 2008.
7. C. Baier, M. Sirjani, F. Arbab, and J. J. M. M. Rutten. Modeling component connectors in Reo by constraint automata. Science of Computer Programming, 61(2):75-113, 2006. (Pubitemid 44308198)
8. A. Baragatti, R. Bruni, H. Melgratti, U. Montanari, and G. Spagnolo. Prototype platforms for distributed agreements. Electronic Notes in Theoretical Computer Science, 180(2):21-40, 2007. (Pubitemid 46899621)
9. G. Berry. The foundations of Esterel. In G. D. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language, and Interaction, pages 425-454. The MIT Press, 2000.
10. BPEL4WS. Business Process Execution Language for Web Services, May 2003.
11. R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in Join calculus. In L. Brim, P. Jancar, M. Kretínský, and A. Kucera, editors, CONCUR, pages 321-337. LNCS 2421, 2002.
12. D. M. Chapiro. Globally-Asynchronous Locally-Synchronous Systems. PhD thesis, Standford University, 1984.
13. D. Clarke, D. Costa, and F. Arbab. Connector colouring I: Synchronisation and context dependency. Science of Computer Programming, 66(3):205-225, May 2007. (Pubitemid 46824153)
14. D. Clarke, J. Proença, A. Lazovik, and F. Arbab. Channel-based coordination via constraint satisfaction. Science of Computer Programming, 76, 2011.
15. R. Guerraoui and L. Rodrigues. Introduction to Reliable Distributed Programming. Springer, 2006.
16. P. Haller and M. Odersky. Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science, 410(2-3):202-220, 2009.
17. R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi, and H. Iravanchi. Modeling and analysis of Reo connectors using Alloy. In D. Lea and G. Zavattaro, editors, COORDINATION, volume 5052, pages 169-183. LNCS 5052, 2008.
18. C. Koehler and D. Clarke. Decomposing port automata. In Proc. SAC '09, pages 1369-1373, New York, NY, USA, 2009. ACM.
19. C. Krause. Reconfigurable component connectors. PhD thesis, LIACS, Faculty of Mathematics and Natural Sciences, Leiden University, 2011.
20. Z. Maraikar, A. Lazovik, and F. Arbab. Building mashups for the enterprise with SABRE. In A. Bouguettaya, I. Krüger, and T. Margaria, editors, ICSOC, pages 70-83. LNCS 5364, 2008.
21. N. H. Minsky and V. Ungureanu. Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology, 9(3):273-305, 2000.
22. M. Mousavi, M. Sirjani, and F. Arbab. Formal semantics and analysis of component connectors in Reo. Electronic Notes in Theoretical Computer Science, 154(1):83-99, 2006.
23. J. Proença. Synchronous Coordination of Distributed Components. PhD thesis, LIACS, Faculty of Mathematics and Natural Sciences, Leiden University, 2011.
24. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow patterns. Distributed Parallel Databases, 14(1):5-51, 2003.