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] Ontology-Based Model for Automotive Security Verification and Validation
    Shaaban, Abdelkader Magdy
    Schmittner, Christoph
    Gruber, Thomas
    Mohamed, A. Baith
    Quirchmayr, Gerald
    Schikuta, Erich
    IIWAS2019: THE 21ST INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES, 2019, : 73 - 82
  • [22] Validation of an Agent and Ontology-Based Information Technology Assessment System
    Orlowski, Cezary
    Ziolkowski, Artur
    Czarnecki, Adam
    CYBERNETICS AND SYSTEMS, 2010, 41 (01) : 62 - 74
  • [23] Ontology-based tools for automating integration and validation of firewall rules
    Ghiran, Ana-Maria
    Silaghi, Gheorghe Cosmin
    Tomai, Nicolae
    Lecture Notes in Business Information Processing, 2009, 21 LNBIP : 37 - 48
  • [24] An ontology-based technique for validation of MRI brain segmentation methods
    Alfano, Bruno
    Comerci, Marco
    De Pietro, Giuseppe
    Esposito, Amalia
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 1, PROCEEDINGS, 2007, 4805 : 566 - +
  • [25] Ontology-based approach for the validation and conformance testing of xAPI events
    Vidal, Juan C.
    Rabelo, Thomas
    Lama, Manuel
    Amorim, Ricardo
    KNOWLEDGE-BASED SYSTEMS, 2018, 155 : 22 - 34
  • [26] A Validation Approach for Ontology-Based Real-time DBMS
    Wided Ben Abid
    Mohamed Ben Ahmed Mhiri
    Malek Ben Salem
    Emna Bouazizi
    Faiez Gargouri
    International Journal of Computational Intelligence Systems, 2018, 12 (1) : 311 - 317
  • [27] A Validation Approach for Ontology-Based Real-time DBMS
    Ben Abid, Wided
    Mhiri, Mohamed Ben Ahmed
    Ben Salem, Malek
    Bouazizi, Emna
    Gargouri, Faiez
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2019, 12 (01) : 311 - 317
  • [28] Ontology-Based Tools for Automating Integration and Validation of Firewall Rules
    Ghiran, Ana-Maria
    Silaghi, Gheorghe Cosmin
    Tomai, Nicolae
    BUSINESS INFORMATION SYSTEMS, 2009, 21 : 37 - 48
  • [29] Towards Ontology-Based MAS Methodologies: Ontology-Based Early Requirements
    Beydoun, G.
    Krishna, A. K.
    Ghose, A.
    Low, G. C.
    INFORMATION SYSTEMS DEVELOPMENT: CHALLENGES IN PRACTICE, THEORY AND EDUCATION, VOLS 1AND 2, 2009, : 923 - 935
  • [30] Ontology-based querying
    Andreasen, T
    Nilsson, JF
    Thomsen, HE
    FLEXIBLE QUERY ANSWERING SYSTEMS: RECENT ADVANCES, 2001, : 15 - 26
12345