Property Specifications for Workflow Modelling
From MaRDI portal
Publication:3605458
Recommendations
Cites work
Cited in
(10)- BPMN -- a logical model and property analysis
- Property specifications for workflow modelling
- Specifying and verifying declarative fluent temporal logic properties of workflows
- Formalisations and applications of BPMN
- Soundness of workflow nets: classification, decidability, and analysis
- Formal semantics of XPDL specification in CSP process
- Formal methods to improve public administration business processes
- A relative timed semantics for BPMN
- Event-driven temporal logic pattern for control software requirements specification
- Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations
This page was built for publication: Property Specifications for Workflow Modelling
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605458)