Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal
- Autores
- Medel, Ricardo; Baum, Gabriel Alfredo
- Año de publicación
- 2001
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar al sistema RELVIEW, el cual permite verificar automáticamente si dichas propiedades se verifican en el sistema diseñado.
Eje: Teoría
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Models
Algebras Fork
Software
Lógica Modal
sistemas especificados - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/23538
Ver los metadatos del registro completo
id |
SEDICI_edcaa5df1876371335fa6ca04c58ed1e |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/23538 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modalMedel, RicardoBaum, Gabriel AlfredoCiencias InformáticasModelsAlgebras ForkSoftwareLógica Modalsistemas especificadosEn este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar al sistema RELVIEW, el cual permite verificar automáticamente si dichas propiedades se verifican en el sistema diseñado.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI)2001-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/23538spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:18Zoai:sedici.unlp.edu.ar:10915/23538Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:19.009SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
spellingShingle |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal Medel, Ricardo Ciencias Informáticas Models Algebras Fork Software Lógica Modal sistemas especificados |
title_short |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title_full |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title_fullStr |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title_full_unstemmed |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
title_sort |
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal |
dc.creator.none.fl_str_mv |
Medel, Ricardo Baum, Gabriel Alfredo |
author |
Medel, Ricardo |
author_facet |
Medel, Ricardo Baum, Gabriel Alfredo |
author_role |
author |
author2 |
Baum, Gabriel Alfredo |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Models Algebras Fork Software Lógica Modal sistemas especificados |
topic |
Ciencias Informáticas Models Algebras Fork Software Lógica Modal sistemas especificados |
dc.description.none.fl_txt_mv |
En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar al sistema RELVIEW, el cual permite verificar automáticamente si dichas propiedades se verifican en el sistema diseñado. Eje: Teoría Red de Universidades con Carreras en Informática (RedUNCI) |
description |
En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar al sistema RELVIEW, el cual permite verificar automáticamente si dichas propiedades se verifican en el sistema diseñado. |
publishDate |
2001 |
dc.date.none.fl_str_mv |
2001-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/23538 |
url |
http://sedici.unlp.edu.ar/handle/10915/23538 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf |
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_ |
1842260121614286848 |
score |
13.13397 |