Overview of Thirty Semantic Formalisms for Reo

@article{Jongmans2012OverviewOT,
  title={Overview of Thirty Semantic Formalisms for Reo},
  author={Sung-Shik T. Q. Jongmans and Farhad Arbab},
  journal={Sci. Ann. Comp. Sci.},
  year={2012},
  volume={22},
  pages={201-251}
}
Over 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 prominent… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 30 CITATIONS, ESTIMATED 51% COVERAGE

58 Citations

051015'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
SHOWING 1-10 OF 58 REFERENCES

Formal Models for Component Connectors

  • David Costa
  • PhD thesis, Free University Amsterdam,
  • 2010
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…