Specifying and verifying declarative fluent temporal logic properties of workflows

DOI10.1007/978-3-642-33296-8_12MaRDI QIDQ5200483zbMATH OpenOpenAlexFDO

Authors Germán Regis, Nicolás Ricci, Nazareno Aguirre, Tim Maibaum

Publication date 6 November 2012

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-33296-8_12

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) Theory of organizations, manpower planning in operations research (90B70)

Recommendations

• scientific article; zbMATH DE number 1948940
• Model checking workflow net based on Petri net
• Property specifications for workflow modelling
• Property Specifications for Workflow Modelling
• Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis

Cited in

(4)

• WorkflowFM: a logic-based framework for formal process specification and composition
• Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
• Formalizing the specification and execution of workflows using the event calculus
• Formal verification of temporal properties for reduced overhead in grid scientific workflows

This page was built for publication: Specifying and verifying declarative fluent temporal logic properties of workflows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200483)