Property Specifications for Workflow Modelling

DOI10.1007/978-3-642-00255-7_5MaRDI QIDQ3605458zbMATH OpenOpenAlexFDO

Authors Peter Y. H. Wong, Jeremy Gibbons

Publication date 24 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00255-7_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Property specifications for workflow modelling
• Formalisations and applications of BPMN
• BPMN -- a logical model and property analysis
• A relative timed semantics for BPMN
• Formal semantics of XPDL specification in CSP process

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• Property specifications for workflow modelling
• Specification of communicating processes: temporal logic versus refusals-based refinement

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

Describes a project that uses

Uses Software

• FDR2

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)