Toward Web-based Careflow Management Systems

Health care systems are prime examples of ultra large scale systems involving complex, distributive processes with a high degree of variability. There are ubiquitous communication and massive data and knowledge management requirements including documentation and reporting. Health care systems are also critical systems, where errors can be very costly in terms of lives, quality of life, and/or dollars. The efficient use of limited resources is not only desirable but necessary. Designing these processes and managing their performance is difficult and error prone. We discuss a web-based Careflow Management System, currently under development, that takes advantage of emerging web technology and extends existing workflow management systems with formal verification features applying high performance computing methods to support real-time monitoring and adaptation. Healthcare ontologies are integrated into the system to allow advanced reasoning and to ensure accurate and relevant knowledge sharing among the various collaborators enhancing interoperability between specialized systems devoted to each area.

[1]  Laura Giordano,et al.  Model Checking for Clinical Guidelines: an Agent-based Approach , 2006, AMIA.

[2]  Wendy MacCaull,et al.  Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care , 2008, 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software.

[3]  Silvana Quaglini,et al.  Evidence-based careflow management systems: the case of post-stroke rehabilitation , 2002, J. Biomed. Informatics.

[4]  Hao Wang,et al.  Verifying Real-Time Systems using Explicit-time Description Methods , 2009, QFM.

[5]  Kurt Jensen,et al.  Coloured Petri nets: A high level language for system design and analysis , 1991, Applications and Theory of Petri Nets.

[6]  G. Eysenbach Medicine 2.0: Social Networking, Collaboration, Participation, Apomediation, and Openness , 2008, Journal of medical Internet research.

[7]  George S. Avrunin,et al.  Rigorously Defining and Analyzing Medical Processes: An Experience Report , 2008, MoDELS.

[8]  Frank van Harmelen,et al.  Improving medical protocols through formalisation: a case study , 2002 .

[9]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[10]  Balakrishnan Chandrasekaran,et al.  What are ontologies, and why do we need them? , 1999, IEEE Intell. Syst..

[11]  Wendy MacCaull,et al.  Verification of Careflow Management Systems with Timed BDICTL Logic , 2009, Business Process Management Workshops.

[12]  Edmund M. Clarke,et al.  The Birth of Model Checking , 2008, 25 Years of Model Checking.

[13]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[14]  Valentin Goranko,et al.  Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

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

[16]  Wil M. P. van der Aalst,et al.  Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. , 2002 .

[17]  Paolo Terenziani,et al.  Towards a comprehensive treatment of temporal constraints in clinical guidelines , 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.