[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Reo Connectors and Components as Tagged Signal Models

  • Chapter
  • First Online:
It's All About Coordination

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

  • 437 Accesses

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.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • 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

Similar content being viewed by others

References

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

    Article  MathSciNet  MATH  Google Scholar 

  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_2

    Chapter  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  4. Jongmans, T.Q., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201–251 (2012)

    MathSciNet  Google Scholar 

  5. Lee, E.A.: Concurrent Models of Computation - An Actor-Oriented Approach (Draft) (2011)

    Google Scholar 

  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)

    Article  Google Scholar 

  7. Liu, X.: Semantic foundation of the tagged signal model. Ph.D. thesis, EECS Department, University of California, Berkeley (2005)

    Google Scholar 

Download references

Acknowledgment

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

Author information

Authors and Affiliations

  1. School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden

    Marjan Sirjani

  2. School of Computer Science, Reykjavik University, Reykjavik, Iceland

    Marjan Sirjani & Bahman Pourvatan

  3. School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran

    Fatemeh Ghassemi

  4. LIACS, Leiden University, Leiden, The Netherlands

    Bahman Pourvatan

Authors
  1. Marjan Sirjani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fatemeh Ghassemi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bahman Pourvatan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fatemeh Ghassemi .

Editor information

Editors and Affiliations

  1. Centre for Mathematics and Computer Science, Amsterdam, The Netherlands

    Frank de Boer

  2. Leiden University, Leiden, The Netherlands

    Marcello Bonsangue

  3. Centre for Mathematics and Computer Science, Amsterdam, The Netherlands

    Jan Rutten

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Sirjani, M., Ghassemi, F., Pourvatan, B. (2018). Reo Connectors and Components as Tagged Signal Models. In: de Boer, F., Bonsangue, M., Rutten, J. (eds) It's All About Coordination. Lecture Notes in Computer Science(), vol 10865. Springer, Cham. https://doi.org/10.1007/978-3-319-90089-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-90089-6_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-90088-9

  • Online ISBN: 978-3-319-90089-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation