Advertisement

Reo Connectors and Components as Tagged Signal Models

  • Marjan Sirjani
  • Fatemeh Ghassemi
  • Bahman Pourvatan
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10865)

Abstract

Tagged Signal Model (TSM) is a denotational framework and a meta-model to study certain properties of models of computation. To study the behavior of Reo connectors in a closed system, we propose two denotational semantics for Reo using TSM. TSM is very similar to the coalgebraic model of Timed Data Streams (TDS), the first formal semantics and the basis for most of the other formal semantics of Reo. There is a direct mapping between the time – data pairs of TDS, and tag – value of TSM. This work shows how treating tags to be either totally or partially ordered has a direct consequence on the results. We looked into five primitive connectors of Reo in both these settings and discuss the determinacy of systems.

Notes

Acknowledgment

We would like to thank Professor Edward Lee for his very useful comments and discussions.

References

  1. 1.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    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).  https://doi.org/10.1007/978-3-540-40020-2_2CrossRefGoogle Scholar
  3. 3.
    Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Jongmans, T.Q., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201–251 (2012)MathSciNetGoogle Scholar
  5. 5.
    Lee, E.A.: Concurrent Models of Computation - An Actor-Oriented Approach (Draft) (2011)Google Scholar
  6. 6.
    Lee, E.A., Sangiovanni-Vincentelli, A.L.: A framework for comparing models of computation. IEEE Trans. CAD Integr. Circuits Syst. 17(12), 1217–1229 (1998)CrossRefGoogle Scholar
  7. 7.
    Liu, X.: Semantic foundation of the tagged signal model. Ph.D. thesis, EECS Department, University of California, Berkeley (2005)Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.School of Innovation, Design and EngineeringMälardalen UniversityVästeråsSweden
  2. 2.School of Computer ScienceReykjavik UniversityReykjavikIceland
  3. 3.School of Electrical and Computer EngineeringUniversity of TehranTehranIran
  4. 4.LIACSLeiden UniversityLeidenThe Netherlands

Personalised recommendations