75728 20191122145052.0 doi 10.1109/ACCESS.2018.2878043 sideral 108319 ART-2018-108319 eng (orcid)0000-0001-5549-7649 Fabra Caro, Francisco Javier Universidad de Zaragoza Behavioral analysis of scientific workflows with semantic information 2018 Access copy available to the general public Unrestricted 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. info:eu-repo/grantAgreement/ES/MINECO/TIN2014-56633-C3-2-R info:eu-repo/grantAgreement/ES/MINECO/TIN2017-84796-C2-2-R info:eu-repo/grantAgreement/ES/UZ/JIUZ-2015-TEC-04 info:eu-repo/semantics/openAccess All rights reserved http://www.europeana.eu/rights/rr-f/ 4.098 2018 COMPUTER SCIENCE, INFORMATION SYSTEMS 23 / 155 = 0.148 2018 Q1 T1 TELECOMMUNICATIONS 19 / 88 = 0.216 2018 Q1 T1 ENGINEERING, ELECTRICAL & ELECTRONIC 52 / 265 = 0.196 2018 Q1 T1 0.609 2018 Computer Science (miscellaneous) 2018 Q1 Materials Science (miscellaneous) 2018 Q1 Engineering (miscellaneous) 2018 Q1 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Ibáñez, María José (orcid)0000-0002-6584-7259 Álvarez, Pedro Universidad de Zaragoza (orcid)0000-0002-9622-8186 Ezpeleta, Joaquín Universidad de Zaragoza 5007 570 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Lenguajes y Sistemas Inf. 6, 2018 (2018), 6630-46 IEEE Access IEEE Access 2169-3536 9857555 http://zaguan.unizar.es/record/75728/files/texto_completo.pdf Versión publicada 123102 http://zaguan.unizar.es/record/75728/files/texto_completo.jpg?subformat=icon icon Versión publicada oai:zaguan.unizar.es:75728 articulos driver 2019-11-22-14:43:39 ARTICLE