Behavioral analysis of scientific workflows with semantic information

Fabra Caro, Francisco Javier (Universidad de Zaragoza) ; Ibáñez, María José ; Álvarez, Pedro (Universidad de Zaragoza) ; Ezpeleta, Joaquín (Universidad de Zaragoza)

Resumen: The recent development in scientific computing related areas has shown an increasing interest in scientific workflows because of their abilities to solve complex challenges. Problems and challenges that were too heavy or time-consuming can be solved now in a more efficient manner. Scientific workflows have been progressively improved by means of the introduction of new paradigms and technologies, being the semantic area one of the most promising ones. This paper focuses on the addition of semantic Web techniques to the scientific workflow area, which facilitates the integration of network-based solutions. On the other hand, a model checking technique to study the workflow behavior prior to its execution is also described. Using the Unary RDF annotated Petri net formalism (U-RDF-PN), scientific workflows can be improved by adding semantic annotations related to the task descriptions and workflow evolution. This technique can be applied using a complete environment for the model checking of this kind of workflows that is also depicted in this work. Finally, the proposed methodology is exemplified by its application to a couple of known scientific workflows: the First Provenance Challenge and the InterScan protein analysis workflow.

Idioma: Inglés

DOI: 10.1109/ACCESS.2018.2878043

Año: 2018

Publicado en: IEEE Access 6, 2018 (2018), 6630-46
ISSN: 2169-3536

Factor impacto JCR: 4.098 (2018)

Categ. JCR: COMPUTER SCIENCE, INFORMATION SYSTEMS rank: 23 / 155 = 0.148 (2018) - Q1 - T1
Categ. JCR: TELECOMMUNICATIONS rank: 19 / 88 = 0.216 (2018) - Q1 - T1
Categ. JCR: ENGINEERING, ELECTRICAL & ELECTRONIC rank: 52 / 265 = 0.196 (2018) - Q1 - T1

Factor impacto SCIMAGO: 0.609 - Computer Science (miscellaneous) (Q1) - Materials Science (miscellaneous) (Q1) - Engineering (miscellaneous) (Q1)

Financiación: info:eu-repo/grantAgreement/ES/MINECO/TIN2014-56633-C3-2-R
Financiación: info:eu-repo/grantAgreement/ES/MINECO/TIN2017-84796-C2-2-R
Financiación: info:eu-repo/grantAgreement/ES/UZ/JIUZ-2015-TEC-04

Tipo y forma: Article (Published version)

Área (Departamento): Área Lenguajes y Sistemas Inf. (Dpto. Informát.Ingenie.Sistms.)