Rigorously Defining and Analyzing Medical Processes: An Experience Report Export

@incollection{citeulike:3476760, abstract = {This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the basis for analyses aimed at finding and correcting defects. The work is a collaboration between medical professionals from a major regional cancer center and computer science researchers. The work uses the Little-JIL language to create precise process definitions, the Propel system to specify precise process requirements, and the FLAVERS system to verify that the process definitions adhere to the requirement specifications. The paper describes how these technologies were applied to successfully identify defects in the chemotherapy process. Although this work is still ongoing, early experiences suggest that this approach can help reduce medical errors and improve patient safety. The work has also helped us to learn about the desiderata for process definition and analysis technologies, both of which are expected to be broadly applicable to other domains.}, author = {Christov, Stefan and Chen, Bin and Avrunin, George and Clarke, Lori and Osterweil, Leon and Brown, David and Cassells, Lucinda and Mertens, Wilson}, citeulike-article-id = {3476760}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-69073-3_14}, doi = {10.1007/978-3-540-69073-3_14}, journal = {Models in Software Engineering}, keywords = {healthcare, modeling, verification, workflow}, pages = {118--131}, posted-at = {2009-06-25 19:37:14}, priority = {0}, title = {Rigorously Defining and Analyzing Medical Processes: An Experience Report}, url = {http://dx.doi.org/10.1007/978-3-540-69073-3_14}, year = {2008} }

TY - CHAP ID - citeulike:3476760 L3 - citeulike-article-id:3476760 N2 - This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the basis for analyses aimed at finding and correcting defects. The work is a collaboration between medical professionals from a major regional cancer center and computer science researchers. The work uses the Little-JIL language to create precise process definitions, the Propel system to specify precise process requirements, and the FLAVERS system to verify that the process definitions adhere to the requirement specifications. The paper describes how these technologies were applied to successfully identify defects in the chemotherapy process. Although this work is still ongoing, early experiences suggest that this approach can help reduce medical errors and improve patient safety. The work has also helped us to learn about the desiderata for process definition and analysis technologies, both of which are expected to be broadly applicable to other domains. JF - Models in Software Engineering EP - 131 TI - Rigorously Defining and Analyzing Medical Processes: An Experience Report SP - 118 KW - healthcare KW - modeling KW - verification KW - workflow AU - Christov, Stefan AU - Chen, Bin AU - Avrunin, George AU - Clarke, Lori AU - Osterweil, Leon AU - Brown, David AU - Cassells, Lucinda AU - Mertens, Wilson PY - 2008/// UR - http://dx.doi.org/10.1007/978-3-540-69073-3_14 ER -