Paper Info
Title
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.
Abstract
The orchestration of high performance computing (HPC) services to build scientific applications is based on complex workflows. A challenging task consists of improving the reliability of such workflows, avoiding faulty behaviors that can lead to bad consequences in practice. This paper introduces a certifier component for certifying scientific workflows in a certification framework proposed for HPC Shelf, a cloud-based platform for HPC in which different kinds of users can design, deploy and execute scientific applications. This component is able to inspect the workflow description of a parallel computing system of HPC Shelf and check its consistency with respect to a number of safety and liveness properties specified by application designers and component developers.
Year
DOI
Venue
2017
10.1007/978-3-319-68034-7_12
Lecture Notes in Computer Science
Field
DocType
Volume
Services computing,Software engineering,Supercomputer,Computer science,Certification,Orchestration (computing),Workflow,Cloud computing,Liveness
Conference
10487
ISSN
Citations 
PageRank 
0302-9743
1
0.35
References 
Authors
9
3
Name
Order
Citations
PageRank
Allberson B. de Oliveira Dantas110.35
Francisco Heron de Carvalho-Junior24914.05
Luís Soares Barbosa321437.74