References

  1. (2015): BIP toolset. Available at http://www-verimag.imag.fr/BIP-Tools,93.html.
  2. (2015): Reo toolset. Available at http://reo.project.cwi.nl/reo/wiki/Tools.
  3. Farhad Arbab (2004): Reo: a channel-based coordination model for component composition. Math. Structures Comput. Sci. 14(3), pp. 329–366, doi:10.1017/S0960129504004153.
  4. Farhad Arbab (2011): Puff, The Magic Protocol. In: Talcott Festschrift, Lecture Notes in Comput. Sci. 7000. Springer, pp. 169–206, doi:10.1007/978-3-642-24933-4_9.
  5. Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese & Ugo Montanari (2009): Tiles for Reo. In: Proc. of WADT, Lecture Notes in Comput. Sci. 5486. Springer Berlin Heidelberg, pp. 37–55, doi:10.1007/978-3-642-03429-9_4.
  6. Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber & Joseph Sifakis (2014): A General Framework for Architecture Composability 8702, pp. 128–143, doi:10.1007/978-3-319-10431-7_10.
  7. Christel Baier, Joachim Klein & Sascha Klüppelholz (2014): Synthesis of Reo Connectors for Strategies and Controllers. Fundam. Inform. 130(1), pp. 1–20, doi:10.3233/FI-2014-980.
  8. Christel Baier, Marjan Sirjani, Farhad Arbab & Jan Rutten (2006): Modeling component connectors in Reo by constraint automata. Sci. Comput. Programming 61(2), pp. 75–113, doi:10.1016/j.scico.2005.10.008.
  9. Ananda Basu, Marius Bozga & Joseph Sifakis (2006): Modeling Heterogeneous Real-time Components in BIP. In: Proc. of SEFM. ACM, pp. 3–12, doi:10.1109/SEFM.2006.27.
  10. Simon Bliudze & Joseph Sifakis (2007): The algebra of connectors: structuring interaction in BIP. In: Proc. of EMSOFT. ACM SigBED. ACM, Salzburg, Austria, pp. 11–20, doi:10.1145/1289927.1289935.
  11. Simon Bliudze, Joseph Sifakis, Marius Bozga & Mohamad Jaber (2014): Architecture Internalisation in BIP. In: Proc. of CBSE. ACM, pp. 169–178, doi:10.1145/2602458.2602477.
  12. Roberto Bruni, Hernán Melgratti & Ugo Montanari (2011): Connector Algebras, Petri Nets, and BIP. In: Proc. of PSI, LNCS 7162. Springer, pp. 19–38, doi:10.1007/978-3-642-29709-0_2.
  13. M. Y. Chkouri, A. Robert, M. Bozga & J. Sifakis (2009): Translating AADL into BIP - Application to the Verification of Real-Time Systems. In: Proc. of MODELS, LNCS 5421. Springer, pp. 5–19, doi:10.1007/978-3-642-01648-6_2.
  14. K. Dokter, S.-S. T.Q. Jongmans, F. Arbab & S. Bliudze (2015): Relating BIP and Reo. Technical Report FM-1505. CWI. Available at http://persistent-identifier.org/?identifier=urn:nbn:nl:ui:18-23505.
  15. David Garlan (2014): Software Architecture: A Travelogue. In: Proc. of FOSE. ACM, pp. 29–39, doi:10.1145/2593882.2593886.
  16. Sung-Shik T. Q. Jongmans & Farhad Arbab (2012): Overview of Thirty Semantic Formalisms for Reo. Sci. Ann. Comp. Sci. 22(1), pp. 201–251, doi:10.7561/SACS.2012.1.201.
  17. C. Koehler & D. Clarke (2009): Decomposing port automata. In: Proc. of SAC. ACM, pp. 1369–1373, doi:10.1145/1529282.1529587.
  18. C. Krause (2009): Integrated Structure and Semantics for Reo Connectors and Petri Nets. In: Proc. of ICE, pp. 57–69, doi:10.4204/EPTCS.12.4.
  19. R. Milner (1989): Communication and Concurrency. Prentice-Hall, Inc..
  20. G. A. Papadopoulos & F. Arbab (2001): Configuration And Dynamic Reconfiguration Of Components Using The Coordination Paradigm. Future Generation Computer Systems 17(8), pp. 1023 – 1038, doi:10.1016/S0167-739X(01)00043-7.
  21. José Proença & Dave Clarke (2008): Coordination Models Orc and Reo Compared. Electron. Notes Theor. Comput. Sci. 194(4), pp. 57–76, doi:10.1016/j.entcs.2008.03.099.
  22. Carolyn Talcott, Marjan Sirjani & Shangping Ren (2011): Comparing three coordination models: Reo, ARC, and PBRD. Sci. Comput. Programming 76(1), pp. 3–22, doi:10.1016/j.scico.2009.11.006.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org