Search Swinburne Research Bank
Home List of Titles On design, verification, and dynamic modification of the problem-based scientific workflow model
Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/25045
- On design, verification, and dynamic modification of the problem-based scientific workflow model
- Liu, Xiping; Dou, Wanchun; Chen, Jinjun; Fan, Shaokun; Cheung, S. C.; Cai, Shijie
- 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
- Simulation Modelling Practice and Theory, Vol. 15, no. 9 (2007), pp. 1068-1088
- Publication year
- Context data; Dynamic modification; Modelling; Scientific workflow; Verification
- Publisher URL
- Copyright © 2007 Elsevier B.V. All rights reserved.
- Peer reviewed