scispace - formally typeset
Open AccessJournal ArticleDOI

A component-based framework for certification of components in a cloud of HPC services

Allberson Bruno de Oliveira Dantas, +2 more
- 01 Jun 2020 - 
- Vol. 191, pp 102379
Reads0
Chats0
TLDR
A Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf is presented, aimed at providing higher confidence that components of parallel computing systems of HPC shelf behave as expected according to one or more requirements expressed in their contracts.
About: 
This article is published in Science of Computer Programming.The article was published on 2020-06-01 and is currently open access. It has received 4 citations till now. The article focuses on the topics: Cloud computing & Certification.

read more

Figures
Citations
More filters
Journal ArticleDOI

Multi-Dimensional Certification of Modern Distributed Systems

Marco Anisetti, +2 more
- 01 May 2023 - 
TL;DR: In this paper , a multi-dimensional certification scheme for service selection in cloud computing is presented, where additional dimensions model relevant aspects (e.g., programming languages and development processes) that significantly contribute to the quality of the results.
Journal ArticleDOI

Componentes de alto rendimiento para la plataforma Bonita BPM

Darwin Stalin Ramírez Supe
TL;DR: The need to incorporate componentes personalizados in plataformas empresariales cuyas ediciones al publico en general son libres and limitados de caracteristicas that solo cuentan las edicione premium or pagadas is a hot topic of discussion among programadores as mentioned in this paper.
Journal ArticleDOI

Multi-Dimensional Certification of Modern Distributed Systems

- 01 Jan 2022 - 
TL;DR: In this article , a multi-dimensional certification scheme for service selection in cloud computing is presented, where additional dimensions model relevant aspects (e.g., programming languages and development processes) that significantly contribute to the quality of the certification results.
Proceedings Article

LTL Model Cheking of Service-Based Business Processes in the Cloud.

Kais Klai, +1 more
TL;DR: In this article, the authors propose a bottom-up approach to check the correct interaction between different service-based business processes distributed over a cloud environment and which may be provided by various organizations.
References
More filters
Proceedings ArticleDOI

Contextual Contracts for Component-Based Resource Abstraction in a Cloud of HPC Services

Wagner Al Alam, +1 more
TL;DR: Alite, the system of contextual contracts of HPC Shelf, aimed at selecting component implementations according to requirements of applications, features of targeting parallel computing platforms (e.g. clusters), QoS (Quality-of-Service) properties and cost restrictions is introduced.
Book ChapterDOI

A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements

Hamid R. Motahari Nezhad, +4 more
TL;DR: This paper presents a novel framework for provider-side cloud solution design based on model-driven and formal methods that facilitates the job of automated solution generation, starting from client requirements and resulting in a complete and correct cloud solution.
Related Papers (5)

Container orchestration on HPC systems through Kubernetes

Naweiluo Zhou, +8 more
- 01 Dec 2021 - 

A Middleware for Managing Non-Functional Requirements in Cloud PaaS

Lars Braubach, +2 more

Modeling Cloud Software-As-A-Service: A Perspective

Ritu Sharma, +1 more
- 01 Jan 2012 - 

An integration experience of a software architecture and a monitoring infrastructure to deploy applications with non-functional requirements in computing grids

Alexandre Sztajnberg, +3 more
- 01 Jan 2011 - 

Software defined environments: an introduction

Chung-Sheng Li, +13 more
- 01 Mar 2014 - 
Frequently Asked Questions (1)
Q1. What are the contributions in "A component-based framework for certification of components in a cloud of hpc services" ?

In this paper, the authors propose a certification framework for HPC Shelf, a cloud-based general-purpose certification framework.