Certification of Workflows in a Component-Based Cloud of High Performance Computing Services

被引：2
|
作者：
de Oliveira Dantas, Allberson B. [1 ]
Heron de Carvalho Junior, F. [1 ]
Barbosa, Luis S. [2 ,3 ]
机构：
[1] Univ Fed Ceara, MDCC, Campus Pici, Fortaleza, Ceara, Brazil
[2] Univ Minho, HASLab INESC TEC, Campus Gualtar, Braga, Portugal
[3] United Nations Univ, UNU EGOV, Guimaraes, Portugal
来源：
FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017) | 2017年 / 10487卷
关键词：
D O I：
10.1007/978-3-319-68034-7_12
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：198 / 215
页数：18
相关论文
共 50 条
  • [1] A component-based framework for certification of components in a cloud of HPC services
    de Oliveira Dantas, Allberson Bruno
    de Carvalho Junior, Francisco Heron
    Barbosa, Luis Soares
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2020, 191
  • [2] A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
    de Oliveira Dantas, Allberson Bruno
    de Carvalho Junior, Francisco Heron
    Barbosa, Luis Soares
    [J]. CLOSER: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, 2017, : 201 - 212
  • [3] Web services: Beyond component-based computing
    Stal, M
    [J]. COMMUNICATIONS OF THE ACM, 2002, 45 (10) : 71 - 76
  • [4] Component-based software for high-performance scientific computing
    Alexeev, Y
    Allan, BA
    Armstrong, RC
    Bernholdt, DE
    Dahlgren, TL
    Gannon, D
    Janssen, CL
    Kenny, JP
    Krishnan, M
    Kohl, JA
    Kumfert, G
    McInnes, LC
    Nieplocha, J
    Parker, SG
    Rasmussen, C
    Windus, TL
    [J]. SCIDAC 2005: SCIENTIFIC DISCOVERY THROUGH ADVANCED COMPUTING, 2005, 16 : 536 - 540
  • [5] Robustness improvement of component-based cloud computing systems
    Mounya Smara
    Makhlouf Aliouat
    Saad Harous
    Al-Sakib Khan Pathan
    [J]. The Journal of Supercomputing, 2022, 78 : 4977 - 5009
  • [6] Robustness improvement of component-based cloud computing systems
    Smara, Mounya
    Aliouat, Makhlouf
    Harous, Saad
    Pathan, Al-Sakib Khan
    [J]. JOURNAL OF SUPERCOMPUTING, 2022, 78 (04): : 4977 - 5009
  • [7] Reproducible Scientific Workflows for High Performance and Cloud Computing
    Bartusch, Felix
    Hanussek, Maximilian
    Krueger, Jens
    Kohlbacher, Oliver
    [J]. 2019 19TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID), 2019, : 161 - 164
  • [8] High-level service connectors for component-based high performance computing
    de Carvalho-Junior, Francisco Heron
    Correa, Ricardo Cordeiro
    Araujo, Gisele Azevedo
    Silva, Jefferson Carvalho
    Lins, Rafael Duelre
    [J]. 19TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 2007, : 237 - +
  • [9] Communication infrastructure in high-performance component-based scientific computing
    Bernholdt, DE
    Elwasif, WR
    Kohl, JA
    [J]. RECENT ADVANCES IN PARALLEL VITUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2002, 2474 : 260 - 270
  • [10] A component-based middleware for hybrid grid/cloud computing platforms
    Manias, Elton
    Baude, Francoise
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2012, 24 (13): : 1461 - 1477
12345