Partially-distributed coordination with Reo

Proceedings - 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014

Volumn , Issue , 2014, Pages 697-706

  Jongmans, Sung Shik T Q ^a   Santini, Francesco ^b   Arbab, Farhad ^a  

^a CWI   (Netherlands)

^b INRIA   (France)

Author keywords

Big Data; Cloud; distributed computation; Reo coordination language; Web services

Indexed keywords

CLOUDS; ELECTRIC NETWORK TOPOLOGY; WEB SERVICES;

BIG DATUM; CONSTRAINT AUTOMATA; COORDINATION LANGUAGE; COORDINATION SCHEME; DISTRIBUTED COMPUTATIONS; FORMAL SEMANTICS; INTER-ACTION PROTOCOLS; RESOURCE AVAILABILITY;

AUTOMATA THEORY;

EID: 84899444277     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDP.2014.19     Document Type: Conference Paper

References (28)

1. F. Arbab, "Reo: a channel-based coordination model for component composition," MSCS, vol. 14, no. 3, pp. 329-366, 2004.
2. -, "Puff, The Magic Protocol," in Talcott Festschrift, ser. LNCS. Springer, 2011, vol. 7000, pp. 169-206.
3. S.-S. Jongmans and F. Arbab, "Modularizing and Specifying Protocols among Threads," in Proceedings of PLACES 2012, ser. EPTCS. CoRR, 2013, vol. 109, pp. 34-45.
4. N. Kokash, C. Krause, and E. de Vink, "Reo+mCRL2: A framework for model-checking dataflow in service compositions," FAC, vol. 24, no. 2, pp. 187-216, 2012.
5. J. Proença, D. Clarke, E. de Vink, and F. Arbab, "Decoupled execution of synchronous coordination models via behavioural automata," in Proceedings of FOCLASA 2011, ser. EPTCS. CoRR, 2011, vol. 58, pp. 65-79.
6. J. Proença, D. Clarke, E. de Vink, and F. Arbab, "Dreams: a framework for distributed synchronous coordination," in Proceedings of SAC 2012. ACM, 2012, pp. 1510-1515.
7. J. Proença, "Synchronous Coordination of Distributed Components," Ph.D. dissertation, Leiden University, 2011.
8. S.-S. Jongmans, F. Santini, M. Sargolzaei, F. Arbab, and H. Afsarmanesh, "Automatic Code Generation for the Orchestration of Web Services with Reo," in Proceedings of ESOCC 2012, ser. LNCS. Springer, 2012, vol. 7592, pp. 1-16.
9. C. Baier, M. Sirjani, F. Arbab, and J. Rutten, "Modeling component connectors in Reo by constraint automata," SCP, vol. 61, no. 2, pp. 75-113, 2006.
10. S.-S. Jongmans and F. Arbab, "Overview of Thirty Semantic Formalisms for Reo," SACS, vol. 22, no. 1, pp. 201-251, 2012.
11. S.-S. Jongmans, F. Santini, and F. Arbab, "Partially-Distributed Coordination with Reo (Technical Report)," CWI, Tech. Rep. FM-1304, 2013.
12. P. Halmos, "Relations," in Naive Set Theory. Springer, 1974, pp. 26-29.
13. S.-S. Jongmans and F. Arbab, "Global Consensus through Local Synchronization," in Preproceedings of FOCLASA 2013, 2013, pp. 86-82.
14. P. Bernstein, V. Hadzilacos, and N. Goodman, "Two Phase Locking," in Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987, pp. 47-111.
15. T. Parr, "Generating Structured Text with Templates and Grammars," in The Definitive ANTLR Reference: Building Domain-Specific Languages. The Pragmatic Bookshelf, 2007, pp. 208-242.
16. F. Arbab, C. Baier, F. de Boer, J. Rutten, and M. Sirjani, "Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications," in Proceedings of COORDINATION 2005, ser. LNCS. Springer, 2005, vol. 3454, pp. 236-251.
17. B. Changizi, "Model Based Analysis of Business Process Models," Ph.D. dissertation, Leiden University, 2014, (in preparation).
18. M. G. Nanda, S. Chandra, and V. Sarkar, "Decentralizing Execution of Composite Web Services," in Proceedings of OOPSLA 2004. ACM, 2004, pp. 170-187.
19. D. Jordan and J. Evdemon, "Web Services Business Process Execution Language Version 2.0," OASIS, Standard ws-bpel-v2.0-OS, 2007.
20. G. Chafle, S. Chandra, V. Mann, and M. G. Nanda, "Decentralized orchestration of composite web services," in Proceedings of WWW Alt. 2004. ACM, 2004, pp. 134-143.
21. L. Mostarda, S. Marinovic, and N. Dulay, "Distributed Orchestration of Pervasive Services," in Proceedings of AINA 2010. IEEE, 2010, pp. 166-173.
22. H. Fernández, T. Priol, and C. Tedeschi, "Decentralized Approach for Execution of Composite Web Services Using the Chemical Paradigm," in Proceedings of ICWS 2010. IEEE, 2010, pp. 139-146.
23. A. Barker, J. Weissman, and J. van Hemert, "Orchestrating Data-Centric Workflows," in Proceedings of CCGRID 2008. IEEE, 2008, pp. 210-217.
24. W. Binder, I. Constantinescu, and B. Faltings, "Decentralized Orchestration of Composite Web Services," in Proceedings of ICWS 2006. IEEE, 2006, pp. 869-876.
25. G. Tretola and E. Zimeo, "Workflow fine-grained concurrency with automatic continuation," in Proceedings of IPDPS 2006. IEEE, 2006, pp. 253-260.
26. G. Pedraza and J. Estublier, "Distributed Orchestration Versus Choreography: The FOCAS Approach," in Proceedings of ICSP 2009, ser. LNCS. Springer, 2009, no. 5543, pp. 75-86.
27. S. Dami, J. Estublier, and M. Amiour, "APEL: A Graphical Yet Executable Formalism for Process Modeling," ASE, vol. 5, pp. 61-91, 1998.
28. P. Muth, D. Wodtke, J. Weissenfels, A. K. Dittrich, and G. Weikum, "From Centralized Workflow Specification to Distributed Workflow Execution," JIIS, vol. 10, no. 2, pp. 159-184, 1998.