WorkflowFM: a logic-based framework for formal process specification and composition
From MaRDI portal
Publication:2405262
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)
Recommendations
- Formalizing the specification and execution of workflows using the event calculus
- A system for deduction-based formal verification of workflow-oriented software models
- Specifying and verifying declarative fluent temporal logic properties of workflows
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
- scientific article; zbMATH DE number 4157900
Cited in
(8)- A system for deduction-based formal verification of workflow-oriented software models
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
- Formalizing the specification and execution of workflows using the event calculus
- Formalizing workflows partitioning over federated clouds: multi-level security and costs
- Default -logic for modeling customizable failure semantics in workflow systems using dynamic reconfiguration constraints
- WorkflowFM
- A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference
- Linear resources in Isabelle/HOL
This page was built for publication: WorkflowFM: a logic-based framework for formal process specification and composition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2405262)
