Abstract
Reactive graphs are transition structures whereas edges become active and inactive during its evolution, that were introduced by Dov Gabbay from a mathematical’s perspective. This paper presents
(https://fm-dcc.github.io/MARGe), a web-based tool to visualise and analyse reactive graphs enriched with labels.
animates the operational semantics of reactive graphs and offers different graphical views to provide insights over concrete systems. We motivate the applicability of reactive graphs for adaptive systems and for featured transition systems, using
to tighten the gap between the existing theoretical models and their usage to analyse concrete systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Mermaid is popular markup language for diagrams, cf. https://mermaid.js.org.
References
Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Log. J. IGPL 23(4), 601–627 (2015). https://doi.org/10.1093/JIGPAL/JZV020
ter Beek, M.H., Cledou, G., Hennicker, R., Proença, J.: Can we communicate? using dynamic logic to verify team automata. In: Chechik, M., Katoen, J.P., Leucker, M. (eds.) FM 2023. LNCS, vol. 14000. Springer, Heidelberg (2023). https://doi.org/10.1007/978-3-031-27481-7_9
ter Beek, M.H., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L.: Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27(1), 10 (2021). https://doi.org/10.1007/s10664-020-09930-8
van Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. LNCS, vol. 2605, pp. 268–276. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-32254-2_16
Bunte, O., et al.: The mCRL2 toolset for analysing concurrent systems. In: Vojnar, T., Zhang, L. (eds.) TACAS. LNCS, vol. 11428, pp. 21–39. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-030-17465-1_2
Campos, S., Santiago, R.H.N., Martins, M.A., Figueiredo, D.: Introduction to reversal fuzzy switch graph. Sci. Comput. Program. 216, 102776 (2022). https://doi.org/10.1016/J.SCICO.2022.102776
Capilla, R., Bosch, J., Trinidad, P., Ruiz-Cortés, A., Hinchey, M.: An overview of dynamic software product line architectures and techniques: observations from research and industry. J. Syst. Softw. 91, 3–23 (2014). https://doi.org/10.1016/j.jss.2013.12.038
Cordy, M., Classen, A., Heymans, P., Legay, A., Schobbens, P.Y.: Model checking adaptive software with featured transition systems. In: Assurances for Self-Adaptive Systems: Principles, Models, and Techniques, pp. 1–29 (2013)
Costa, D., Figueiredo, D., Martins, M.A.: Relation-changing models meet paraconsistency. J. Log. Algebraic Methods Program. 133, 100870 (2023). https://doi.org/10.1016/J.JLAMP.2023.100870
Cruz, R., Proença, J.: Reolive: Analysing connectors in your browser. In: Mazzara, M., Ober, I., Salaün, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 336–350. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-030-04771-9_25
Figueiredo, D., Martins, M.A., Barbosa, L.S.: A note on reactive transitions and reo connectors. In: de Boer, F.S., Bonsangue, M.M., Rutten, J. (eds.) It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. LNCS, vol. 10865, pp. 57–67. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-319-90089-6_4
Gabbay, D.M.: Reactive Kripke models and contrary to duty obligations. Part A: semantics. J. Appl. Logic 11(1), 103–136 (2013). https://doi.org/10.1016/j.jal.2012.08.001
Gabbay, D.M.: Reactive Kripke Semantics. Cognitive Technologies, Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41389-6
Gabbay, D.M., Marcelino, S.: Modal logics of reactive frames. Stud. Logica. 93(2–3), 405–446 (2009). https://doi.org/10.1007/S11225-009-9214-1
Gabbay, D.M., Marcelino, S.: Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66(1–4), 131–162 (2012). https://doi.org/10.1007/S10472-012-9316-8
Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, pp. 477–498. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-82453-1_17
Päßler, J., ter Beek, M.H., Damiani, F., Tarifa, S.L.T., Johnsen, E.B.: Formal modelling and analysis of a self-adaptive robotic system. In: Herber, P., Wijs, A. (eds.) iFM 2023. LNCS, vol. 14300, pp. 343–363. Springer, Heidelberg (2023). https://doi.org/10.1007/978-3-031-47705-8_18
Proença, J., Edixhoven, L.: Caos: a reusable scala web animator of operational semantics. In: Jongmans, S.S., Lopes, A. (eds.) COORDINATION 2023, DisCoTec 2023. LNCS, vol. 13908, pp. 163–171. Springer, Heidelberg (2023). https://doi.org/10.1007/978-3-031-35361-1_9
Proença, J., Madeira, A.: Taming hierarchical connectors. In: Hojjat, H., Massink, M. (eds.) FSEN 2019. LNCS, vol. 11761, pp. 186–193. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-030-31517-7_13
Santiago, R.H.N., Martins, M.A., Figueiredo, D.: Introducing fuzzy reactive graphs: a simple application on biology. Soft. Comput. 25(9), 6759–6774 (2021). https://doi.org/10.1007/S00500-020-05353-1
Tinoco, D., Madeira, A., Martins, M.A., Proença, J.: Reactive graphs in action (extended version). CoRR (2024). https://doi.org/10.48550/arXiv.2407.14705
Acknowledgments
This work is supported by the FCT, the Portuguese funding agency for Science and Technology, with the projects UIDB/04106/2020 (https://doi.org/10.54499/UIDB/04106/2020), UIDP/04106/2020 (https://doi.org/10.54499/UIDP/04106/2020) and PTDC/CCI-COM/4280/2021. It was also supported by the CISTER Research Unit (UIDP/UIDB/04234/2020), financed by National Funds through FCT/MCTES and by project Ibex (ref. PTDC/CCI-COM/4280/2021) financed by national funds through FCT.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Tinoco, D., Madeira, A., Martins, M.A., Proença, J. (2024). Reactive Graphs in Action. In: Marmsoler, D., Sun, M. (eds) Formal Aspects of Component Software. FACS 2024. Lecture Notes in Computer Science, vol 15189. Springer, Cham. https://doi.org/10.1007/978-3-031-71261-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-031-71261-6_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-71260-9
Online ISBN: 978-3-031-71261-6
eBook Packages: Computer ScienceComputer Science (R0)