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 条

[41] Logic and logic-based control
Qi H.
Cheng D.
J. Control Theory Appl., 2008, 1 (26-36): : 26 - 36
[42] A logic-based requirements language for the specification and analysis of real-time systems
Tsai, JJP
Weigert, T
SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 8 - 16
[43] Logic-based specification and verification of homogeneous dynamic multi-agent systems
Riccardo De Masellis
Valentin Goranko
Autonomous Agents and Multi-Agent Systems, 2020, 34
[44] Logic-based specification and verification of homogeneous dynamic multi-agent systems
De Masellis, Riccardo
Goranko, Valentin
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2020, 34 (02)
[45] A Rewriting Logic Approach to OWL-S Composite Process Formal Specification
Wu, JunFeng
Miao, HuaiKou
2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 343 - 348
[46] SUBJECTIVE LOGIC-BASED FRAMEWORK FOR THE EVALUATION OF WEB SERVICES' SECURITY
Juszczyszyn, Krzysztof
COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 838 - 843
[47] A Logic-Based Physical Simulation Framework for Digital Microfluidic Biochips
Madsen, Joel August Vest
Jackson, Carl Alexander
Collignon, Alexander Marc
Madsen, Jan
Pezzarossa, Luca
EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2024, PT II, 2025, 15227 : 1 - 16
[48] Agent Factory: A Framework for Prototyping Logic-Based AOP Languages
Russell, Sean
Jordan, Howell
O'Hare, Gregory M. P.
Collier, Rem W.
MULTIAGENT SYSTEM TECHNOLOGIES, 2011, 6973 : 125 - +
[49] LARS: A Logic-Based Framework for Analyzing Reasoning over Streams
Beck, Harald
Minh Dao-Tran
Eiter, Thomas
Fink, Michael
PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1431 - 1438
[50] A logic-based framework for mobile multi-agent systems
Kawamura, T
Kinoshita, S
Sugahara, K
Kuwatani, T
INTERNATIONAL CONFERENCE ON INTEGRATION OF KNOWLEDGE INTENSIVE MULTI-AGENT SYSTEMS: KIMAS'03: MODELING, EXPLORATION, AND ENGINEERING, 2003, : 754 - 759

← 1 2 3 4 5 →