Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies | SpringerLink
Skip to main content
Springer Nature Link
Log in

Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies

  • Conference paper
  • First Online:
Computational Methods in Systems Biology (CMSB 2024)

Part of the book series: Lecture Notes in Computer Science ((LNBI,volume 14971))

Included in the following conference series:

  • 241 Accesses

Abstract

The coexistence of multiple medical conditions in an individual presents a complex challenge in healthcare. This research aims to enhance the analysis of comorbidity treatment plans by capturing nuanced interactions between different medical conditions and treatment interventions. Reaction systems provide a formal framework for modelling and analysing systems in which the dynamics is driven by promotion/inhibition mechanisms and external intervention of context processes. This study explores the integration of guards into context processes to increase the expressiveness of the formalism in order to analyse treatment plans for comorbidities. Through the analysis of combined clinical guidelines for atrial fibrillation and hypertension, we demonstrate the applicability and utility of this approach in optimizing patient care and improving health outcomes in the context of complex medical scenarios.

Research supported by the Next Generation EU project PNRR ECS00000017 “THE - Tuscany Health Ecosystem” (Spoke 3 - CUP B63C22000680007, and Spoke 6 - CUP I53C22000780001), the Next Generation EU projects MEDICA (PRIN 2022, CUP_B53D23013170006 CUP_I53D23003720006), DELICE (PRIN PNRR 2022, P20223T2MF), RAP (PRIN PNRR 2022, P2022HXNSC), the INdAM GNCS project CUP_E53C22001930001, and the Austrian Science Fund (FWF) project Meitner M 3338-N.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 22879
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 28599
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    See details in the NICE guideline NG136 at www.nice.org.uk.

