Overview of Thirty Semantic Formalisms for Reo

@article{Jongmans2012OverviewOT,
  title={Overview of Thirty Semantic Formalisms for Reo},
  author={Sung-Shik T. Q. Jongmans and F. Arbab},
  journal={Sci. Ann. Comput. Sci.},
  year={2012},
  volume={22},
  pages={201-251}
}
htmlabstractOver the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for communicating software components. This class of languages includes Reo, a platform for compositional construction of connectors. In recent years, many formalisms for describing the behavior of Reo connectors have emerged. In this paper, we give an overview of all these classes of semantic models. Furthermore, we investigate the expressiveness of two more… Expand
69 Citations
Relating BIP and Reo
  • 11
  • PDF
Combine and conquer: Relating BIP and Reo
  • 9
  • PDF
Treo: Textual Syntax for Reo Connectors
  • 8
  • PDF
Partially distributed coordination with Reo and constraint automata
  • 10
  • PDF
Partially-Distributed Coordination with Reo
  • 18
  • PDF
Global Consensus through Local Synchronization (Technical Report)
  • 5
  • PDF
Compiling Protocols to Promela and Verifying their LTL Properties
  • PDF
A Constraint-based Method to Compute Semantics of Channel-based Coordination Models
  • 4
  • PDF
Capturing Stochastic and Real-Time Behavior in Reo Connectors
  • 4
Partially-Distributed Coordination with Reo (Technical Report)
  • 3
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 76 REFERENCES
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)
  • 50
  • PDF
Modeling component connectors in Reo by constraint automata
  • 332
  • PDF
Tiles for Reo
  • 31
  • PDF
Formal Semantics and Analysis of Component Connectors in Reo
  • 40
  • PDF
Models and temporal logics for timed component connectors
  • 62
  • PDF
A Coinductive Calculus of Component Connectors
  • 180
  • PDF
On Resource-Sensitive Timed Component Connectors
  • 17
  • PDF
A basic algebra of stateless connectors
  • 69
...
1
2
3
4
5
...