Fluent logic workflow analyser: a tool for the verification of workflow properties

G Regis, F Villar, N Ricci - arXiv preprint arXiv:1401.0971, 2014 - arxiv.org
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 …
被引用次数：4 相关文章
[PDF] meals-project.eu

[PDF][PDF] Fluent Logic Workflow Analyser: A tool for The Verification of Workflow Properties

G Regis, F Villar, N Ricci - meals-project.eu
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 …
[PDF] researchgate.net

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

G Regis, F Villar, N Ricci - researchgate.net
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 …

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

G Regis, F Villar, N Ricci - arXiv e-prints, 2014 - ui.adsabs.harvard.edu
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 …
[PDF] psu.edu

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

G Regis, F Villar, N Ricci - Citeseer
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 …
[PDF] archive.org

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

G Regis, F Villar, N Ricci - scholar.archive.org
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 …
[PDF] unsw.edu.au

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

G Regis, F Villar, N Ricci - eptcs.web.cse.unsw.edu.au
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 …
[PDF] github.io

[PDF][PDF] Fluent Logic Workflow Analyser: A tool for The Verification of Workflow Properties

G Regis, F Villar, N Ricci - gregistecco.github.io
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 …
[PDF] unsw.edu.au

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

G Regis, F Villar, N Ricci - cgi.cse.unsw.edu.au
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 …
[PDF] meals-project.eu

[PDF][PDF] Fluent Logic Workflow Analyser: A tool for The Verification of Workflow Properties

G Regis, F Villar, N Ricci - meals-project.eu
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 …