On design, verification, and dynamic modification of the problem-based scientific workflow model

Search Swinburne Research Bank

Home

List of Titles

Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/25045

Check Swinburne's subscriptions for full text availability

Title: On design, verification, and dynamic modification of the problem-based scientific workflow model
Author(s): Liu, Xiping; Dou, Wanchun; Chen, Jinjun; Fan, Shaokun; Cheung, S. C.; Cai, Shijie
Abstract: A science process is a process to solve complex scientific problems which usually have no mature solving methods. Science processes if modeled in workflow forms, i.e. scientific workflows, can be managed more effectively and performed more automatically. However, most current workflow models seldom take account of specific characteristics of science processes and are not very suitable for modeling scientific workflows. Therefore, a new workflow model named problem-based scientific workflow model (PBSWM) is proposed in this paper to accommodate those specific characteristics. Corresponding soundness verification and dynamic modification are discussed accordingly based on the new modelling method. This paper makes three main contributions: (1) three new constructs are proposed for special logic semantics in science processes; (2) verification is deployed with the consideration from both data-specific perspective and control-specific perspective; and (3) a set of rules are provided to automatically infer passive modifications caused by other modifications.
Publication type: Journal article
Research centre: Swinburne University of Technology. Faculty of Information and Communication Technologies
Source: Simulation Modelling Practice and Theory, Vol. 15, no. 9 (2007), pp. 1068-1088
Publication year: 2007
Keyword(s): Context data; Dynamic modification; Modelling; Scientific workflow; Verification
Publisher: Elsevier
ISSN: 1569-190X
Publisher URL: http://dx.doi.org/10.1016/j.simpat.2007.06.003
Peer reviewed