工作流程

WorkflowFM:一个基于逻辑的正式过程规范和组合框架。我们提出了一个基于逻辑的工艺规范和组合系统WorkflowFM。它依赖于嵌入经典线性逻辑和所谓的证明作为过程范式在证明助手hollight中的嵌入。这使得将抽象过程规范为逻辑序列,并通过形式证明将其组合起来。结果系统地转化为一个可执行的工作流,具有正式验证的一致性、严格的资源核算和死锁自由度。WorkflowFM的三层服务器/客户机体系结构允许多个并发用户通过纯图形界面与系统交互,同时在服务器上自动执行证明。