Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems (Extended Abstract)
SHIN, Seung Yeob
2017 • In Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Management (BPM 2017)
resource utilization policy; discrete-event simulation; model checking; human-intensive systems; process modeling; process analysis
Résumé :
[en] Societal processes, such as those used in healthcare, typically depend on the effective utilization of resources, both human and non-human. Sound policies for the management of these resources are crucial in assuring that these processes achieve their goals. But complex utilization policies may govern the use of such resources, increasing the difficulty of accurately incorporating resource considerations into complex processes. This dissertation presents an approach to the specification, allocation, and analysis of the management of such resources.
Centre de recherche :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Sciences informatiques
Auteur, co-auteur :
SHIN, Seung Yeob ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems (Extended Abstract)
Date de publication/diffusion :
10 septembre 2017
Nom de la manifestation :
BPM 2017, BPM Demo Track and BPM Dissertation Award
Lieu de la manifestation :
Barcelona, Espagne
Date de la manifestation :
from 10-09-2017 to 15-09-2017
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Management (BPM 2017)
