{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:56:33Z","timestamp":1725490593244},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735984"},{"type":"electronic","value":"9783540735991"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73599-1_64","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T19:06:17Z","timestamp":1188414377000},"page":"479-488","source":"Crossref","is-referenced-by-count":9,"title":["Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic"],"prefix":"10.1007","author":[{"given":"Federico","family":"Chesani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Storari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"64_CR1","volume-title":"Evidence-based Healthcare","author":"G. Muir","year":"1997","unstructured":"Muir, G.: Evidence-based Healthcare. Churchill Livingston, London (1997)"},{"key":"64_CR2","unstructured":"Careflow management systems \n                    \n                      http:\/\/www.openclinical.org\/briefingpaperStefanelli.html"},{"key":"64_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/11875604_39","volume-title":"Foundations of Intelligent Systems","author":"F. Chesani","year":"2006","unstructured":"Chesani, F., Matteis, P.D., Mello, P., Montali, M., Storari, S.: A framework for defining and verifying clinical guidelines: A case study on cancer screening. In: Esposito, F., Ra\u015b, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol.\u00a04203, pp. 338\u2013343. Springer, Heidelberg (2006)"},{"key":"64_CR4","doi-asserted-by":"crossref","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. ENTCS 85(2) (2003)","DOI":"10.1016\/S1571-0661(05)82605-2"},{"key":"64_CR5","unstructured":"Societies of computees (SOCS) Available at: \n                    \n                      http:\/\/lia.deis.unibo.it\/Research\/SOCS\/"},{"key":"64_CR6","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19-20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming\u00a019-20, 503\u2013582 (1994)","journal-title":"Journal of Logic Programming"},{"key":"64_CR7","unstructured":"The SCIFF abductive proof procedure, Available at \n                    \n                      http:\/\/lia.deis.unibo.it\/Research\/sciff\/"},{"key":"64_CR8","unstructured":"Cervical cancer screening in emilia romagna (italy), Available at: \n                    \n                      http:\/\/www.regione.emilia-romagna.it\/screening\/"},{"key":"64_CR9","unstructured":"SOCS-SI web site. Available at: \n                    \n                      http:\/\/www.lia.deis.unibo.it\/research\/socs_si\/socs_si.shtml"},{"key":"64_CR10","doi-asserted-by":"crossref","unstructured":"Terenziani, P., Montani, S., Bottrighi, A., Torchio, M., Molino, G., Correndo, G.: Applying artificial intelligence to clinical guidelines: The GLARE approach. In: AI*IA.\u00a0vol. 101, pp. 536\u2013547 (2003)","DOI":"10.1007\/978-3-540-39853-0_44"},{"key":"64_CR11","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0933-3657(98)00021-9","volume":"14","author":"J. Fox","year":"1998","unstructured":"Fox, J., Johns, N., Rahmanzadeh, A.: Disseminating medical knowledge-the proforma approach. Artificial Intelligence in Medicine\u00a014, 157\u2013181 (1998)","journal-title":"Artificial Intelligence in Medicine"},{"key":"64_CR12","first-page":"28","volume-title":"MEDINFO 2004","author":"P. Ciccarese","year":"2004","unstructured":"Ciccarese, P., Caffi, E., Boiocchi, L., Quaglini, S., Stefanelli, M.: A guideline management system. In: MEDINFO 2004, pp. 28\u201332. IOS Press, Amsterdam (2004)"},{"key":"64_CR13","unstructured":"Mulyar, N.A., v.d. Aalst, W.M.P., Peleg, M.: A pattern-based analysis of clinical computer-interpretable guideline modelling languages. BPMcenter.org Technical Note (2006)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Medicine"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73599-1_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T01:37:28Z","timestamp":1558489048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73599-1_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540735984","9783540735991"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73599-1_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}