ReoLive: Analysing Connectors in Your Browser
Connectors describe how to combine independent components by restricting the possible interactions between their interfaces. In this work, connectors are specified using an existing calculus of connectors for Reo connectors. Currently there are no tools to automatically analyse these connectors, other than a type-checker for a embedded domain specific language. A collection of tools for different variations of Reo connectors exists, but most use a heavy Eclipse-based framework that is not actively supported.
This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation – COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT – Fundação para a Ciência e a Tecnologia, within projects POCI-01-0145-FEDER-016692 (first author) and POCI-01-0145-FEDER-029946 (second author).
- 3.ter Beek, M.H., de Vink, E.P.: Using mCRL2 for the analysis of software product lines. In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, pp. 31–37. ACM, New York (2014)Google Scholar
- 4.Gadducci, F., Montanari, U.: The tile model. In: Proof, Language, and Interaction, pp. 133–166. MIT Press (2000)Google Scholar
- 5.Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: Methods for Modelling Software Systems (MMOSS), Dagstuhl Seminar Proceedings (2007)Google Scholar
- 6.Koehler, C., Clarke, D.: Decomposing port automata. In: Proceedings of SAC 2009, pp. 1369–1373. ACM, New York (2009)Google Scholar