Ontology-Based Workflow Validation

被引：0

作者：

Tuan Anh Pham ^{[1
]}

Thi-Hoa-Hue Nguyen ^{[1
]}

Nhan Le Thanh ^{[1
]}

机构：

[1] Univ Nice Sophia Antipolis, WIMMICS I3S, CNRS, INRIA, Sophia Antipolis, France

来源：

2015 IEEE RIVF INTERNATIONAL CONFERENCE ON COMPUTING & COMMUNICATION TECHNOLOGIES - RESEARCH, INNOVATION, AND VISION FOR THE FUTURE (RIVF) | 2015年

关键词：

Workflow; Ontology; Coloured Petri Net; Workflow verification; SEMANTIC CONSTRAINTS; VERIFICATION;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In order to ensure a workflow to be executed correctly, many approaches were introduced. But not many of them consider the semantic correctness of the workflow in the design time and the run time. In this paper, a solution to check the semantic correctness of the workflow automatically is presented. To do that, the workflow must be represented in a machine understandable form, an ontology-based approach to represent a workflow is proposed. In addition, we also provide a set of changed operations allowing the users to customize a workflow for using in their organizations. Their change can be made while ensuring the correctness of the workflow. Moreover, a verification method is proposed for checking the semantic correctness of workflow.

引用

页码：41 / 46

页数：6

共 50 条

[11] Ontology-based validation and identification of regulatory phenotypes
Kulmanov, Maxat
Schofield, Paul N.
Gkoutos, Georgios V.
Hoehndorf, Robert
BIOINFORMATICS, 2018, 34 (17) : 857 - 865
[12] Towards Ontology-Based Validation of EA Principles
Montecchiari, Devid
Hinkelmann, Knut
PRACTICE OF ENTERPRISE MODELING, POEM 2022, 2022, 456 : 66 - 81
[13] An Ontology-based Workflow Model Supporting Collaborative Product Development
Zeng, Qingliang
Ye, Tieli
Wan, Lirong
Lv, Kun
MECHATRONICS AND INTELLIGENT MATERIALS, PTS 1 AND 2, 2011, 211-212 : 310 - +
[14] Grid workflow validation using ontology-based tacit knowledge: A case Study for quantitative remote sensing applications
Liu, Jia
Liu, Longli
Xue, Yong
Dong, Jing
Hu, Yincui
Hill, Richard
Guang, Jie
Li, Chi
COMPUTERS & GEOSCIENCES, 2017, 98 : 46 - 54
[15] Computationally intelligent workflow for improved psychotherapy interventions: an ontology-based approach
Vidanage K.
Noor N.M.M.
Sathsara S.
International Journal of Information Technology, 2024, 16 (7) : 4335 - 4342
[16] Formal Validation Techniques for Ontology-based Device Descriptions
Rieckhof, Federico
Dibowski, Henrik
Kabitzsch, Klaus
2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
[17] Automating Knowledge Discovery Workflow Composition Through Ontology-Based Planning
Zakova, Monika
Kremen, Petr
Zelezny, Filip
Lavrac, Nada
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) : 253 - 264
[18] Ontology-based Information Extraction for Knowledge Enrichment and Validation
Fudholi, Dhomas Hatta
Rahayu, Wenny
Pardede, Eric
IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS IEEE AINA 2016, 2016, : 1116 - 1123
[19] Ontology-based verification and validation of federated database systems
Masood, N
Eaglestone, B
VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 327 - 341
[20] Discordance Detection in Regional Ordinance: Ontology-based Validation
Hagiwara, Shingo
Tojo, Satoshi
LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2006, 152 : 111 - 120

← 1 2 3 4 5 →