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 条
  • [41] Ontology-based process merging
    Zhu, Peng
    Li, Chenghai
    Huang, Biqing
    Wu, Cheng
    Wu, Yun
    Qinghua Daxue Xuebao/Journal of Tsinghua University, 2012, 52 (05): : 648 - 654
  • [42] Ontology-Based Network Planning
    Umar, Amjad
    Subbaraman, Ramesh
    INTERNATIONAL JOURNAL OF BUSINESS DATA COMMUNICATIONS AND NETWORKING, 2008, 4 (03) : 31 - 51
  • [43] On Ontology-Based Diagnosis and Defeasibibity
    Obeid, Nadim
    Rawashdeh, Enas
    Alduweib, Eman
    Moubaiddin, Asma
    2016 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE & COMPUTATIONAL INTELLIGENCE (CSCI), 2016, : 57 - 62
  • [44] Ontology-Based Learning for Negotiation
    Aydogan, Reyhan
    Yolum, Pinar
    2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 2, 2009, : 177 - 184
  • [45] Position on ontology-based architecture
    Akerman, Art
    Tyree, Jeff
    5TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS, 2006, : 289 - 290
  • [46] Ontology-Based Method Engineering
    Niknafs, Ali
    Asadi, Mohsen
    Abolhassani, Hassan
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (08): : 282 - 287
  • [47] Ontology-based Knowledge Retrieval
    Diez-Rodriguez, Hector
    Morales-Luna, Guillermo
    Olmedo-Aguirre, Jose Oscar
    PROCEEDINGS OF THE SPECIAL SESSION OF THE SEVENTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE - MICAI 2008, 2008, : 23 - +
  • [48] Ontology-based photo annotation
    Schreiber, AT
    Dubbeldam, B
    Wielemaker, J
    Wielinga, B
    IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 2001, 16 (03): : 66 - 74
  • [49] Ontology-Based Expertise Finding
    Fazel-Zarandi, Maryam
    Yu, Eric
    PRACTICAL ASPECTS OF KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2008, 5345 : 232 - +
  • [50] Ontology-based model transformation
    Roser, S
    Bauer, B
    SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE, 2006, 3844 : 355 - 356
12345