Rigorous process-based modelling of patterns for collaborative work in healthcare teams
CBMS(2012)
摘要
We review recently proposed notions of healthcare patterns for collaborative work and show how these can be cast in terms of composition of processes. The approach uses a purely diagrammatic language to drive a logic-based verification engine, resulting in fully-verified workflows that capture the information flow in these patterns.
更多查看译文
关键词
health care,information flow,logic-based verification engine,purely diagrammatic language,healthcare teams,rigorous process-based modelling,collaborative work,groupware,formal verification,collaboration,process control
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要