Toward Web-based Careflow Management Systems
暂无分享,去创建一个
[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.