Property specifications for workflow modelling

DOI10.1016/J.SCICO.2010.09.007MaRDI QIDQ549695zbMATH OpenOpenAlexFDO

Authors Peter Y. H. Wong, Jeremy Gibbons

Publication date 18 July 2011

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2010.09.007

zbMATH Keywords

CSPcompatibilitylinear temporal logicproperty specification patternsworkflow specificationworkflow verification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Property Specifications for Workflow Modelling
• Formalisations and applications of BPMN
• BPMN -- a logical model and property analysis
• A relative timed semantics for BPMN
• Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT

Cites work

• scientific article; zbMATH DE number 1693430 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• A Calculus for Orchestration of Web Services
• A relative timed semantics for BPMN
• Contract Based Multi-party Service Composition
• Reo: a channel-based coordination model for component composition
• Responsiveness of interoperating components
• Results on the propositional \(\mu\)-calculus
• Service oriented computing from a process algebraic perspective
• Specification of communicating processes: temporal logic versus refusals-based refinement

Cited in

(13)

• BPMN -- a logical model and property analysis
• Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT
• Specifying and verifying declarative fluent temporal logic properties of workflows
• Formalisations and applications of BPMN
• Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
• Cost analysis for an actor-based workflow modelling language
• Formal semantics of XPDL specification in CSP process
• Algebraic Reasoning About Timeliness
• On the expressive power of behavioral profiles
• A system for deduction-based formal verification of workflow-oriented software models
• A relative timed semantics for BPMN
• Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations
• Property Specifications for Workflow Modelling

Describes a project that uses

Uses Software

• PRISM
• Reo
• COWS
• 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 Q549695)