Reo Connectors and Components as Tagged Signal Models

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


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.


Tagged Signal Model (TSM) Time Data Streams (TDS) Primitive Connectives Denotational Framework Channel Ends 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



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


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