Formal modeling and analysis of scientific workflows using hierarchical state machines

Ping Yang; Zijiang Yang; Shiyong Lu

doi:10.1109/E-SCIENCE.2007.35

Formal modeling and analysis of scientific workflows using hierarchical state machines

Ping Yang
, Zijiang Yang
, Shiyong Lu

Faculty of Electronic and Information Engineering

State University of New York Binghamton University
Wayne State University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

Abstract

Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed 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 geographically distributed organizations. 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.

Original language	English
Title of host publication	Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing
Pages	619-620
Number of pages	2
DOIs	https://doi.org/10.1109/E-SCIENCE.2007.35
State	Published - 2007
Event	E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing - Bangalore, India Duration: 10 Dec 2007 → 13 Dec 2007

Publication series

Name	Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing

Conference

Conference	E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing
Country/Territory	India
City	Bangalore
Period	10/12/07 → 13/12/07

Access to Document

10.1109/E-SCIENCE.2007.35

Cite this

Yang, P., Yang, Z., & Lu, S. (2007). Formal modeling and analysis of scientific workflows using hierarchical state machines. In Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing (pp. 619-620). Article 4426939 (Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing). https://doi.org/10.1109/E-SCIENCE.2007.35

@inproceedings{3a93ec7f3eeb4c778bdf0ef6491e6a94,

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 distributed 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 geographically distributed organizations. 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.",

author = "Ping Yang and Zijiang Yang and Shiyong Lu",

year = "2007",

doi = "10.1109/E-SCIENCE.2007.35",

language = "英语",

isbn = "0769530648",

series = "Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing",

pages = "619--620",

booktitle = "Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing",

note = "E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing ; Conference date: 10-12-2007 Through 13-12-2007",

}

Yang, P, Yang, Z & Lu, S 2007, Formal modeling and analysis of scientific workflows using hierarchical state machines. in Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing., 4426939, Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing, pp. 619-620, E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing, Bangalore, India, 10/12/07. https://doi.org/10.1109/E-SCIENCE.2007.35

Formal modeling and analysis of scientific workflows using hierarchical state machines. / Yang, Ping; Yang, Zijiang; Lu, Shiyong.
Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing. 2007. p. 619-620 4426939 (Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal modeling and analysis of scientific workflows using hierarchical state machines

AU - Yang, Ping

AU - Yang, Zijiang

AU - Lu, Shiyong

PY - 2007

Y1 - 2007

N2 - Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed 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 geographically distributed organizations. 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.

AB - Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed 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 geographically distributed organizations. 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.

UR - https://www.scopus.com/pages/publications/44949084383

U2 - 10.1109/E-SCIENCE.2007.35

DO - 10.1109/E-SCIENCE.2007.35

M3 - 会议稿件

AN - SCOPUS:44949084383

SN - 0769530648

SN - 9780769530642

T3 - Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing

SP - 619

EP - 620

BT - Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing

T2 - E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing

Y2 - 10 December 2007 through 13 December 2007

ER -

Formal modeling and analysis of scientific workflows using hierarchical state machines

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this