Property Specifications for Workflow Modelling

DOI10.1007/978-3-642-00255-7_5zbMATH Open1211.68258OpenAlexW1686892929MaRDI QIDQ3605458FDOQ3605458

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

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

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)

Cites Work

• Title not available (Why is that?)
• Specification of communicating processes: temporal logic versus refusals-based refinement
• Property specifications for workflow modelling

Cited In (10)

• Formal methods to improve public administration business processes
• Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations
• BPMN -- a logical model and property analysis
• Formalisations and applications of BPMN
• Formal semantics of XPDL specification in CSP process
• Property specifications for workflow modelling
• A relative timed semantics for BPMN
• Event-driven temporal logic pattern for control software requirements specification
• Soundness of workflow nets: classification, decidability, and analysis
• Specifying and verifying declarative fluent temporal logic properties of workflows

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)