Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows

Abstract

With quick development of grid techniques and growing complexity of grid applications, it is becoming critical for reasoning temporal properties of grid workflows to probe potential pitfalls and errors, in order to ensure reliability and trustworthiness at the initial design phase. A state Pi calculus is proposed and implemented in this work, which not only… (More)
DOI: 10.1007/s11390-011-1198-4

9 Figures and Tables

Topics

  • Presentations referencing similar topics