WorkflowFM: a logic-based framework for formal process specification and composition

DOI10.1007/978-3-319-63046-5_22zbMath1494.68292OpenAlexW2735081604MaRDI QIDQ2405262

Jacques D. Fleuriot, Petros Papapanagiotou

Publication date: 22 September 2017

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/38051473/CADE_26_paper_35_2.pdf

zbMATH Keywords

workflowstheorem provingprocess modellingclassical linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

WorkflowFM

Uses Software

• Graphviz
• LINK
• HOL Light
• JGraph

This page was built for publication: WorkflowFM: a logic-based framework for formal process specification and composition