Transition system semantics of DFL as a scientific workflow language

Du Nanshan, Liang Yiwen, Li Qing, Du Linxia

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

1 Citation (Scopus)

Abstract

Data-flow and control-flow perspectives are the most important perspectives to workflow management. As scientific workflows often operate on large, complex, and heterogeneous data, data-flow is particularly important to them. DFL is a formal, graphical workflow language for data-flows based on Petri nets and nested relational calculus. The focus of this paper is to articulate the transition system semantics of DFL. The major flaws of the existing work in terms of the transition system semantics lie in the following aspects, containing token unnesting history management, enabling configuration and state transition, are clearly revised. The following improvements can be obtained from revising those flaws: (1)The token unnesting history management is more efficient in terms of time and space. It can be increased when unnest edges lead to output places and be decreased when nest edges lead from input places. Empty sets are dealt with in coherence with non-empty sets to identify an enabling configuration. (2)The prerequisites of enabling configurations are complemented with that tokens in all input places of the firing transition have the same history and enable the transition. (3)The transition system semantics are clarified in detail on what tokens are consumed from and produced in which places.

Original languageEnglish
Title of host publicationProceedings of the 4th International Conference on Semantics, Knowledge, and Grid, SKG 2008
Pages241-246
Number of pages6
DOIs
Publication statusPublished - 1 Dec 2008
Externally publishedYes
Event4th International Conference on Semantics, Knowledge, and Grid, SKG 2008 - Beijing, China
Duration: 3 Dec 20085 Dec 2008

Publication series

NameProceedings of the 4th International Conference on Semantics, Knowledge, and Grid, SKG 2008

Conference

Conference4th International Conference on Semantics, Knowledge, and Grid, SKG 2008
Country/TerritoryChina
CityBeijing
Period3/12/085/12/08

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Software

Cite this