{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T15:29:03Z","timestamp":1773588543310,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,10]],"date-time":"2008-05-10T00:00:00Z","timestamp":1210377600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,10]]},"DOI":"10.1145\/1368088.1368175","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T14:36:48Z","timestamp":1210862208000},"page":"623-632","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Analyzing medical processes"],"prefix":"10.1145","author":[{"given":"Bin","family":"Chen","sequence":"first","affiliation":[{"name":"University of Massachusetts, Amherst, MA, USA"}]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, MA, USA"}]},{"given":"Elizabeth A.","family":"Henneman","sequence":"additional","affiliation":[{"name":"University of Massaschusetts, Amherst, MA, USA"}]},{"given":"Lori A.","family":"Clarke","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, MA, USA"}]},{"given":"Leon J.","family":"Osterweil","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, MA, USA"}]},{"given":"Philip L.","family":"Henneman","sequence":"additional","affiliation":[{"name":"Tufts-Baystate Medical Center, Springfield, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2008,5,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-5468-2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183088.1183091"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050038"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/645368.650817"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.249659"},{"key":"e_1_3_2_1_6_1","first-page":"231","article-title":"The attributes of medical event-reporting systems: experience with a prototype medical event-reporting system for transfusion medicine","volume":"122","author":"Battles J.","year":"1998","unstructured":"J. Battles, H. Kaplan, T. van der Schaaf, and C. Shea. The attributes of medical event-reporting systems: experience with a prototype medical event-reporting system for transfusion medicine. Arch. Pathology Laboratory Medicine, 122:231--238, 1998.","journal-title":"Arch. Pathology Laboratory Medicine"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","unstructured":"S. B\u00e4umler M. Balser A. Dunets W. Reif and J. Schmitt. Verification of medical guidelines by model checking - a case study. In A. Valmari editor SPIN volume 3925 of LNCS pages 219--233 2006. 10.1007\/11691617_13","DOI":"10.1007\/11691617_13"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257764"},{"key":"e_1_3_2_1_9_1","first-page":"237","volume-title":"Ecological Informatics","volume":"2","author":"Boose E. R.","year":"2007","unstructured":"E. R. Boose, A. M. Ellison, L. J. Osterweil, L. Clarke, R. Podorozhny, J. L. Hadley, A. Wise, and D. R. Foster. Ensuring reliable datasets for environmental models and forecasts. In Ecological Informatics, volume 2, pages 237--247, 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337623"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11754305_17"},{"key":"e_1_3_2_1_12_1","volume-title":"1st International Workshop on Model-Based Trustworthy Health Information Systems","author":"Christov S.","year":"2007","unstructured":"S. Christov, B. Chen, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil. Rigorously defining and analyzing medical processes: An experience report. In 1st International Workshop on Model-Based Trustworthy Health Information Systems, September 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734431"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"e_1_3_2_1_15_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000","unstructured":"E. M. Clarke, O. G. Jr., and D. A. Peled. Model Checking. MIT Press, 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348876"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181801"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384316"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2004.1303343"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040291.1040292"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1046\/j.1537-2995.2003.00504.x"},{"key":"e_1_3_2_1_24_1","first-page":"1","volume-title":"8th International Workshop on Logic Programming Synthesis and Transformation, number 1559 in LNCS","author":"Fuchs N. E.","year":"1998","unstructured":"N. E. Fuchs, U. Schwertel, and R. Schwitter. Attempto controlled english - not just another logic specification language. In P. Flener, editor, 8th International Workshop on Logic Programming Synthesis and Transformation, number 1559 in LNCS, pages 1--20, 1998."},{"issue":"4","key":"e_1_3_2_1_25_1","first-page":"S43","article-title":"Practical approaches to improve laboratory performance and transfusion safety","volume":"107","author":"Galel S.","year":"1997","unstructured":"S. Galel and C. Richards. Practical approaches to improve laboratory performance and transfusion safety. American Journal of Clinical Pathology, 107(4):S43--S49, 1997.","journal-title":"American Journal of Clinical Pathology"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.733618"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/336992.337010"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tmrv.2006.08.007"},{"key":"e_1_3_2_1_29_1","volume-title":"The SPIN Model Checker","author":"Holzmann G. J.","year":"2004","unstructured":"G. J. Holzmann. The SPIN Model Checker. Addison-Wesley, 2004."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-1491-3"},{"key":"e_1_3_2_1_31_1","volume-title":"To Err Is Human: Building a Safer Health System","author":"Kohn L. T.","year":"1999","unstructured":"L. T. Kohn, J. M. Corrigan, and M. S. Donaldson, editors. To Err Is Human: Building a Safer Health System. National Academy Press, Washington, D.C., 1999."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007549"},{"key":"e_1_3_2_1_33_1","volume-title":"J. of the Amer. Medical Informatics Association (JAMIA) Symposium supplement","author":"Molino G.","year":"2006","unstructured":"G. Molino, P. Terenziani, S. Montani, A.Bottrighi, and M. Torchio. Glare: a domain-independent system for acquiring, representing and executing clinical guidelines. In J. of the Amer. Medical Informatics Association (JAMIA) Symposium supplement, 2006."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2005.07.001"},{"key":"e_1_3_2_1_35_1","volume-title":"Department of Computer Science","author":"Osterweil L. J.","year":"2006","unstructured":"L. J. Osterweil, N. K. Sondheimer, L. A. Clarke, E. Katsh, and D. Rainey. Using process definitions to facilitate the specification of requirements. Technical report, Department of Computer Science, University of Massachusetts Amherst, 2006."},{"key":"e_1_3_2_1_36_1","volume-title":"USENIX Symp. on Internet Technologies and Systems","author":"Paul S.","year":"1997","unstructured":"S. Paul, E. Park, and J. Chaar. Rainman: a work flow system for the internet. In USENIX Symp. on Internet Technologies and Systems, Berkeley, CA, 1997."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11754305_20"},{"key":"e_1_3_2_1_38_1","volume-title":"6th International Workshop on Software Process Simulation and Modeling, St","author":"Raunak M. S.","year":"2005","unstructured":"M. S. Raunak and L. J. Osterweil. Effective resource allocation for process simulation: A position paper. In 6th International Workshop on Software Process Simulation and Modeling, St. Louis, MO, May 2005."},{"key":"e_1_3_2_1_39_1","volume-title":"Building a Better Delivery System: A New Engineering\/Health Care Partnership","author":"Reid P. P.","year":"2005","unstructured":"P. P. Reid, W. D. Compton, J. H. Grossman, and G. Fanjiang, editors. Building a Better Delivery System: A New Engineering\/Health Care Partnership. National Academy Press, Washington, D.C., 2005."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_22"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(98)00015-3"},{"key":"e_1_3_2_1_42_1","volume-title":"Amer Society for Quality","author":"Stamatis D. H.","year":"1995","unstructured":"D. H. Stamatis. Failure Mode and E ect Analysis: FMEA from Theory to Execution. Amer Society for Quality, March 1995."},{"key":"e_1_3_2_1_43_1","first-page":"433","volume-title":"Journal of the","author":"Sutton D. R.","year":"2003","unstructured":"D. R. Sutton and J. Fox. The syntax and semantics of the proforma guideline modeling language. In Journal of the American Medical Informatics Association, volume 10, pages 433--443, Sep-Oct 2003."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/214013.214017"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2005.10.006"},{"key":"e_1_3_2_1_46_1","volume-title":"ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols","author":"Terenziani P.","year":"2006","unstructured":"P. Terenziani, L. Giordano, A. Bottrighi, S. Montani, and L. Donzella. Spin model checking for the verification of clinical guidelines. In ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols, August 2006."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(02)00012-X"},{"key":"e_1_3_2_1_48_1","volume-title":"Fault Tree Handbook (NUREG-0492). U.S","author":"Vesely W.","year":"1981","unstructured":"W. Vesely, F. Goldberg, N. Roberts, and D. Haasl. Fault Tree Handbook (NUREG-0492). U.S. Nuclear Regulatory Commission, Washington, D.C., Jan. 1981."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1046\/j.1365-3148.2000.00247.x"},{"key":"e_1_3_2_1_50_1","volume-title":"Fundamentals of Nursing","author":"Wilkinson J. M.","year":"2007","unstructured":"J. M. Wilkinson and K. V. Leuven. Fundamentals of Nursing. F. A. Davis Company, June 2007."},{"key":"e_1_3_2_1_51_1","unstructured":"J. M. Wilkinson and K. V. Leuven. Procedure checklist for administering a blood transfusion. http:\/\/davisplus.fadavis.com\/wilkinson\/PDFs\/Procedure_Checklists\/PC_Ch36-01.pdf 2007."}],"event":{"name":"ICSE '08: International Conference on Software Engineering","location":"Leipzig Germany","acronym":"ICSE '08","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 30th international conference on Software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1368088.1368175","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1368088.1368175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T13:49:38Z","timestamp":1773582578000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1368088.1368175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,10]]},"references-count":51,"alternative-id":["10.1145\/1368088.1368175","10.1145\/1368088"],"URL":"https:\/\/doi.org\/10.1145\/1368088.1368175","relation":{},"subject":[],"published":{"date-parts":[[2008,5,10]]},"assertion":[{"value":"2008-05-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}