NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery

We present the NOVA Workflow tool-suite, a prototype for a process, information and communication management tool to guide and inform real world workflows with special attention to the needs of health services delivery. NOVA Workflow is an innovative workflow management system which integrates formal verification into the software development process. For workflow modeling the tool uses the time Compensable Workflow Modeling Language (CWMLT) which produces reliable and structured workflow models and enhances error handling. The graphical editor of the tool gives a common platform for modeling, verifying and developing software. The SOA based architecture of the workflow engine ensures compliance with industry standards. The tool includes an automated translator to a model checking tool, a monitor to facilitate run-time compliance of (health care) policy, and a user friendly browser to give clinicians a convenient way to view a patient's information without losing the context. We propose an application of the browser to process diagnosis.

[1]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[2]  Didier Lime,et al.  Parametric Model-Checking of Stopwatch Petri Nets , 2009, J. Univers. Comput. Sci..

[3]  Jing Li,et al.  Specifying and Verifying Web Transactions , 2008, FORTE.

[4]  Teruo Higashino,et al.  Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings , 2008, FORTE.

[5]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[6]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[7]  Wendy MacCaull,et al.  Model Checking Workflow Monitors and Its Application to a Pain Management Process , 2011, FHIES.

[8]  François Sainfort,et al.  Evaluating usability of a commercial electronic health record: A case study , 2008, Int. J. Hum. Comput. Stud..

[9]  Ajitha Rajan,et al.  Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.

[10]  Weiping Li,et al.  A Time Management Method in Workflow Management System , 2009, 2009 Workshops at the Grid and Pervasive Computing Conference.

[11]  Hao Wang,et al.  Compensable WorkFlow Nets , 2010, ICFEM.

[12]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[13]  Sami Evangelista,et al.  Syntactical Colored Petri Nets Reductions , 2005, ATVA.

[14]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[15]  Peter Dadam,et al.  ADEPT Next Generation Process Management Technology , 2006, CAiSE Forum.

[16]  Moe Thandar Wynn,et al.  Reduction rules for YAWL workflows with cancellation regions and OR-joins , 2009, Inf. Softw. Technol..

[17]  Erik P. de Vink,et al.  Time and Data-Aware Analysis of Graphical Service Models in Reo , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[18]  Peretz Shoval,et al.  Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings , 2010, ER.

[19]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[20]  T. Buzan,et al.  The Mind Map Book , 1993 .

[21]  François Vernadat,et al.  Time Petri Nets Analysis with TINA , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[22]  Jocelyn Simmonds,et al.  Guided recovery for web service applications , 2010, FSE '10.

[23]  Mohamed Nassim Seghir,et al.  A Lightweight Approach for Loop Summarization , 2011, ATVA.

[24]  Wendy MacCaull,et al.  Modeling and Verifying Timed Compensable Workflows and an Application to Health Care , 2011, FMICS.

[25]  Alexander L. Wolf,et al.  Discovering models of software processes from event-based data , 1998, TSEM.

[26]  Hao Wang,et al.  An Efficient Explicit-time Description Method for Timed Model Checking , 2009, PDMC.

[27]  George S. Avrunin,et al.  Process Programming to Support Medical Safety: A Case Study on Blood Transfusion , 2005, ISPW.

[28]  Dimitrios Gunopulos,et al.  Mining Process Models from Workflow Logs , 1998, EDBT.

[29]  Carlo Combi,et al.  Controllability in Temporal Conceptual Workflow Schemata , 2009, BPM.

[30]  Peter Dadam,et al.  On Enabling Data-Aware Compliance Checking of Business Process Models , 2010, ER.

[31]  Thomas A. Henzinger,et al.  Hybrid Systems III , 1995, Lecture Notes in Computer Science.

[32]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[33]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[34]  Marc Boyer,et al.  Time Petri Nets , 2010 .

[35]  Isidro Ramos,et al.  Advances in Database Technology — EDBT'98 , 1998, Lecture Notes in Computer Science.