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 条
  • [21] PRONTO - Ontology-based evaluation of knowledge based systems
    Bench-Capon, TJM
    Jones, DM
    [J]. VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 93 - 112
  • [22] Ontology-based requirement verification for complex systems
    Chen, Ruirui
    Chen, Chun-Hsien
    Liu, Yusheng
    Ye, Xiaoping
    [J]. ADVANCED ENGINEERING INFORMATICS, 2020, 46 (46)
  • [23] Ontology-Based Trace Retrieval
    Li, Yonghua
    Cleland-Huang, Jane
    [J]. 2013 7TH INTERNATIONAL WORKSHOP ON TRACEABILITY IN EMERGING FORMS OF SOFTWARE ENGINEERING (TEFSE), 2013, : 30 - 36
  • [24] Ontology-based situation awareness
    Kokar, Mieczyslaw M.
    Matheus, Christopher J.
    Baclawski, Kenneth
    [J]. INFORMATION FUSION, 2009, 10 (01) : 83 - 98
  • [25] Ontology-based web crawler
    Ganesh, S
    Jayaraj, M
    Kalyan, V
    Murthy, S
    Aghila, G
    [J]. ITCC 2004: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 2, PROCEEDINGS, 2004, : 337 - 341
  • [26] Ontology-based process merging
    Zhu, Peng
    Li, Chenghai
    Huang, Biqing
    Wu, Cheng
    Wu, Yun
    [J]. Qinghua Daxue Xuebao/Journal of Tsinghua University, 2012, 52 (05): : 648 - 654
  • [27] On Ontology-Based Diagnosis and Defeasibibity
    Obeid, Nadim
    Rawashdeh, Enas
    Alduweib, Eman
    Moubaiddin, Asma
    [J]. 2016 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE & COMPUTATIONAL INTELLIGENCE (CSCI), 2016, : 57 - 62
  • [28] Ontology-Based Method Engineering
    Niknafs, Ali
    Asadi, Mohsen
    Abolhassani, Hassan
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (08): : 282 - 287
  • [29] Ontology-based Knowledge Retrieval
    Diez-Rodriguez, Hector
    Morales-Luna, Guillermo
    Olmedo-Aguirre, Jose Oscar
    [J]. PROCEEDINGS OF THE SPECIAL SESSION OF THE SEVENTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE - MICAI 2008, 2008, : 23 - +
  • [30] An Ontology-based LBS System
    Liu, Dong
    Chen, Junliang
    Guo, Jie
    [J]. 2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 4973 - 4976
12345