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

Autores
Rabinovich, Ariel Iván; Ventre, Luis O.; Micolini, Orlando
Año de publicación
2019
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
XI Workshop Innovación en Sistemas de Software.
Red de Universidades con Carreras en Informática
Materia
Ciencias Informáticas
Red de Petri
Sistema Reactivo
Programación Concurrente
Concurrencia
Modelo
Frameworks
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/91153
Acceder
id SEDICI_5e47b49a8a3a76f28dd1cce8710262ad
oai_identifier_str oai:sedici.unlp.edu.ar:10915/91153
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventosRabinovich, Ariel IvánVentre, Luis O.Micolini, OrlandoCiencias InformáticasRed de PetriSistema ReactivoProgramación ConcurrenteConcurrenciaModeloFrameworksEnsuring 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.XI Workshop Innovación en Sistemas de Software.Red de Universidades con Carreras en Informática2019-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf960-969http://sedici.unlp.edu.ar/handle/10915/91153spainfo:eu-repo/semantics/altIdentifier/isbn/978-987-688-377-1info:eu-repo/semantics/reference/hdl/10915/90359info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:19:03Zoai:sedici.unlp.edu.ar:10915/91153Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:19:03.582SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos
title Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos
spellingShingle Baboon, framework conducido por red de Petri para sistemas reactivos dirigidos por eventos
Rabinovich, Ariel Iván
Ciencias Informáticas
Red de Petri
Sistema Reactivo
Programación Concurrente
Concurrencia
Modelo
Frameworks
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
dc.creator.none.fl_str_mv Rabinovich, Ariel Iván
Ventre, Luis O.
Micolini, Orlando
author Rabinovich, Ariel Iván
author_facet Rabinovich, Ariel Iván
Ventre, Luis O.
Micolini, Orlando
author_role author
author2 Ventre, Luis O.
Micolini, Orlando
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Red de Petri
Sistema Reactivo
Programación Concurrente
Concurrencia
Modelo
Frameworks
topic Ciencias Informáticas
Red de Petri
Sistema Reactivo
Programación Concurrente
Concurrencia
Modelo
Frameworks
dc.description.none.fl_txt_mv 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.
XI Workshop Innovación en Sistemas de Software.
Red de Universidades con Carreras en Informática
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.
publishDate 2019
dc.date.none.fl_str_mv 2019-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/91153
url http://sedici.unlp.edu.ar/handle/10915/91153
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-987-688-377-1
info:eu-repo/semantics/reference/hdl/10915/90359
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
960-969
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616064402456576
score 13.070432

Publicaciones similares