Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows.
Junwei CaoFan ZhangKe XuLianchen LiuCheng WuPublished in: J. Comput. Sci. Technol. (2011)
Keyphrases
- temporal properties
- formal verification
- model checking
- scientific workflows
- temporal logic
- formal specification
- scientific data
- service oriented
- workflow systems
- semantic annotation
- web services
- formal methods
- possibility theory
- file system
- data management
- database
- temporal information
- software engineering
- machine learning