Reference : Specification and Analysis of Resource Utilization Policies for Human-Intensive Syste...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/32316
Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems (Extended Abstract)
English
Shin, Seung Yeob mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
10-Sep-2017
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Management (BPM 2017)
CEUR-WS.org
Yes
International
BPM 2017, BPM Demo Track and BPM Dissertation Award
from 10-09-2017 to 15-09-2017
Barcelona
Spain
[en] resource utilization policy ; discrete-event simulation ; model checking ; human-intensive systems ; process modeling ; process analysis
[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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/32316

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
paper5.pdfAuthor postprint138.56 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.