References

  1. JR Abrial (1991): B-Tool Reference Manual. B-Core (UK) Ltd.
  2. Farhad Arbab (2004): Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), pp. 329\begingroupłet [Pleaseinsert\PrerenderUnicode–intopreamble]366, doi:10.1017/S0960129504004153.
  3. Farhad Arbab (2006): Coordination for Component Composition. Electronic Notes in Theoretical Computer Science 160, pp. 15 – 40, doi:10.1016/j.entcs.2006.05.013. Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005).
  4. Farhad Arbab, Natallia Kokash & Sun Meng (2008): Towards using reo for compliance-aware business process modeling. In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Springer, pp. 108–123, doi:10.1007/978-3-540-88479-8\@uscore .9.
  5. Farhad Arbab & Jan JMM Rutten (2002): A coinductive calculus of component connectors. In: International Workshop on Algebraic Development Techniques. Springer, pp. 34–55, doi:10.1007/978-3-540-40020-2\@uscore .2.
  6. Colin Atkinson & Thomas Kuhne (2003): Model-driven development: a metamodeling foundation. IEEE software 20(5), pp. 36–41, doi:10.1109/MS.2003.1231149.
  7. Christel Baier (2005): Probabilistic Models for Reo Connector Circuits. J. UCS 11(10), pp. 1718–1748.
  8. Christel Baier, Marjan Sirjani, Farhad Arbab & Jan Rutten (2006): Modeling component connectors in Reo by constraint automata. Science of computer programming 61(2), pp. 75–113, doi:10.1016/j.scico.2005.10.008.
  9. Mario Benevides, Bruno Lopes & Edward Hermann Haeusler (2018): Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. Theoretical Computer Science 744, pp. 22–36, doi:10.1016/j.tcs.2018.01.007.
  10. Patrick Blackburn, M De Rijke & Y Venema (2001): Cambridge tracts in theoretical computer science.
  11. Roberto Bruni & Ugo Montanari (2000): Zero-safe nets: Comparing the collective and individual token approaches. Information and computation 156(1-2), pp. 46–89, doi:10.1006/inco.1999.2819.
  12. Dave Clarke (2007): Coordination: Reo, nets, and logic. In: International Symposium on Formal Methods for Components and Objects. Springer, pp. 226–256, doi:10.1007/978-3-540-92188-2\@uscore .10.
  13. Erick Grilo & Bruno Lopes (2020): ReLo: a dynamic logic to reason about Reo circuits1. In: Pre-Proceedings of the 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA), pp. 32.
  14. Erick Grilo, Daniel Toledo & Bruno Lopes (2022): A logical framework to reason about Reo circuits. Journal of Applied Logics 9, pp. 199–254.
  15. David Harel, Dexter Kozen & Jerzy Tiuryn (2001): Dynamic logic. In: Handbook of philosophical logic. Springer, pp. 99–217, doi:10.1007/978-94-017-0456-4\@uscore .2.
  16. Daniel Jackson (2002): Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11(2), pp. 256–290, doi:10.1145/505145.505149.
  17. Sung-Shik TQ Jongmans & Farhad Arbab (2012): Overview of Thirty Semantic Formalisms for Reo.. Scientific Annals of Computer Science 22(1), doi:10.7561/SACS.2012.1.201.
  18. Joachim Klein, Sascha Klüppelholz, Andries Stam & Christel Baier (2011): Hierarchical modeling and formal verification. An industrial case study using Reo and Vereofy. In: International Workshop on Formal Methods for Industrial Critical Systems. Springer, pp. 228–243, doi:10.1007/978-3-642-24431-5\@uscore .17.
  19. John C Knight (2002): Safety critical systems: challenges and directions. In: Proceedings of the 24th International Conference on Software Engineering. ACM, pp. 547–550.
  20. Natallia Kokash & Farhad Arbab (2011): Formal design and verification of long-running transactions with extensible coordination tools. IEEE Transactions on Services Computing 6(2), pp. 186–200, doi:10.1109/TSC.2011.46.
  21. Natallia Kokash, Behnaz Changizi & Farhad Arbab (2010): A semantic model for service composition with coordination time delays. In: International Conference on Formal Engineering Methods. Springer, pp. 106–121, doi:10.1007/978-3-642-16901-4\@uscore .9.
  22. Natallia Kokash, Christian Krause & Erik De Vink (2012): Reo+ mCRL2: A framework for model-checking dataflow in service compositions. Formal Aspects of Computing 24(2), pp. 187–216, doi:10.1007/s00165-011-0191-6.
  23. Natallia Kokash, Christian Krause & Erik P de Vink (2010): Data-aware design and verification of service compositions with Reo and mCRL2. In: Proceedings of the 2010 ACM Symposium on Applied Computing, pp. 2406–2413, doi:10.1145/1774088.1774590.
  24. Saul A Kripke (1959): A completeness theorem in modal logic. The journal of symbolic logic 24(1), pp. 1–14, doi:10.2307/2964568.
  25. Yi Li & Meng Sun (2015): Modeling and verification of component connectors in Coq. Science of Computer Programming 113, pp. 285–301, doi:10.1016/j.scico.2015.10.016.
  26. Yi Li, Xiyue Zhang, Yuanyi Ji & Meng Sun (2017): Capturing Stochastic and Real-Time Behavior in Reo Connectors. In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 287–304, doi:10.1007/978-3-319-70848-5.08emwidth.35em height.6pt.08em18.
  27. Yi Li, Xiyue Zhang, Yuanyi Ji & Meng Sun (2019): A Formal Framework Capturing Real-Time and Stochastic Behavior in Connectors. Science of Computer Programming, doi:10.1016/j.scico.2019.02.005.
  28. Mohammad Reza Mousavi, Marjan Sirjani & Farhad Arbab (2006): Formal semantics and analysis of component connectors in Reo. Electronic Notes in Theoretical Computer Science 154(1), pp. 83–99, doi:10.1016/j.entcs.2005.12.034.
  29. M. Saqib Nawaz & Meng Sun (2018): Reo2PVS: Formal Specification and Verification of Component Connectors. In: The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018., pp. 391–390, doi:10.18293/SEKE2018-024.
  30. Jonathan S Ostro (1992): Formal methods for the specification and design of real-time safety critical systems. Journal of Systems and Software 18(1), pp. 33–60, doi:10.1016/0164-1212(92)90045-L.
  31. Mike P Papazoglou (2003): Service-oriented computing: Concepts, characteristics and directions. In: Web Information Systems Engineering, 2003. WISE 2003. Proceedings of the Fourth International Conference on. IEEE, pp. 3–12, doi:10.1109/WISE.2003.1254461.
  32. Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat & Farhad Arbab (2009): Automated analysis of Reo circuits using symbolic execution. Electronic Notes in Theoretical Computer Science 255, pp. 137–158, doi:10.1016/j.entcs.2009.10.029.
  33. Meng Sun & Yi Li (2014): Formal modeling and verification of complex interactions in e-government applications. In: Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance. ACM, pp. 506–507, doi:10.1145/2691195.2691296.
  34. Samira Tasharofi & Marjan Sirjani (2009): Formal modeling and conformance validation for WS-CDL using Reo and CASM. Electronic Notes in Theoretical Computer Science 229(2), pp. 155–174, doi:10.1016/j.entcs.2009.06.034.
  35. Xiyue Zhang, Weijiang Hong, Yi Li & Meng Sun (2016): Reasoning about connectors in Coq. In: International Workshop on Formal Aspects of Component Software. Springer, pp. 172–190, doi:10.1007/978-3-319-57666-4\@uscore .11.
  36. Xiyue Zhang, Weijiang Hong, Yi Li & Meng Sun (2019): Reasoning about connectors using Coq and Z3. Science of Computer Programming 170, pp. 27–44, doi:10.1016/j.scico.2018.10.002.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org