Fluent Logic Workflow Analyser：一个工作流属性验证工具
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
摘要：
在本文中，我们提出的设计和实现，以及一个用例，工作流分析工具。该工具为工作流模型的属性规范提供了一个助手。用于属性描述的规约语言是流畅的线性时间时态逻辑。Fluents为捕获工作流的属性提供了足够的灵活性。模型和属性都以自动化的方式编码为标记转换系统，分析被简化为模型检验。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
