id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_ln3yl3e2jjezbhzw2ekrdhgmmq	Marcella Rovani	Declarative process mining in healthcare	2015	29	.pdf	application/pdf	11831	875	57	The declarative process model based on the guidelines and event data is subsequently used for continuously monitoring deviations. ProM can be used to discover declarative process models from event logs, check the conformance of such The Declare model for this process involves five activities: First Hospital Admission, Preoperative Screening, Open Gastrectomy, Laparoscopic Gastrectomy and Nursing, and seven constraints: three derived from • Precedence between Preoperative Screening and Open Surgery, Preoperative Screening and Orchidopexy, Preoperative Screening and Inguinal Hernia Treatment: according to the World Health Organization clinical guidelines for surgery, every surgical treatment cannot be executed without preliminary examinations required in order to prevent risks for patients. Table 4: The cryptorchidism treatment: conformance checking between the de jure model and the event log through the Declare Figure 13: The cryptorchidism treatment: conformance checking between the repaired model and the event log (Declare Figure 13: The cryptorchidism treatment: conformance checking between the repaired model and the event log (Declare	./cache/work_ln3yl3e2jjezbhzw2ekrdhgmmq.pdf	./txt/work_ln3yl3e2jjezbhzw2ekrdhgmmq.txt