References

  1. Ashley, E.A.: Towards precision medicine. Nat. Rev. Genet. 17(9), 507–522 (2016). https://doi.org/10.1038/nrg.2016.86

    Article  Google Scholar 

  2. BioReSolve web page, a prolog interpreter for Reaction Systems analysis. http://www.di.unipi.it/~bruni/LTSRS/. Accessed 3 May 2024

  3. Bowles, J.K.F., Caminati, M.B.: A flexible approach for finding optimal paths with minimal conflicts. In: Duan, Z., Ong, L. (eds.) ICFEM 2017. LNCS, vol. 10610, pp. 209–225. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-68690-5_13

    Chapter  Google Scholar 

  4. Bowles, J.K.F., Caminati, M.B.: Balancing prescriptions with constraint solvers. In: Liò, P., Zuliani, P. (eds.) Automated Reasoning for Systems Biology and Medicine. CB, vol. 30, pp. 243–267. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17297-8_9

    Chapter  Google Scholar 

  5. Bowles, J., Caminati, M.: Correct composition in the presence of behavioural conflicts and dephasing. Sci. Comput. Program. 185 (2020). https://doi.org/10.1016/j.scico.2019.102323

  6. Bowles, J., Caminati, M., Cha, S., Mendoza, J.: A framework for automated conflict detection and resolution in medical guidelines. Sci. Comput. Program. 182, 42–63 (2019). https://doi.org/10.1016/j.scico.2019.07.002

    Article  Google Scholar 

  7. Brijder, R., Ehrenfeucht, A., Main, M., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(07), 1499–1517 (2011). https://doi.org/10.1142/S0129054111008842

    Article  MathSciNet  Google Scholar 

  8. Brodo, L., Bruni, R., Falaschi, M.: A process algebraic approach to reaction systems. Theoret. Comput. Sci. 881, 62–82 (2021). https://doi.org/10.1016/j.tcs.2020.09.001

    Article  MathSciNet  Google Scholar 

  9. Brodo, L., Bruni, R., Falaschi, M.: A logical and graphical framework for reaction systems. Theoret. Comput. Sci. 875, 1–27 (2021). https://doi.org/10.1016/j.tcs.2021.03.024

    Article  MathSciNet  Google Scholar 

  10. Brodo, L., Bruni, R., Falaschi, M.: Dynamic slicing of reaction systems based on assertions and monitors. In: Hanus, M., Inclezan, D. (eds.) PADL 2023. LNCS, vol. 13880, pp. 107–124. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-24841-2_8

    Chapter  Google Scholar 

  11. Brodo, L., Bruni, R., Falaschi, M.: A framework for monitored dynamic slicing of reaction systems. Nat. Comput. (2024). https://doi.org/10.1007/s11047-024-09976-3

    Article  MathSciNet  Google Scholar 

  12. Brodo, L., Bruni, R., Falaschi, M., Gori, R., Levi, F., Milazzo, P.: Quantitative extensions of reaction systems based on SOS semantics. Neural Comput. Appl. 35(9), 6335–6359 (2023). https://doi.org/10.1007/s00521-022-07935-6

    Article  Google Scholar 

  13. Brodo, L., Bruni, R., Falaschi, M., Gori, R., Milazzo, P.: Attractor and slicing analysis of a T Cell differentiation model based on reaction systems. In: Proceedings of DataMod 2023. LNCS. Springer, Berlin (in press)

    Google Scholar 

  14. Github repository with the RS model and Python script developed for this paper. https://github.com/Unipisa/AFib-Hyper-GuidelinesAnalysis. Accessed 3 May 2024

  15. Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inf. 75(1-4), 263–280 (2007). http://content.iospress.com/articles/fundamenta-informaticae/fi75-1-4-15

  16. Feder, G., Eccles, M., Grol, R., Griffiths, C., Grimshaw, J.: Using clinical guidelines. BMJ 318(7185), 728–730 (1999). https://doi.org/10.1136/bmj.318.7185.728

    Article  Google Scholar 

  17. Hughes, L., McMurdo, M.E.T., Guthrie, B.: Guidelines for people not for diseases: the challenges of applying UK clinical guidelines to people with multimorbidity. Age Ageing 42, 62–69 (2013). https://doi.org/10.1093/ageing/afs100

    Article  Google Scholar 

  18. Kovalov, A., Bowles, J.K.F.: Avoiding medication conflicts for patients with multimorbidities. In: Ábrahám, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 376–390. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-33693-0_24

    Chapter  Google Scholar 

  19. Milner, R.: A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980). https://doi.org/10.1007/3-540-10235-3

    Book  Google Scholar 

  20. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebraic Methods Program. 60–61, 17–139 (2004)

    MathSciNet  Google Scholar 

  21. SWI-Prolog home page. https://www.swi-prolog.org/. Accessed 3 May 2024

  22. Woolf, S.H., Grol, R., Hutchinson, A., Eccles, M., Grimshaw, J.: Potential benefits, limitations, and harms of clinical guidelines. BMJ 318(7182), 527–530 (1999). https://doi.org/10.1136/bmj.318.7182.527

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, University of St Andrews, St Andrews, UK

    Juliana Bowles

  2. Software Competence Centre Hagenberg Softwarepark 32a, Hagenberg, Austria

    Juliana Bowles

  3. Dipartimento di Scienze Economiche e Aziendali, Università di Sassari, Via Muroni 25, Sassari, Italy

    Linda Brodo

  4. Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, Pisa, Italy

    Roberto Bruni, Roberta Gori & Paolo Milazzo

  5. Department of Information Engineering and Mathematics, University of Siena, Via Roma 56, Siena, Italy

    Moreno Falaschi

Authors
  1. Juliana Bowles
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Linda Brodo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Roberto Bruni
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Moreno Falaschi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Roberta Gori
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Paolo Milazzo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Paolo Milazzo .

Editor information

Editors and Affiliations

  1. University of Pisa, Pisa, Italy

    Roberta Gori

  2. Università di Pisa, Pisa, Italy

    Paolo Milazzo

  3. IMT School for Advanced Studies Lucca, Lucca, Italy

    Mirco Tribastone

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bowles, J., Brodo, L., Bruni, R., Falaschi, M., Gori, R., Milazzo, P. (2024). Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies. In: Gori, R., Milazzo, P., Tribastone, M. (eds) Computational Methods in Systems Biology. CMSB 2024. Lecture Notes in Computer Science(), vol 14971. Springer, Cham. https://doi.org/10.1007/978-3-031-71671-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-71671-3_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-71670-6

  • Online ISBN: 978-3-031-71671-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation