000075728 001__ 75728
000075728 005__ 20191122145052.0
000075728 0247_ $$2doi$$a10.1109/ACCESS.2018.2878043
000075728 0248_ $$2sideral$$a108319
000075728 037__ $$aART-2018-108319
000075728 041__ $$aeng
000075728 100__ $$0(orcid)0000-0001-5549-7649$$aFabra Caro, Francisco Javier$$uUniversidad de Zaragoza
000075728 245__ $$aBehavioral analysis of scientific workflows with semantic information
000075728 260__ $$c2018
000075728 5060_ $$aAccess copy available to the general public$$fUnrestricted
000075728 5203_ $$aThe 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.
000075728 536__ $$9info:eu-repo/grantAgreement/ES/MINECO/TIN2014-56633-C3-2-R$$9info:eu-repo/grantAgreement/ES/MINECO/TIN2017-84796-C2-2-R$$9info:eu-repo/grantAgreement/ES/UZ/JIUZ-2015-TEC-04
000075728 540__ $$9info:eu-repo/semantics/openAccess$$aAll rights reserved$$uhttp://www.europeana.eu/rights/rr-f/
000075728 590__ $$a4.098$$b2018
000075728 591__ $$aCOMPUTER SCIENCE, INFORMATION SYSTEMS$$b23 / 155 = 0.148$$c2018$$dQ1$$eT1
000075728 591__ $$aTELECOMMUNICATIONS$$b19 / 88 = 0.216$$c2018$$dQ1$$eT1
000075728 591__ $$aENGINEERING, ELECTRICAL & ELECTRONIC$$b52 / 265 = 0.196$$c2018$$dQ1$$eT1
000075728 592__ $$a0.609$$b2018
000075728 593__ $$aComputer Science (miscellaneous)$$c2018$$dQ1
000075728 593__ $$aMaterials Science (miscellaneous)$$c2018$$dQ1
000075728 593__ $$aEngineering (miscellaneous)$$c2018$$dQ1
000075728 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/publishedVersion
000075728 700__ $$aIbáñez, María José
000075728 700__ $$0(orcid)0000-0002-6584-7259$$aÁlvarez, Pedro$$uUniversidad de Zaragoza
000075728 700__ $$0(orcid)0000-0002-9622-8186$$aEzpeleta, Joaquín$$uUniversidad de Zaragoza
000075728 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Lenguajes y Sistemas Inf.
000075728 773__ $$g6, 2018 (2018), 6630-46$$pIEEE Access$$tIEEE Access$$x2169-3536
000075728 8564_ $$s9857555$$uhttps://zaguan.unizar.es/record/75728/files/texto_completo.pdf$$yVersión publicada
000075728 8564_ $$s123102$$uhttps://zaguan.unizar.es/record/75728/files/texto_completo.jpg?subformat=icon$$xicon$$yVersión publicada
000075728 909CO $$ooai:zaguan.unizar.es:75728$$particulos$$pdriver
000075728 951__ $$a2019-11-22-14:43:39
000075728 980__ $$aARTICLE