Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties

Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties

In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property description is Fluent Linear Time Temporal Logic. Fluents pr...

Full description

Bibliographic Details
Main Authors: Germán Regis, Fernando Villar, Nicolás Ricci
Format: Article
Language:English
Published: Open Publishing Association 2014-01-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1401.0971v1
id doaj-567d5e11866a4c7ab24194921e5816d6
record_format Article
spelling doaj-567d5e11866a4c7ab24194921e5816d62020-11-24T21:25:50ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-01-01139Proc. LAFM 2013465110.4204/EPTCS.139.4:2Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow PropertiesGermán Regis0Fernando Villar1Nicolás Ricci2 UNRC - Argentina UNRC - Argentina UNRC - Argentina In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property description is Fluent Linear Time Temporal Logic. Fluents provide an adequate flexibility for capturing properties of workflows. Both the model and the properties are encoded, in an automated way, as Labelled Transition Systems, and the analysis is reduced to model checking.http://arxiv.org/pdf/1401.0971v1
collection DOAJ
language English
format Article
sources DOAJ
author Germán Regis
Fernando Villar
Nicolás Ricci
spellingShingle Germán Regis
Fernando Villar
Nicolás Ricci
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
Electronic Proceedings in Theoretical Computer Science
author_facet Germán Regis
Fernando Villar
Nicolás Ricci
author_sort Germán Regis
title Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
title_short Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
title_full Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
title_fullStr Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
title_full_unstemmed Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
title_sort fluent logic workflow analyser: a tool for the verification of workflow properties
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2014-01-01
description In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property description is Fluent Linear Time Temporal Logic. Fluents provide an adequate flexibility for capturing properties of workflows. Both the model and the properties are encoded, in an automated way, as Labelled Transition Systems, and the analysis is reduced to model checking.
url http://arxiv.org/pdf/1401.0971v1
work_keys_str_mv AT germanregis fluentlogicworkflowanalyseratoolfortheverificationofworkflowproperties
AT fernandovillar fluentlogicworkflowanalyseratoolfortheverificationofworkflowproperties
AT nicolasricci fluentlogicworkflowanalyseratoolfortheverificationofworkflowproperties
_version_ 1725982412927664128

Similar Items