Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos

Ensuring that a concurrent program is correct means that during its execution no thread suffers starvation, no set of threads falls into a deadlock and their successive states lead to the solution. To assert this, it is necessary to appeal to formal methods. This paper proposes using a Petri Net as...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Rabinovich, Ariel Iván, Ventre, Luis O., Micolini, Orlando
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2019
Materias:
Ciencias Informáticas
Red de Petri
Sistema Reactivo
Programación Concurrente
Concurrencia
Modelo
Frameworks
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/91153
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-91153
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Red de Petri
Sistema Reactivo
Programación Concurrente
Concurrencia
Modelo
Frameworks
spellingShingle Ciencias Informáticas
Red de Petri
Sistema Reactivo
Programación Concurrente
Concurrencia
Modelo
Frameworks
Rabinovich, Ariel Iván
Ventre, Luis O.
Micolini, Orlando
Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos
topic_facet Ciencias Informáticas
Red de Petri
Sistema Reactivo
Programación Concurrente
Concurrencia
Modelo
Frameworks
description Ensuring that a concurrent program is correct means that during its execution no thread suffers starvation, no set of threads falls into a deadlock and their successive states lead to the solution. To assert this, it is necessary to appeal to formal methods. This paper proposes using a Petri Net as the logic of a reactive system, and its execution within a framework based on a concurrency monitor. It is put forward that the logical execution flow of the implemented system is driven by the execution of the model. Thus, the model transfers its properties to the system, which has been verified.
format Objeto de conferencia
Objeto de conferencia
author Rabinovich, Ariel Iván
Ventre, Luis O.
Micolini, Orlando
author_facet Rabinovich, Ariel Iván
Ventre, Luis O.
Micolini, Orlando
author_sort Rabinovich, Ariel Iván
title Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos
title_short Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos
title_full Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos
title_fullStr Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos
title_full_unstemmed Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos
title_sort baboon, framework conducido por red de petri para sistemas reactivos dirigidos por eventos
publishDate 2019
url http://sedici.unlp.edu.ar/handle/10915/91153
work_keys_str_mv AT rabinovicharielivan baboonframeworkconducidoporreddepetriparasistemasreactivosdirigidosporeventos
AT ventreluiso baboonframeworkconducidoporreddepetriparasistemasreactivosdirigidosporeventos
AT micoliniorlando baboonframeworkconducidoporreddepetriparasistemasreactivosdirigidosporeventos
bdutipo_str Repositorios
_version_ 1764820490743971844

Ejemplares similares