A formal approach to the analysis of clinical computer-interpretable guideline modeling languages

Artificial Intelligence in Medicine

Volumn 54, Issue 1, 2012, Pages 1-13

  Grando, M Adela ^a   Glasspool, David ^a   Fox, John ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Clinical modeling languages; Computer interpretable guidelines; Petri net; PROforma; Workflow patterns

Indexed keywords

BISIMILARITY; COMPUTER-INTERPRETABLE GUIDELINES; DECLARATIVE LANGUAGES; FORMAL APPROACH; FORMAL TECHNIQUES; MODELING LANGUAGES; PROCESS CALCULI; PROFORMA; PROOF STRATEGY; WORKFLOW PATTERNS;

PETRI NETS; STANDARDS;

FORMAL METHODS;

ARTICLE; BEHAVIOR; COMPUTER AIDED DESIGN; COMPUTER ANALYSIS; COMPUTER LANGUAGE; PATIENT MONITORING; PRIORITY JOURNAL; SATISFACTION; TASK PERFORMANCE; WORKFLOW;

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; DECISION MAKING, COMPUTER-ASSISTED; DECISION SUPPORT SYSTEMS, CLINICAL; HUMANS; PRACTICE GUIDELINES AS TOPIC; PROGRAMMING LANGUAGES; SOFTWARE DESIGN; WORKFLOW;

EID: 83555176424     PISSN: 09333657     EISSN: 18732860     Source Type: Journal    
DOI: 10.1016/j.artmed.2011.07.001     Document Type: Article

References (27)

