Skip to main content
SpringerLink
Log in

(Context-Sensitivity In) Reo, Revisited

  • Conference paper
  • First Online:
Formal Aspects of Component Software (FACS 2016)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10231))

Included in the following conference series:

  • 454 Accesses

Abstract

Coordination languages emerged for programming interaction protocols among components in component-based systems, in terms of connectors. One such language is Reo. Reo facilitates compositional construction of complex composite connectors out of simple primitive ones. Unlike the behavior of connectors in other coordination languages, the behavior of a connector in Reo may depend on whether its coordinated components are ready for . Such behavior is called “context-sensitivity”, and its formalization—a nontrivial problem—has received considerable attention from the community. In this paper, I study three common and historically significant primitives in Reo—context-sensitive LossySync, FIFOn, and LossyFIFOn—and prove that they have inconsistent informal semantics. Moreover, four major formal semantics of Reo do not correspond with its foremost alternative informal semantics.

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 EPUB and 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

References

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

    Article  MathSciNet  MATH  Google Scholar 

  2. Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program. 55(1–3), 3–52 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  3. Arbab, F., Mavaddat, F.: Coordination through channel composition. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 22–39. Springer, Heidelberg (2002). doi:10.1007/3-540-46000-4_6

    Chapter  Google Scholar 

  4. Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 34–55. Springer, Heidelberg (2003). doi:10.1007/978-3-540-40020-2_2

    Chapter  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  6. Bonsangue, M., Clarke, D., Silva, A.: A model of context-dependent component connectors. Sci. Comput. Program. 77(66), 685–706 (2012)

    Article  MATH  Google Scholar 

  7. Clarke, D., Costa, D., Arbab, F.: Connector colouring I: synchronisation and context dependency. Sci. Comput. Program. 66(3), 205–225 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  8. Costa, D.: Formal models for component connectors. Ph.D. thesis, Vrije Universiteit Amsterdam (2010)

    Google Scholar 

  9. Jongmans, S.-S.T.Q., Krause, C., Arbab, F.: Encoding context-sensitivity in Reo into non-context-sensitive semantic models. In: Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 31–48. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21464-6_3

    Chapter  Google Scholar 

  10. Koehler, C., Clarke, D.: Decomposing port automata. In: Proceedings of SAC 2009, pp. 1369–1373. ACM (2009)

    Google Scholar 

  11. Mousavi, M.R., Sirjani, M., Arbab, F.: Specification, simulation, and verification of component connectors in Reo. Technical report CSR-0415, Eindhoven University of Technology (2004)

    Google Scholar 

Download references

Acknowledgments

I thank Farhad Arbab for his constructive comments on the results in this paper, which helped me improve their presentation. I also thank the anonymous reviewers for their very helpful comments.

Author information

Authors and Affiliations

  1. School of Computer Science, Open University of the Netherlands, Heerlen, The Netherlands

    Sung-Shik T. Q. Jongmans

  2. Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands

    Sung-Shik T. Q. Jongmans

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

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sung-Shik T. Q. Jongmans .

Editor information

Editors and Affiliations

  1. Université Bourgogne Franche-Comté, Besançon, France

    Olga Kouchnarenko

  2. University of Tehran , Tehran, Iran

    Ramtin Khosravi

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Jongmans, SS.T.Q. (2017). (Context-Sensitivity In) Reo, Revisited. In: Kouchnarenko, O., Khosravi, R. (eds) Formal Aspects of Component Software. FACS 2016. Lecture Notes in Computer Science(), vol 10231. Springer, Cham. https://doi.org/10.1007/978-3-319-57666-4_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-57666-4_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-57665-7

  • Online ISBN: 978-3-319-57666-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation