Especificación y verificación de propiedades sobre workflows con lógica de fluentes

En el presente trabajo proponemos el uso de una l ógica temporal conocida, fluent linear temporal logic (FLTL), para expresar formalmente propiedades sobre flujos de trabajo (work ows). Creemos que esta l ógica es adecuada para dicha tarea, ya que el uso de fluentes nos permite caracterizar de maner...

Descripción completa

Detalles Bibliográficos
Autores principales: Ricci, Nicolás, Regis, Germán, Aguirre, Nazareno Matías
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
workflows
lógica de fluentes
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23716
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23716
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
SOFTWARE ENGINEERING
workflows
lógica de fluentes
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
workflows
lógica de fluentes
Ricci, Nicolás
Regis, Germán
Aguirre, Nazareno Matías
Especificación y verificación de propiedades sobre workflows con lógica de fluentes
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
workflows
lógica de fluentes
description En el presente trabajo proponemos el uso de una l ógica temporal conocida, fluent linear temporal logic (FLTL), para expresar formalmente propiedades sobre flujos de trabajo (work ows). Creemos que esta l ógica es adecuada para dicha tarea, ya que el uso de fluentes nos permite caracterizar de manera flexible estados abtractos para represetación de actividades y restricciones sobre work ows. Con el n de utilizar herramientas autom áticas para el an álisis de estas propiedades, nos focalizamos en una caracterizacióon de workflows como sistemas de transici ón de estados etiquetados, que modela las tareas de un modo conveniente y aprovecha las f órmulas de FLTL. M as a un, auto- matizamos la codi ficaci ón y empleamos model checking, utilizando LTSA (Labeled Transition System Analyzer), para garantizar que un work ow satisface una propiedad dada, o en caso contrario, generar una ejecuci ón que exhiba la violaci ón de la misma.
format Objeto de conferencia
Objeto de conferencia
author Ricci, Nicolás
Regis, Germán
Aguirre, Nazareno Matías
author_facet Ricci, Nicolás
Regis, Germán
Aguirre, Nazareno Matías
author_sort Ricci, Nicolás
title Especificación y verificación de propiedades sobre workflows con lógica de fluentes
title_short Especificación y verificación de propiedades sobre workflows con lógica de fluentes
title_full Especificación y verificación de propiedades sobre workflows con lógica de fluentes
title_fullStr Especificación y verificación de propiedades sobre workflows con lógica de fluentes
title_full_unstemmed Especificación y verificación de propiedades sobre workflows con lógica de fluentes
title_sort especificación y verificación de propiedades sobre workflows con lógica de fluentes
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/23716
work_keys_str_mv AT riccinicolas especificacionyverificaciondepropiedadessobreworkflowsconlogicadefluentes
AT regisgerman especificacionyverificaciondepropiedadessobreworkflowsconlogicadefluentes
AT aguirrenazarenomatias especificacionyverificaciondepropiedadessobreworkflowsconlogicadefluentes
bdutipo_str Repositorios
_version_ 1764820466122358787

Ejemplares similares