1. Peleg M., Tu S., Bury J., Ciccarese P., Jones N., Miksch S., et al. Comparing computer-interpretable guideline models. A case-study approach. J Am Med Inform Assoc 2003, 10:52-68.
2. Ten Teije A., Miksch S., Lucas P. Computer-based medial guidelines and protocols: a primer and current trends. Studies in Health Technology and Informatics 139 2008, IO Press, Amsterdam.
3. Balser M., Coltell O., van Croonenborg J., Duelli C., van Harmelen F., Jovell A., et al. Proceedings of the symposium on computerized guidelines and protocols. Studies in Health Technology and Informatics 101 2004, IOS Press, Amsterdam.
4. Petri CA. Kommunikation mit Automaten. PhD thesis, Institut für instrumentelle Mathematik; 1962.
5. Mulyar N., van der Aalst W.M.P., Peleg M. A pattern-based analysis of clinical computer-interpretable guideline modeling languages. J Am Med Inform Assoc 2007, 14(6):781-787.
6. Xue G., Lu J., Gong N., Yao S. Investigating workflow resource patterns in term of pi-calculus: 2008. Proceeding of the 12th international conference on computer supported cooperative work in design 2008, 630-635.
7. Wohed P., van der Aalst W.M.P., Dumas M., ter Hofstede A.H.M. Analysis of web services composition languages: the case of BPEL4WS. Proceedings conceptual modeling ER 2003. Lecture Notes in Computer Science 2813 2003, 200-215. Springer, Berlin/Heidelberg. I. Song, S.W. Liddle, T.W. Ling, P. Scheuermann (Eds.).
8. Wohed P., van der Aalst W.M.P., Dumas M., terHofstede A.H.M., Russell N. On the suitability of BPMN for business process modelling. International conference on business process management 2006. Lecture Notes in Computer Science 410 2006, 161-176. Springer, Berlin/Heidelberg. S. Dustdar, J.L. Faideiro, A. Sheth (Eds.).
9. Grando M.A., Glasspool D.W., Fox J. Petri nets as a formalism for comparing expressiveness of workflow-based clinical guideline languages. Proceedings of 2nd international workshop on process-oriented information systems in healthcare, 6th international conference on business process management. Lecture Notes in Business Information Processing 17 2008, 348-360. Springer-Verlag. R. Lenz, M. Peleg, M. Reichert (Eds.).
10. Peleg M., Tu S., Manindroo A., Altman R.B. Modelling and analyzing biomedical processes using workflow/Petri net models and tools. Studies in Health Technology and Informatics 107 2005, 74-78. IOS Press, Amsterdam.
11. Puhlman F., Weske M. Using the phi-calculus for formalizing workflow patterns. Business process management 2005. Lecture Notes in Computer Science 3649 2005, 153-168. Springer, Berlin/Heidelberg. W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera (Eds.).
12. Milner R. Communicating and mobile systems: the pi-calculus 1999, Cambridge University Press.
13. Jensen K. Colored Petri nets and the invariant method. Theor Comput Sci 1981, 14:317-336.
14. Russell N, van der Aalst WMP, Mulyar N. Workflow control-flow patterns: a revised view: 2006: BPM Center Report BPM-06-22, [accessed 13.06.10]. http://bpmcenter.org/.
15. Shahar Y., Miksch S., Johnson P. An intention-based language for representing clinical guidelines. Proc. AMIA Annu. Fall Symp. 1996, 592-596. Hanley &Belfus Inc., USA. J.J. Cimino (Ed.).
16. Peleg M., Boxwala A.A., Tu S., Zeng Q., Ogunyemi O., Wang D., et al. The InterMed approach to sharable computer-interpretable guidelines: a review. J Am Med Inform Assoc 2004, 11(1):1-10.
17. Tu S.W., Musen M.A. Modeling data and knowledge in the EON guideline architecture. Proceedings of the 10th world congress on medical informatics. Studies in Health Technology and Informatics 84(Pt 1) 2001, 280-284. IOS Press, Amsterdam. V.L. Patel, R. Roger, R. Haux (Eds.).
18. Sutton D.R., Fox J. The syntax and semantics of the PROforma guideline modelling language. J Am Med Inform Assoc 2003, 10(5):433-443.
19. Pesic M. Constraint-based workflow management systems: shifting control to users. PhD thesis, Eindhoven University of Technology.
20. Mulyar N., Pesic M., van de Aalst W.M.P., Peleg M. Towards the flexibility in clinical guideline modeling languages. 1st international workshop on process-oriented information systems in healthcare 2007 2008, 17-28. M. Reichert, M. Peleg, R. Lenz (Eds.).
21. Colored Petri Net tool. Available from: [accessed 13.06.10]. http://wiki.daimi.au.dk/cpntools/cpntools.wiki.
22. Quaglini S., Stefanelli M., Cavallini A., Micieli G., Fassino C., Moss C. Guideline-based careflow systems. Artif Intell Med 2000, 20(1):5-22.
23. Edinburgh Concurrency Workbench. Available from [accessed 13.06.10]. http://homepages.inf.ed.ac.uk/perdita/cwb//.
24. Russell N., ter Hofstede A.H.M., Edmond D., van der Aalst W.M.P. Workflow data patterns: identification, representation and tool support. 24th international conference on conceptual modelling. Lecture Notes in Computer Science 3716 2005, 353-368. Springer, Berlin/Heidelberg. L. Delcambre, C. Kop, H.C. Mayr, J. Mylopoulos, O. Pastor (Eds.).
25. Russell N., van der Aalst W.M.P., ter Hofstede A.H.M., Edmond D. Workflow resource patterns: identification, representation and tool support. Proceedings of the 17th conference on advanced information systems engineering. Lecture Notes in Computer Science 3520 2005, 216-232. Springer-Verlag. O. Pastor, J. Falcao, Cunha (Eds.).
26. Mulyar N., Schonenberg M.H., Mans R.S., Russell N., van der Aalst W.M.P. Towards a taxonomy of process flexibility. Proceedings of the forum at the conference on advanced information systems engineering, vol. 344 2008, 81-84. Z. Bellahsène, C. Woo, E. Hunt, X. Franch, R. Coletta (Eds.).
27. Grando A., Peleg M., Glasspool D. A goal-oriented framework for specifying clinical guidelines and handling medical errors. J. Biomed Inform 2010, 43(2):287-299.