Skip to main content
SpringerLink
Log in

Global Consensus through Local Synchronization

  • Conference paper
Advances in Service-Oriented and Cloud Computing (ESOCC 2013)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 393))

Included in the following conference series:

Abstract

Coordination languages have emerged for the specification and implementation of interaction protocols among concurrent entities. Currently, we are developing a code generator for one such a language, based on the formalism of constraint automata (CA). As part of the compilation process, our tool computes the CA-specific synchronous product of a number of CA, each of which models a constituent of the protocol to generate code for. This ensures that implementations of those CA at run-time reach a consensus about their global behavior in every step. However, using the existing product operator on CA can be practically problematic. In this paper, we provide a solution by defining a new, local product operator on CA that avoids those problems. We then identify a sufficiently large class of CA for which using our new product instead of the existing one is semantics-preserving.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arbab, F.: Reo: a channel-based coordination model for component composition. MSCS 14(3), 329–366 (2004)

    MATH  MathSciNet  Google Scholar 

  2. Arbab, F.: Puff, The Magic Protocol. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 169–206. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  3. Clarke, D., Proença, J.: Partial Connector Colouring. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol. 7274, pp. 59–73. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  4. Jongmans, S.S., Arbab, F.: Modularizing and Specifying Protocols among Threads. In: Proceedings of PLACES 2012. EPTCS. CoRR, vol. 109, pp. 34–45 (2013)

    Google Scholar 

  5. Jongmans, S.S., Clarke, D., Proença, J.: A Procedure for Splitting Processes and its Application to Coordination. In: Proceedings of FOCLASA 2012. EPTCS. CoRR, vol. 91, pp. 79–96 (2012)

    Google Scholar 

  6. Jongmans, S.S., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Automatic Code Generation for the Orchestration of Web Services with Reo. In: De Paoli, F., Pimentel, E., Zavattaro, G. (eds.) ESOCC 2012. LNCS, vol. 7592, pp. 1–16. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  7. Proença, J., Clarke, D., De Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: Proceedings of SAC 2012, pp. 1510–1515. ACM (2012)

    Google Scholar 

  8. Proença, J.: Synchronous Coordination of Distributed Components. PhD thesis, Leiden University (2011)

    Google Scholar 

  9. Proença, J., Clarke, D., De Vink, E., Arbab, F.: Decoupled execution of synchronous coordination models via behavioural automata. In: Proceedings of FOCLASA 2011. EPTCS. CoRR, vol. 58, pp. 65–79 (2011)

    Google Scholar 

  10. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. SCP 61(2), 75–113 (2006)

    MATH  MathSciNet  Google Scholar 

  11. Jongmans, S.S., Arbab, F.: Overview of Thirty Semantic Formalisms for Reo. SACS 22(1), 201–251 (2012)

    Article  MathSciNet  Google Scholar 

  12. Koehler, C., Clarke, D.: Decomposing Port Automata. In: Proceedings of SAC 2009, pp. 1369–1373. ACM (2009)

    Google Scholar 

  13. Jongmans, S.S., Arbab, F.: Global Consensus through Local Synchronization (Technical Report). Technical Report FM-1303, CWI (2013)

    Google Scholar 

  14. Kokash, N., Changizi, B., Arbab, F.: A Semantic Model for Service Composition with Coordination Time Delays. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 106–121. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  15. Bravetti, M., Zavattaro, G.: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 34–50. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Bravetti, M., Zavattaro, G.: Contract Compliance and Choreography Conformance in the Presence of Message Queues. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 37–45. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  17. Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. TCS 328(1-2), 19–37 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  18. Fu, X., Bultan, T., Su, J.: Realizability of Conversation Protocols with Message Contents. IJWSR 2(4), 68–93 (2005)

    Google Scholar 

  19. Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centered Programming for Web Services. TOPLAS 34(2), 8:1–8:78 (2012)

    Google Scholar 

  20. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: Proceedings of POPL 2008, pp. 273–284. ACM (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centrum Wiskunde and Informatica, Amsterdam, The Netherlands

    Sung-Shik T. Q. Jongmans & Farhad Arbab

Authors
  1. Sung-Shik T. Q. Jongmans
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Farhad Arbab
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. GISUM Software Engineering Group, Universidad de Málaga, Spain

    Carlos Canal

  2. University of Messina, Italy

    Massimo Villari

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jongmans, SS.T.Q., Arbab, F. (2013). Global Consensus through Local Synchronization. In: Canal, C., Villari, M. (eds) Advances in Service-Oriented and Cloud Computing. ESOCC 2013. Communications in Computer and Information Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45364-9_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-45364-9_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-45363-2

  • Online ISBN: 978-3-642-45364-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation