NDLI: Transition System Semantics of DFL as a Scientific Workflow Language

Content Provider	IEEE Xplore Digital Library
Author	Nanshan Du Yiwen Liang Qing Li Linxia Du
Copyright Year	2008
Description	Author affiliation: Three Gorge Hydrol. Resources Survey Bur., Yichang, China (Linxia Du) \|\| Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong, China (Qing Li) \|\| Sch. of Comput., Wuhan Univ., Wuhan, China (Nanshan Du; Yiwen Liang)
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.
Starting Page	241
Ending Page	246
File Size	303306
Page Count	6
File Format	PDF
ISBN	9780769534015
DOI	10.1109/SKG.2008.78
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-12-03
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	template scientific workflow semantic Petri nets Conference management pattern Control systems Knowledge management Calculus History Computer science Hydrology function Grid computing Resource management
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Embracing Scientific Workflow Knowledge into IDE

Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns

A Semantic Framework for Resource Discovery Based on Ontology

Investigating Workflow Resource Patterns in term of Pi-calculus

Soundness and Niceness as Correctness Criteria for Grid Workflows

Mobile agent based automation of distributed workflow processes

Manageable Provenace Architecture in Scientific Workflow Systems

Synchronization among activities in a workflow using extended workflow Petri nets

Modeling Grid Workflows with Colored Petri Nets ⋆

Transition System Semantics of DFL as a Scientific Workflow Language

Similar Documents

Embracing Scientific Workflow Knowledge into IDE

Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns

A Semantic Framework for Resource Discovery Based on Ontology

Investigating Workflow Resource Patterns in term of Pi-calculus

Soundness and Niceness as Correctness Criteria for Grid Workflows

Mobile agent based automation of distributed workflow processes

Manageable Provenace Architecture in Scientific Workflow Systems

Synchronization among activities in a workflow using extended workflow Petri nets

Modeling Grid Workflows with Colored Petri Nets ⋆

Transition System Semantics of DFL as a Scientific Workflow Language