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
Book

The temporal logic of reactive and concurrent systems

Zohar Manna, +1 more
TL;DR: Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors as mentioned in this paper.
Proceedings ArticleDOI

Separation logic: a logic for shared mutable data structures

John C. Reynolds
TL;DR: An extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure is developed, including extensions that permit unrestricted address arithmetic, dynamically allocated arrays, and recursive procedures.
Journal ArticleDOI

Results on the propositional μ-calculus

Dexter Kozen
- 01 Jan 1983 - 
TL;DR: A propositional μ-calculus L μ is defined and study, which consists essentially of propositional modal logic with a least fixpoint operator that is syntactically simpler yet strictly more expressive than Propositional Dynamic Logic (PDL).
Journal ArticleDOI

Scientific Workflow Management and the Kepler System

Bertram Ludäscher, +9 more
- 25 Aug 2006 - 
TL;DR: Kepler as mentioned in this paper is a scientific workflow system, which is currently under development across a number of scientific data management projects and is a community-driven, open source project, and always welcome related projects and new contributors to join.
Book ChapterDOI

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Alessandro Cimatti, +7 more
TL;DR: This paper describes version 2 of the NuSMV tool, a state-of-the-art symbolic model checker designed to be applicable in technology transfer projects and is robust and close to industrial systems standards.
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.