WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition

被引：4

作者：

Papapanagiotou, Petros ^{[1
]}

Fleuriot, Jacques ^{[1
]}

机构：

[1] Univ Edinburgh, Sch Informat, 10 Crichton St, Edinburgh EH8 9AB, Midlothian, Scotland

来源：

AUTOMATED DEDUCTION - CADE 26 | 2017年 / 10395卷

基金：

英国工程与自然科学研究理事会;

关键词：

Process modelling; Workflows; Theorem proving; Classical linear logic; LINEAR LOGIC; HEALTH-CARE; PROPOSITIONS;

D O I：

10.1007/978-3-319-63046-5_22

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present a logic-based system for process specification and composition named WorkflowFM. It relies on an embedding of Classical Linear Logic and the so-called proofs-as-processes paradigm within the proof assistant HOL Light. This enables the specification of abstract processes as logical sequents and their composition via formal proof. The result is systematically translated to an executable workflow with formally verified consistency, rigorous resource accounting, and deadlock freedom. The 3-tiered server/client architecture of WorkflowFM allows multiple concurrent users to interact with the system through a purely diagrammatic interface, while the proof is performed automatically on the server.

引用

页码：357 / 370

页数：14

共 50 条

[1] LOGIC-BASED SPECIFICATION OF VISIBILITY RULES
POETZSCHHEFFTER, A
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 63 - 74
[2] A Temporal Logic-Based Measurement Framework for Process Mining
Cecconi, Alessio
De Giacomo, Giuseppe
Di Ciccio, Claudio
Maggi, Fabrizio Maria
Mendling, Jan
2020 2ND INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2020), 2020, : 113 - 120
[3] Logic-based approaches to formal argumentation
Arieli, Ofer
Borg, Annemarie
Heyninck, Jesse
Strasser, Christian
Journal of Applied Logics, 2021, 8 (06): : 1793 - 1898
[4] LOGIC-BASED APPROACHES TO FORMAL ARGUMENTATION
Arieli, Ofer
Borg, Anne Marie
Heyninck, Jesse
Strasser, Christian
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (06): : 1793 - 1898
[5] A Formal Analysis of Logic-Based Argumentation Systems
Amgoud, Leila
Besnard, Philippe
SCALABLE UNCERTAINTY MANAGEMENT, SUM 2010, 2010, 6379 : 42 - 55
[6] Logic-based formal analysis of cryptographic protocols
Muhammad, Shahabuddin
Furqan, Zeeshan
Guha, Ratan K.
ICON: 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKS, VOLS 1 AND 2, PROCEEDINGS: NETWORKING -CHALLENGES AND FRONTIERS, 2006, : 300 - +
[7] Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability
Greco, Gianluigi
Manna, Marco
ARTIFICIAL INTELLIGENCE, 2024, 332
[8] A Fuzzy Logic-Based Framework for Statistical Process Control in Additive Manufacturing
Sahin, Atakan
Rey, Pilar
Panoutsos, George
ADVANCES IN COMPUTATIONAL INTELLIGENCE SYSTEMS, UKCI 2022, 2024, 1454 : 61 - 72
[9] A logic-based framework for shape representation
Damski, JC
Gero, JS
COMPUTER-AIDED DESIGN, 1996, 28 (03) : 169 - 181
[10] Logic-based specification languages for intelligent software agents
Mascardi, V
Martelli, M
Sterling, L
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 429 - 494

← 1 2 3 4 5 →