Skip to content

Research at St Andrews

Estimating capacity and resource allocation in healthcare settings using business process modelling and simulation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Guilherme Redeker, Thais Webber, Ricardo Czekster, Sandra Quickert, Juliana Kuster Filipe Bowles

School/Research organisations

Abstract

Healthcare involves complex decision making from planning to resource management. Resources in hospitals are usually allocated by experienced managers,however, due to an inherent process complexity, decisions are surrounded by uncertainties, variabilities, and constraints. Information Systems must be robust enough to provide support to stakeholders, capable of controlling and support work flows. The present work explores the required synergy when combining business processes with discrete event simulation. The objective is to estimate performance indices and address capacity management of a surgical center as a case study.
Close

Details

Original languageEnglish
Title of host publicationAnais XXXVII Congresso da Sociedade Brasileira de Computação
PublisherSociedade Brasileira de Computação (SBC)
Pages1979-1982
StatePublished - 2 Jul 2017
EventWorkshop de Informática Médica (WIM) - São Paulo, Brazil

Workshop

WorkshopWorkshop de Informática Médica (WIM)
Abbreviated titleWIM
CountryBrazil
CitySão Paulo
Period2/07/176/07/17
Internet address

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. An integrated framework for verifying multiple care pathways

    Bowles, J. K. F., Caminati, M. B. & Cha, S. 23 May 2017 Eleventh International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Weaving true-concurrent aspects using constraint solvers

    Bowles, J. K. F., Bordbar, B. & Alwanain, M. 3 Feb 2017 2016 16th International Conference on Application of Concurrency to System Design (ACSD). IEEE Computer Society, p. 35-44 10 p. 7842499

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Formal verification of CNL health recommendations

    Rahman, F. & Bowles, J. K. F. 2017 Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Cham: Springer, p. 357-371 15 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 10510)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. A flexible approach for finding optimal paths with minimal conflicts

    Bowles, J. K. F. & Caminati, M. B. 2017 Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Duan, Z. & Ong, L. (eds.). Springer, p. 209-225 16 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 10610)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. A verified algorithm enumerating event structures

    Bowles, J. K. F. & Caminati, M. B. 2017 Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Cham: Springer, p. 239-254 (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence); vol. 10383)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 250067691