{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:08:44Z","timestamp":1725898124242},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297519"},{"type":"electronic","value":"9783642297526"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-29752-6_21","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:22:01Z","timestamp":1357107721000},"page":"285-300","source":"Crossref","is-referenced-by-count":6,"title":["Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines"],"prefix":"10.1007","author":[{"given":"M. A.","family":"Grando","sequence":"first","affiliation":[]},{"given":"M. H.","family":"Schonenberg","sequence":"additional","affiliation":[]},{"given":"W.","family":"van der Aalst","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11691617_13","volume-title":"Model Checking Software","author":"S. B\u00e4umler","year":"2006","unstructured":"B\u00e4umler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of Medical Guidelines by Model Checking \u2013 A Case Study. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 219\u2013233. Springer, Heidelberg (2006)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Black, E., Glasspool, D., Grando, M.A., Patkar, V., Fox, J.: Goal-Based Decisions for Dynamic Planning. In: AIME Conference, pp. 96\u2013100 (2009)","DOI":"10.1007\/978-3-642-02976-9_13"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-45876-X_19","volume-title":"Advances in Database Technology - EDBT 2002","author":"F. Casati","year":"2002","unstructured":"Casati, F., Shan, M.C.: Semantic Analysis of Business Process Executions. In: Jensen, C.S., Jeffery, K., Pokorn\u00fd, J., \u0160altenis, S., Bertino, E., B\u00f6hm, K., Jarke, M. (eds.) EDBT 2002. LNCS, vol.\u00a02287, pp. 287\u2013296. Springer, Heidelberg (2002)"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.: Process-Aware Information systems: Bridging People and Software Through Process Technology. Wiley (2005)","DOI":"10.1002\/0471741442"},{"key":"21_CR5","unstructured":"El Kharbili, M., Stein, S.: Policy-Based Semantic Compliance Checking for Business Process Management. In: MobIS Workshops, pp. 178\u2013192 (2008)"},{"issue":"1-2","key":"21_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0169-2607(97)00034-5","volume":"54","author":"J. Fox","year":"1997","unstructured":"Fox, J., Johns, N., Lyons, C., Rahmanzadeh, A., Thomson, R., Wilson, P.: PROforma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine\u00a054(1-2), 59\u201367 (1997)","journal-title":"Computer Methods and Programs in Biomedicine"},{"key":"21_CR7","unstructured":"Giordano, L., Terenziani, P., Bottrighi, A., Montani, S., Donzella, L.: Model checking for clinical guidelines: an agent-based approach. AMIA, 289\u2013293 (2006)"},{"issue":"2","key":"21_CR8","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.jbi.2009.11.006","volume":"43","author":"A. Grando","year":"2010","unstructured":"Grando, A., Peleg, M., Glasspool, D.: A goal-oriented framework for specifying clinical guidelines and handling medical errors. J. Biomed. Inform.\u00a043(2), 287\u2013299 (2010)","journal-title":"J. Biomed. Inform."},{"issue":"2","key":"21_CR9","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1378\/chest.114.2_Supplement.133S","volume":"114","author":"R.S. Irwin","year":"1998","unstructured":"Irwin, R.S., Boulet, L.S., Cloutier, M.M., et al.: Managing Cough as a Defense Mechanism and as a Symptom, A Consensus Panel Report of the American College of Chest Physicians. Chest\u00a0114(2), 133\u2013181 (1998)","journal-title":"Chest"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Maggi, F., Mooij, A., van der Aalst, W.P.M.: User-guided discovery of declarative process models. In: IEEE Symposium Series in Computational Intelligence 2011 - CIDM - 2011 IEEE Symposium on Computational Intelligence and Data Mining (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"21_CR11","unstructured":"Mans, R.S., Schonenberg, H., Leonardi, G., Panzarasa, S., Cavallini, A., Quaglini, S., van der Aalst, W.M.P.: Process Mining Techniques: an Application to Stroke Care. MIE, 573\u2013578 (2008)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Mans, R.S., Schonenberg, H., Song, M., van der Aalst, W.M.P., Bakker, P.J.M.: Application of Process Mining in Healthcare - A Case Study in a Dutch Hospital, BIOSTEC Conference (Selected Papers), pp. 425\u2013438 (2008)","DOI":"10.1007\/978-3-540-92219-3_32"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-04856-2_2","volume-title":"Transactions on Petri Nets and Other Models of Concurrency III","author":"R.S. Mans","year":"2009","unstructured":"Mans, R.S., van der Aalst, W.M.P., Russell, N.C., Bakker, P.J.M., Moleman, A.J., Lassen, K.B., J\u00f8rgensen, J.B.: From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In: Jensen, K., Billington, J., Koutny, M. (eds.) ToPNoC III. LNCS, vol.\u00a05800, pp. 25\u201349. Springer, Heidelberg (2009)"},{"issue":"1","key":"21_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10730-005-4946-4","volume":"17","author":"J.J. McCartney","year":"2005","unstructured":"McCartney, J.J.: Values Based Decision making in Helathcare: Introduction. Journal HEC Forum\u00a017(1), 1\u20135 (2005)","journal-title":"Journal HEC Forum"},{"key":"21_CR15","unstructured":"Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. In: Informal Proceedings of the International Workshop ProHealth 2007, pp. 17\u201328 (2007)"},{"key":"21_CR16","unstructured":"Open Clinical repository, \n                    \n                      http:\/\/www.openclinical.org\n                    \n                    \n                   (March 2011)"},{"issue":"1","key":"21_CR17","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1197\/jamia.M1135","volume":"10","author":"M. Peleg","year":"2003","unstructured":"Peleg, M., Tu, S.W., Bury, J., Ciccarese, P., Fox, J., et al.: Comparing Computer-Interpretable Guideline Models: A Case-Study Approach. J. Am. Med. Inform. Assoc.\u00a010(1), 52\u201368 (2003)","journal-title":"J. Am. Med. Inform. Assoc."},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"21_CR19","unstructured":"Pesic, M.: Constraint-based workflow management systems: Shifting controls to users. Beta Research School for Operations Management and Logistics, Eindhoven (2008)"},{"issue":"1-2","key":"21_CR20","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0933-3657(98)00015-3","volume":"14","author":"Y. Shahar","year":"1998","unstructured":"Shahar, Y., Miksch, S., Johnson, P.: The Asgaard Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines. Artificial Intelligence in Medicine\u00a014(1-2), 29\u201351 (1998)","journal-title":"Artificial Intelligence in Medicine"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"ten Teije, A., Marcos, M., Blaser, M., et al.: Improving medical protocols by formal methods. AI in Medicine (2006)","DOI":"10.1016\/j.artmed.2005.10.006"}],"container-title":["Communications in Computer and Information Science","Biomedical Engineering Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29752-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T03:58:42Z","timestamp":1557460722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29752-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642297519","9783642297526"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29752-6_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}