A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows
2011
Journal of Computer Science and Technology
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 enables flexible abstraction and management of historical grid system events, but also facilitates modeling and temporal verification of
doi:10.1007/s11390-011-1198-4
fatcat:inptypzadzf25fxirjd6zsgzle