Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines.

Ping Yang Zijiang Yang Shiyong Lu

Published in: eScience (2007)

Keyphrases

state machines
scientific workflows
database
state machine
data analysis
query language
qualitative and quantitative