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 条
  • [31] A component-based framework for integrated messaging services
    Kogiomtzis, GN
    Martakos, D
    [J]. INFORMATION SYSTEMS DEVELOPMENT: ADVANCES IN METHODOLOGIES, COMPONENTS AND MANAGEMENT, 2002, : 437 - 448
  • [32] Cloud Computing based High-performance Platform in Enabling Scalable Services in Power System
    Deng, Chuang
    Liu, Junyong
    Liu, Yang
    Yu, Zhen
    [J]. 2016 12TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2016, : 2200 - 2203
  • [33] Smart Job Scheduling for High-Performance Cloud Computing Services
    Muhtaroglu, N.
    Ari, I.
    [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, GRID AND CLOUD COMPUTING FOR ENGINEERING, 2011, 95
  • [34] Implementation of Costing Model for High Performance Computing as a Services on the Cloud Environment
    Radadiya, Manojkumar H.
    Rohokale, Vandana
    [J]. INTERNATIONAL CONFERENCE ON ADVANCES IN INFORMATION COMMUNICATION TECHNOLOGY & COMPUTING, 2016, 2016,
  • [35] Performance prediction of component-based applications
    Chen, SP
    Yan, L
    Gorton, I
    Liu, A
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2005, 74 (01) : 35 - 43
  • [36] Stateful component-based performance models
    Lucia Happe
    Barbora Buhnova
    Ralf Reussner
    [J]. Software & Systems Modeling, 2014, 13 : 1319 - 1343
  • [37] Stateful component-based performance models
    Happe, Lucia
    Buhnova, Barbora
    Reussner, Ralf
    [J]. SOFTWARE AND SYSTEMS MODELING, 2014, 13 (04): : 1319 - 1343
  • [38] Middleware based context management for the component-based pervasive computing
    Zheng, Di
    Wang, Jun
    Jia, Yan
    Han, Wei-Hong
    Zou, Peng
    [J]. AUTONOMIC AND TRUSTED COMPUTING, PROCEEDINGS, 2007, 4610 : 71 - +
  • [39] A metalevel component-based framework for distributed computing applications
    Lai, ASY
    Beaumont, AJ
    [J]. FOURTH ANNUAL ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, PROCEEDINGS, 2005, : 268 - 273
  • [40] Performance analysis of component-based systems
    Zuberek, W. M.
    Bluemke, I.
    [J]. DEPCOS - RELCOMEX 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, 2008, : 293 - +
12345