Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Relating BIP and Reo
 
conference paper

Relating BIP and Reo

Dokter, Kasper
•
Jongmans, Sung-Shik
•
Arbab, Farhad
Show more
Knight, Sophia
•
Lanese, Ivan
Show more
2015
Proceedings of the 8th Interaction and Concurrency Experience
8th Interaction and Concurrency Experience (ICE 2015)

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. In this paper we establish a formal relation between BI(P) (i.e., BIP without the priority layer) and Reo, by defining transformations between their semantic models. We show that these transformations preserve all properties expressible in a common semantics. This formal relation comprises the basis for a solid comparison and consolidation of the fundamental coordination concepts behind these two languages. Moreover, this basis offers translations that enable users of either language to benefit from the toolchains of the other.

  • Details
  • Metrics
Type
conference paper
DOI
10.4204/EPTCS.189.3
Web of Science ID

WOS:000367339200002

Author(s)
Dokter, Kasper
Jongmans, Sung-Shik
Arbab, Farhad
Bliudze, Simon  
Editors
Knight, Sophia
•
Lanese, Ivan
•
Lluch-Lafuente, Alberto
•
Torres Vieira, Hugo
Date Issued

2015

Published in
Proceedings of the 8th Interaction and Concurrency Experience
Series title/Series vol.

Electronic Proceedings in Theoretical Computer Science; 189

Volume

189

Start page

3

End page

20

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
RISD  
Event nameEvent placeEvent date
8th Interaction and Concurrency Experience (ICE 2015)

Grenoble, France

4-5th June 2015

Available on Infoscience
February 23, 2016
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/124379
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés