Formal verification of temporal properties for reduced overhead in grid scientific workflows

DOI10.1007/S11390-011-1198-4MaRDI QIDQ2637258zbMATH OpenOpenAlexFDO

Authors Junwei Cao, Fan Zhang, Ke Xu, Lian-Chen Liu, Cheng Wu

Publication date 11 February 2014

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11390-011-1198-4

zbMATH Keywords

formal verificationgrid computingstate Pi calculusworkflow management

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)

Recommendations

• Formal verification technique for grid service chain model and its application
• Partial order reduction for checking soundness of time workflow nets
• Specifying and verifying declarative fluent temporal logic properties of workflows
• Reduction of workflow nets for generalised soundness verification
• Temporal property verification as a program analysis task

Cites work

• Formal verification technique for grid service chain model and its application
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)

Cited in

(1)

• Formal verification technique for grid service chain model and its application

Describes a project that uses

Uses Software

• NuSMV
• GridFlow

This page was built for publication: Formal verification of temporal properties for reduced overhead in grid scientific workflows

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