Property specifications for workflow modelling

DOI10.1016/j.scico.2010.09.007zbMath1216.68165OpenAlexW2035830215MaRDI QIDQ549695

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

CSPlinear temporal logiccompatibilityproperty specification patternsworkflow specificationworkflow verification

Mathematics Subject Classification ID

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

Related Items (5)

Cost analysis for an actor-based workflow modelling language ⋮ Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models ⋮ Algebraic Reasoning About Timeliness ⋮ A system for deduction-based formal verification of workflow-oriented software models ⋮ Property Specifications for Workflow Modelling

Uses Software

• PRISM
• Reo
• COWS
• FDR2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• Service oriented computing from a process algebraic perspective
• Specification of communicating processes: temporal logic versus refusals-based refinement
• Responsiveness of interoperating components
• Contract Based Multi-party Service Composition
• Reo: a channel-based coordination model for component composition
• A Relative Timed Semantics for BPMN
• A Calculus for Orchestration of Web Services

This page was built for publication: Property specifications for workflow modelling