mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Reo connectors and components as tagged signal models
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Reykjavik University, Reykjavik, Iceland.
University of Tehran, Tehran, Iran.
Reykjavik University, Reykjavik, Iceland.
2018 (English)In: It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, Springer, 2018, p. 160-173Chapter in book (Refereed)
Abstract [en]

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. 

Place, publisher, year, edition, pages
Springer, 2018. p. 160-173
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10865 LNCS
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-39821DOI: 10.1007/978-3-319-90089-6_11Scopus ID: 2-s2.0-85047799414ISBN: 9783540223818 (print)OAI: oai:DiVA.org:mdh-39821DiVA, id: diva2:1218477
Available from: 2018-06-14 Created: 2018-06-14 Last updated: 2018-06-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Sirjani, Marjan

Search in DiVA

By author/editor
Sirjani, Marjan
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf