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 条
  • [31] Ontology-based mappings
    Mecca, Giansalvatore
    Rull, Guillem
    Santoro, Donatello
    Teniente, Ernest
    DATA & KNOWLEDGE ENGINEERING, 2015, 98 : 8 - 29
  • [32] Ontology-based metadata
    Department of Geography, Simon Fraser University, Burnaby, BC V5A 1S6, Canada
    Trans. GIS, 2006, 5 (709-726):
  • [33] Interactive NLU-Powered Ontology-Based Workflow Synthesis for FAIR Support of HPC
    Nan, Zifan
    Dave, Mithil
    Shen, Xipeng
    Liao, Chunhua
    Vanderbruggen, Tristan
    Lin, Pei-Hung
    Emani, Murali
    2022 IEEE/ACM INTERNATIONAL WORKSHOP ON HPC USER SUPPORT TOOLS (HUST), 2022, : 29 - 40
  • [34] Toward the Ontology-Based Security Verification and Validation Model for the Vehicular Domain
    Shaaban, Abdelkader Magdy
    Schmittner, Christoph
    Quirchmayr, Gerald
    Mohamed, A. Baith
    Gruber, Thomas
    Schikuta, Erich
    NEURAL INFORMATION PROCESSING (ICONIP 2019), PT IV, 2019, 1142 : 521 - 529
  • [35] Ontology-Based Trace Retrieval
    Li, Yonghua
    Cleland-Huang, Jane
    2013 7TH INTERNATIONAL WORKSHOP ON TRACEABILITY IN EMERGING FORMS OF SOFTWARE ENGINEERING (TEFSE), 2013, : 30 - 36
  • [36] Ontology-based web crawler
    Ganesh, S
    Jayaraj, M
    Kalyan, V
    Murthy, S
    Aghila, G
    ITCC 2004: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 2, PROCEEDINGS, 2004, : 337 - 341
  • [37] Ontology-based situation awareness
    Kokar, Mieczyslaw M.
    Matheus, Christopher J.
    Baclawski, Kenneth
    INFORMATION FUSION, 2009, 10 (01) : 83 - 98
  • [38] Ontology-based user profiling
    Felden, Carsten
    Linden, Markus
    BUSINESS INFORMATION SYSTEMS, PROCEEDINGS, 2007, 4439 : 314 - +
  • [39] Ontology-based skills management
    Dittmann, L
    Zelewski, S
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IV, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS: I, 2004, : 190 - 195
  • [40] Ontology-Based Model Abstraction
    Guizzardi, Giancarlo
    Figueiredo, Guylerme
    Hedblom, Maria M.
    Poels, Geert
    2019 13TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2019, : 201 - 213
12345