{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:34:28Z","timestamp":1761561268430},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690696"},{"type":"electronic","value":"9783540690733"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69073-3_14","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"118-131","source":"Crossref","is-referenced-by-count":16,"title":["Rigorously Defining and Analyzing Medical Processes: An Experience Report"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Christov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lori A.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leon J.","family":"Osterweil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucinda","family":"Cassells","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilson","family":"Mertens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"To Err is Human: Building a Safer Health System","year":"1999","key":"14_CR1","unstructured":"Kohn, L.T., Corrigan, J.M., Donaldson, M.S. (eds.): To Err is Human: Building a Safer Health System. National Academies Press, Washington (1999)"},{"volume-title":"Building a Better Delivery System: A New Engineering\/Healthcare Partnership","year":"2005","key":"14_CR2","unstructured":"Reid, P.P., Compton, W.D., Grossman, J.H., Fanjiang, G. (eds.): Building a Better Delivery System: A New Engineering\/Healthcare Partnership. National Academies Press, Washington (2005)"},{"key":"14_CR3","unstructured":"Institute of Medicine: Crossing the Quality Chasm: A New Health System for the 21st Century. National Academies Press, Washington (2001)"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.tmrv.2006.08.007","volume":"21","author":"E.H. Henneman","year":"2007","unstructured":"Henneman, E.H., Cobleigh, R.L., Frederick, K., Katz-Bassett, E., Avrunin, G.A., Clarke, L.A., Osterweil, L.J., Andrzejewski, C., Merrigan, K., Henneman, P.L.: Increasing Patient Safety and Efficiency in Transfusion Therapy Using Formal Process Definitions. Transfusion Medicine Reviews\u00a021, 49\u201357 (2007)","journal-title":"Transfusion Medicine Reviews"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/S1070-3241(02)28033-5","volume":"28","author":"J. Burgmeier","year":"2002","unstructured":"Burgmeier, J.: Failure Mode and Effect Analysis: An Application in Reducing Risk in Blood Transfusion. Quality Improvement\u00a028, 331\u2013339 (2002)","journal-title":"Quality Improvement"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/11754305_17","volume-title":"Software Process Change","author":"B. Chen","year":"2006","unstructured":"Chen, B., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Automatic Fault Tree Derivation from Little-JIL Process Definitions. In: Wang, Q., Pfahl, D., Raffo, D.M., Wernick, P. (eds.) SPW 2006 and ProSim 2006. LNCS, vol.\u00a03966, pp. 150\u2013158. Springer, Heidelberg (2006)"},{"key":"14_CR7","volume-title":"Model Checking","author":"E.M.J. Clarke","year":"2000","unstructured":"Clarke, E.M.J., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/1040291.1040292","volume":"13","author":"M.B. Dwyer","year":"2004","unstructured":"Dwyer, M.B., Clarke, L.A., Cobleigh, J.M., Naumovich, G.: Flow Analysis for Verifying Properties of Concurrent Software Systems. ACM Trans. on Software Engineering and Methodology\u00a013(4), 359\u2013430 (2004)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"14_CR9","first-page":"96","volume-title":"ACM SIGSOFT Intl. Symp. on Software Testing & Analysis","author":"J.M. Cobleigh","year":"2000","unstructured":"Cobleigh, J.M., Clarke, L.A., Osterweil, L.J.: Verifying Properties of Process Definitions. In: ACM SIGSOFT Intl. Symp. on Software Testing & Analysis, pp. 96\u2013101. ACM Press, Portland, OR (2000)"},{"issue":"3","key":"14_CR10","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.ecoinf.2007.07.006","volume":"2","author":"E.R. Boose","year":"2007","unstructured":"Boose, E.R., Ellison, A.M., Osterweil, L.J., Clarke, L., Podorozhny, R., Hadley, J.L., Wise, A., Foster, D.R.: Ensuring Reliable Datasets for Environmental Models and Forecasts. Ecological Informatics, ECONINF84\u00a02(3), 237\u2013247 (2007)","journal-title":"Ecological Informatics, ECONINF84"},{"issue":"4","key":"14_CR11","first-page":"63","volume":"1","author":"C.M. Schweik","year":"2004","unstructured":"Schweik, C.M., Osterweil, L.J., Sondheimer, N., Thomas, C.: Analyzing Processes for E-Government Development: The Emergence of Process Modeling Languages. Journal of E-Government\u00a01(4), 63\u201389 (2004)","journal-title":"Journal of E-Government"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Cass, A.G., Lerner, B.S., McCall, E.K., et al.: Little-JIL\/Juliette: A Process Definition Language and Interpreter. In: ACM\/IEEE 20th Intl Conf. on Software Engineering, Limerick, Ireland, pp. 754\u2013758 (2000)","DOI":"10.1145\/337180.337623"},{"key":"14_CR13","unstructured":"Wise, A.: Little-JIL 1.5 Language Report. Lab. for Advanced Software Engineering Research (LASER), Dept. of Comp. Sci, UMass, Amherst (2006)"},{"key":"14_CR14","volume-title":"The SPIN Model Checker","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2004)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: PROPEL: An Approach To Supporting Property Elucidation. In: ACM\/IEEE 24th Intl. Conf. on Software Engineering, Orlando, FL, pp. 11\u201321 (2002)","DOI":"10.1145\/581344.581345"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Cobleigh, R.L., Avrunin, G.S., Clarke, L.A.: User Guidance for Creating Precise and Accessible Property Specifications. In: 14th ACM SIGSOFT Symp. on the Foundations of Software Engineering, Portland, OR, pp. 208\u2013218 (2006)","DOI":"10.1145\/1181775.1181801"},{"key":"14_CR17","unstructured":"Protocure II (2006), http:\/\/www.protocure.org"},{"issue":"3","key":"14_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","volume":"36","author":"A. Teije ten","year":"2006","unstructured":"ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving Medical Protocols by Formal Methods. Artificial Intelligence in Medicine\u00a036(3), 193\u2013209 (2006)","journal-title":"Artificial Intelligence in Medicine"},{"key":"14_CR19","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. Baumler","year":"2006","unstructured":"Baumler, 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)"},{"issue":"2","key":"14_CR20","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.jbi.2005.07.001","volume":"39","author":"R. Noumeir","year":"2006","unstructured":"Noumeir, R.: Radiology Interpretation Process Modeling. Journal of Biomedical Informatics\u00a039(2), 103\u2013114 (2006)","journal-title":"Journal of Biomedical Informatics"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Ruffolo, M., Curio, R., Gallucci, L.: Process Management in Health Care: A System for Preventing Risks and Medical Errors. Business Process Mgmt, 334\u2013343 (2005)","DOI":"10.1007\/11538394_22"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1046\/j.1365-3148.2000.00247.x","volume":"10","author":"D. Voak","year":"2000","unstructured":"Voak, D., Chapman, J.F., Phillips, P.: Quality of Transfusion Practice Beyond the Blood Transfusion Laboratory is Essential to Prevent ABO-incompatible Death. Transfusion Medicine\u00a010, 95\u201396 (2000)","journal-title":"Transfusion Medicine"},{"key":"14_CR23","first-page":"231","volume":"122","author":"J.B. Battles","year":"1998","unstructured":"Battles, J.B., Kaplan, H.S., van der Schaaf, T.W., Shea, C.E.: The Attributes of Medical Event Reporting Systems for Transfusion Medicine. Arch Pathology Laboratory Medicine\u00a0122, 231\u2013238 (1998)","journal-title":"Arch Pathology Laboratory Medicine"},{"issue":"1","key":"14_CR24","first-page":"43","volume":"107","author":"S.A. Galel","year":"1997","unstructured":"Galel, S.A., Richards, C.A.: Practical Approaches to Improve Laboratory Performance and Transfusion Safety. Am. J. Clinical Pathology\u00a0107(Suppl. 1), S43\u2013S49 (1997)","journal-title":"Am. J. Clinical Pathology"},{"issue":"2","key":"14_CR25","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0933-3657(02)00012-X","volume":"25","author":"L.C. Gaag van der","year":"2002","unstructured":"van der Gaag, L.C., Renooji, S., Witteman, C.L.M., Aleman, B.M.P., Taal, B.G.: Probabilities for a Probabilistic Network: A Case-Study in Oesophageal Cancer. Artificial Intelligence in Medicine\u00a025(2), 123\u2013148 (2002)","journal-title":"Artificial Intelli-gence in Medicine"},{"issue":"3","key":"14_CR26","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/214013.214017","volume":"4","author":"S.M.J. Sutton","year":"1995","unstructured":"Sutton, S.M.J., Heimbigner, D.M., Osterweil, L.J.: APPL\/A: A Language for Software-Process Programming. ACM Trans. on Software Engineering and Methodology\u00a04(3), 221\u2013286 (1995)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Ben-Shaul, I.Z., Kaiser, G.: A Paradigm for Decentralized Process Modeling and its Realization in the Oz Environment. In: ACM\/IEEE 16th Intl. Conf. on Software Engineering, pp. 179\u2013188 (1994)","DOI":"10.1109\/ICSE.1994.296777"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Bandinelli, S., Fuggetta, A., Ghezzi, C.: Process Model Evolution in the SPADE Environment. ACM\/IEEE 15th Trans. on Software Engineering\u00a019(12) (1993)","DOI":"10.1109\/32.249659"},{"key":"14_CR29","unstructured":"Paul, S., Park, E., Chaar, J.: RainMan: A Workflow System for the Internet. In: Usenix Symposium on Internet Technologies and Systems (1997)"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Grosof, B., Labrou, Y., Chan, H.Y.: A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In: ACM Conf. on Electronic Commerce, Denver, CO, pp. 68\u201377 (1999)","DOI":"10.1145\/336992.337010"},{"key":"14_CR31","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s100090050038","volume":"2","author":"G.S. Avrunin","year":"2000","unstructured":"Avrunin, G.S., Corbett, J.C., Dwyer, M.B.: Benchmarking Finite-State Verifiers. Software Tools for Technology Transfer\u00a02, 317\u2013320 (2000)","journal-title":"Software Tools for Technology Transfer"},{"key":"14_CR32","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01384316","volume":"6","author":"J.C. Corbett","year":"1995","unstructured":"Corbett, J.C., Avrunin, G.S.: Using Integer Programming to Verify General Safety and Liveness Properties. Formal Methods in System Design\u00a06, 97\u2013123 (1995)","journal-title":"Formal Methods in System Design"},{"key":"14_CR33","unstructured":"Raunak, M.S., Osterweil, L.J.: Effective Resource Allocation for Process Simulation: A Position Paper. In: 6th Intl. Workshop on Software Process Simulation and Modeling, St. Louis, MO (2005)"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69073-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:31:11Z","timestamp":1605763871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69073-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540690696","9783540690733"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69073-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}