工作流FM swMATH ID: 21519 软件作者: 帕帕帕纳吉奥图,Petros;雅克·弗莱里奥特 描述: WorkflowFM:用于正式流程规范和组合的基于逻辑的框架。我们提出了一个名为WorkflowFM的基于逻辑的过程规范和组合系统。它依赖于在证明助手HOL Light中嵌入经典线性逻辑和所谓的“作为过程的证明”范式。这使得可以通过形式证明将抽象过程指定为逻辑序列及其组合。结果被系统地转换为具有正式验证的一致性、严格的资源记帐和无死锁的可执行工作流。WorkflowFM的三层服务器/客户端体系结构允许多个并发用户通过纯图形界面与系统交互,而验证在服务器上自动执行。 主页: https://link.springer.com/chapter/10.1007%2F978-3-319-63046-5_22 关键词: 过程建模;工作流;定理证明;经典线性逻辑 相关软件: J图表;HOL灯;链接;Graphviz公司 引用于: 1文件 标准文章 1出版物描述软件,包括1出版物以zbMATH为单位 年份 WorkflowFM:一个用于正式流程规范和组合的基于逻辑的框架。 Zbl 1494.68292号帕帕帕纳吉奥图,Petros;雅克·弗莱里奥特 2017 2位作者引用 1 雅克·弗莱里奥特。 1 帕帕帕纳吉奥图,Petros 0连载引用 在2个字段中引用 1 数学逻辑和基础(03-XX) 1 计算机科学(68至XX) 按年份列出的引文