On design,verification, and dynamic modification of the problem-based scientific workflow model |
| |
| Affiliation: | 1. Software Engineering Group, Politecnico di Torino, Corso Duca degli Abruzzi, 24 - 10129, Turin, Italy;2. Telematics Engineering Group, Universidad del Cauca, Calle 5 No. 4 - 70, Popayán, Colombia;3. Information Technology Research and Development Group, Universidad del Cauca, Calle 5 No. 4 - 70, Popayán, Colombia;4. Engineering Faculty, Universidad de San Buenaventura, Cali, Colombia;5. Informatics Institute, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil;6. Department of Computer Science and Artificial Intelligence, Universidad de Granada, Avda. del Hospicio, s/n C.P. Granada, 18071, Spain;7. Department of Electrical and Computer Engineering, Faculty of Engineering, King Abdulaziz University, Jeddah 21589, Saudi Arabia;1. Université de Lorraine, LORIA UMR 7503, France;2. SiteMinder, Sydney, NSW 2000, Australia;3. Télécom SudParis, Samovar UMR 5157, France |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
