Property Specifications for Workflow Modelling

DOI10.1007/978-3-642-00255-7_5zbMath1211.68258OpenAlexW1686892929MaRDI QIDQ3605458

Jeremy Gibbons, Peter Y. H. Wong

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)

Related Items (4)

Formal Methods to Improve Public Administration Business Processes ⋮ Event-driven temporal logic pattern for control software requirements specification ⋮ Soundness of workflow nets: classification, decidability, and analysis ⋮ Formalisations and applications of BPMN

Uses Software

• FDR2

Cites Work

• Unnamed Item
• Property specifications for workflow modelling
• Specification of communicating processes: temporal logic versus refusals-based refinement

This page was built for publication: Property Specifications for Workflow Modelling