Paper Info
Title
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines
Abstract
Scientific workflows have recently emerged as a new paradigm for representing and managing complex dis- tributed scientific computations and data analysis, and have enabled and accelerated many scientific discoveries. Many scientific workflows are distributed and collaborative as they result from some collaborative research projects that involve a number of geographicaly distributed organiza- tions. In these workflows, information flow control becomes a key security problem. In this paper, we propose to model a scientific workflow using a hierarchical state machine and present techniques for verifying and controlling information propagation in scientific workflow environments based on hierarchical state machines. To the best of our knowledge, this is the first effort for information flow analysis in the area of scientific workflows.
Year
DOI
Venue
2007
10.1109/E-SCIENCE.2007.35
eScience
Keywords
Field
DocType
hierarchical state machines,formal modeling,data flow analysis,formal verification,groupware,formal specification,state machine,finite state machines,data analysis
Information flow (information theory),Data mining,Computer science,Collaborative software,Data-flow analysis,Formal specification,Finite-state machine,Workflow,Formal verification,Computation,Distributed computing
Conference
ISSN
ISBN
Citations 
2325-372X
0-7695-3064-8
7
PageRank 
References 
Authors
0.43
37
3
Name
Order
Citations
PageRank
Ping Yang15210.62
Zijiang Yang21308.83
Lu, Shiyong32022126.17