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

Guardado en:
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

Ejemplares similares

Ejemplares similares