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

作者：

Highlights：

•

摘要

ObjectiveTo develop proof strategies to formally study the expressiveness of workflow-based languages, and to investigate their applicability to clinical computer-interpretable guideline (CIG) modeling languages.

论文关键词：Petri net,Workflow patterns,Computer-interpretable guidelines,Clinical modeling languages,PROforma

论文评审过程：Received 12 February 2010, Revised 5 July 2011, Accepted 6 July 2011, Available online 23 July 2011.

论文官网地址：https://doi.org/10.1016/j.artmed.2011.07.001