research-article

Dreams: a framework for distributed synchronous coordination

Authors:

José Proença,

Farhad ArbabAuthors Info & Claims

SAC '12: Proceedings of the 27th Annual ACM Symposium on Applied Computing

Pages 1510 - 1515

https://doi.org/10.1145/2245276.2232017

Published: 26 March 2012 Publication History

Abstract

Synchronous coordination systems, such as Reo, exchange data via indivisible actions, while distributed systems are typically asynchronous and assume that messages can be delayed or get lost. To combine these seemingly contradictory notions, we introduce the Dreams framework. Coordination patterns in Dreams are described using a synchronous model based on the Reo language, whereas global system behaviour is given by the runtime composition of autonomous actors communicating asynchronously. Dreams also exploits the use of actors in the composition of synchronous coordination patterns to allow communication whenever possible, increasing the scalability of the implementation.

References

[1]

G. Agha. Actors: a model of concurrent computation in distributed systems. The MIT Press, 1986.

Digital Library

[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.

[4]

F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3): 329--366, 2004.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[12]

D. M. Chapiro. Globally-Asynchronous Locally-Synchronous Systems. PhD thesis, Standford University, 1984.

Digital Library

[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.

Digital Library

[14]

D. Clarke, J. Proença, A. Lazovik, and F. Arbab. Channel-based coordination via constraint satisfaction. Science of Computer Programming, 76, 2011.

Digital Library

[15]

R. Guerraoui and L. Rodrigues. Introduction to Reliable Distributed Programming. Springer, 2006.

Digital Library

[16]

P. Haller and M. Odersky. Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science, 410(2--3): 202--220, 2009.

Digital Library

[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.

Digital Library

[18]

C. Koehler and D. Clarke. Decomposing port automata. In Proc. SAC '09, pages 1369--1373, New York, NY, USA, 2009. ACM.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

Cited By

ter Beek MHennicker RProença J(2024)Team Automata: Overview and RoadmapCoordination Models and Languages10.1007/978-3-031-62697-5_10(161-198)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-62697-5_10
Esterhuyse CMuller TVan Binsbergen LBelloum A(2022)Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution2022 IEEE 18th International Conference on e-Science (e-Science)10.1109/eScience55777.2022.00086(481-486)Online publication date: Oct-2022
https://doi.org/10.1109/eScience55777.2022.00086
Ciatto GDi Marzo Serugendo GLouvel MMariani SOmicini AZambonelli F(2020)Twenty Years of Coordination Technologies: COORDINATION contribution to the State of ArtJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2020.100531(100531)Online publication date: Feb-2020
https://doi.org/10.1016/j.jlamp.2020.100531
Show More Cited By

Recommendations

Coordination operators and their composition under the actor-role-coordinator (ARC) model

For large open and distributed real-time applications, coordination constraints among concurrent, spatially distributed and autonomous entities can be complex. The Actor-Role-Coordinator (ARC) model we developed earlier [1] introduced the concept of ...
7 Steps to Achieving Your Retirement Dreams
Compositional semantics of an actor-based language using constraint automata
COORDINATION'06: Proceedings of the 8th international conference on Coordination Models and Languages

Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is not compositional. In this paper, we investigate the possibility of mapping Rebeca ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '12: Proceedings of the 27th Annual ACM Symposium on Applied Computing

March 2012

2179 pages

ISBN:9781450308571

DOI:10.1145/2245276

Conference Chairs:
Sascha Ossowski
University Rey Juan Carlos, Spain
,
Paola Lecca
The Microsoft Research - University of Trento COSBI, Italy

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 March 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Fundação para a Ciência e a Tecnologia

Conference

SAC 2012

Sponsor:

SIGAPP

SAC 2012: ACM Symposium on Applied Computing

March 26 - 30, 2012

Trento, Italy

Acceptance Rates

SAC '12 Paper Acceptance Rate 270 of 1,056 submissions, 26%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
189
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

ter Beek MHennicker RProença J(2024)Team Automata: Overview and RoadmapCoordination Models and Languages10.1007/978-3-031-62697-5_10(161-198)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-62697-5_10
Esterhuyse CMuller TVan Binsbergen LBelloum A(2022)Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution2022 IEEE 18th International Conference on e-Science (e-Science)10.1109/eScience55777.2022.00086(481-486)Online publication date: Oct-2022
https://doi.org/10.1109/eScience55777.2022.00086
Ciatto GDi Marzo Serugendo GLouvel MMariani SOmicini AZambonelli F(2020)Twenty Years of Coordination Technologies: COORDINATION contribution to the State of ArtJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2020.100531(100531)Online publication date: Feb-2020
https://doi.org/10.1016/j.jlamp.2020.100531
Esterhuyse CHiep H(2020)Reowolf: Synchronous Multi-party Communication over the InternetFormal Aspects of Component Software10.1007/978-3-030-40914-2_12(235-242)Online publication date: 13-Feb-2020
https://doi.org/10.1007/978-3-030-40914-2_12
Feng HArbab FBonsangue M(2019)A Reo Model of Software Defined NetworksFormal Methods and Software Engineering10.1007/978-3-030-32409-4_5(69-85)Online publication date: 28-Oct-2019
https://doi.org/10.1007/978-3-030-32409-4_5
Ciatto GMariani SLouvel MOmicini AZambonelli F(2018)Twenty Years of Coordination Technologies: State-of-the-Art and PerspectivesCoordination Models and Languages10.1007/978-3-319-92408-3_3(51-80)Online publication date: 27-May-2018
https://doi.org/10.1007/978-3-319-92408-3_3
Jacquet JLinden IDarquennes D(2018)On the Relation Between Control-Based and Data-Based Coordination LanguagesIt's All About Coordination10.1007/978-3-319-90089-6_7(86-106)Online publication date: 7-Apr-2018
https://doi.org/10.1007/978-3-319-90089-6_7
Farhadi AIzadi MHabibi J(2018)A Protocol for Constraint Automata Execution in a Synchronous Network of ProcessorsVerification and Evaluation of Computer and Communication Systems10.1007/978-3-030-00359-3_6(80-94)Online publication date: 31-Aug-2018
https://doi.org/10.1007/978-3-030-00359-3_6
Evrard H(2016)DLCProceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 963610.1007/978-3-662-49674-9_34(553-559)Online publication date: 2-Apr-2016
https://dl.acm.org/doi/10.1007/978-3-662-49674-9_34
Kokash N(2015)Handshaking Protocol for Distributed Implementation of ReoElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.175.1175(1-17)Online publication date: 11-Feb-2015
https://doi.org/10.4204/EPTCS.175.1
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten