Verifying and Validating Multi-layered Models with OWL FA Toolkit

被引：0
|
作者：
Jekjantuk, Nophadol [1 ]
Pan, Jeff Z. [1 ]
Groener, Gerd [2 ]
机构：
[1] Univ Aberdeen, Aberdeen AB9 1FX, Scotland
[2] Univ Koblenz Landau, Mainz, Germany
来源：
SEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS | 2010年 / 6089卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper details the use of OWL FA Toolkit for verifying and validating multi-layered (meta-) modelling using ontologies described in OWL FA. We will show how OWL FA and its reasoner (OWL FA Toolkit) could benefit the software modeller on leveraging the software development, life cycle through a practical use case.
引用
收藏
页码：391 / +
页数：2
相关论文
共 50 条
  • [1] Executable Multi-Layered Software Models
    Radosky, Lukas
    Polasek, Ivan
    PROCEEDINGS OF THE 2024 IEEE/ACM INTERNATIONAL WORKSHOP ON DESIGNING SOFTWARE, DESIGNING 2024, 2024, : 46 - 51
  • [2] VERIFYING AND VALIDATING SIMULATION MODELS
    Sargent, Robert G.
    PROCEEDINGS OF THE 2014 WINTER SIMULATION CONFERENCE (WSC), 2014, : 118 - 131
  • [3] Verifying and validating simulation models
    Sargent, RG
    1996 WINTER SIMULATION CONFERENCE PROCEEDINGS, 1996, : 55 - 64
  • [4] Verifying feature models using OWL
    Wang, Hai H.
    Li, Yuan Fang
    Sun, Jing
    Zhang, Hongyu
    Pan, Jeff
    JOURNAL OF WEB SEMANTICS, 2007, 5 (02): : 117 - 129
  • [5] Optimization of multi-layered liners based on sea models
    Lai, HY
    INTER-NOISE 99: PROCEEDINGS OF THE 1999 INTERNATIONAL CONGRESS ON NOISE CONTROL ENGINEERING, VOLS 1-3, 1999, : 1755 - 1760
  • [6] Multi-layered burs
    British Dental Journal, 2004, 197 (7) : 434 - 434
  • [7] Multi-layered coating
    British Dental Journal, 2005, 198 (2) : 116 - 116
  • [8] Material parameter computation for multi-layered vocal fold models
    Schmidt, Bastian
    Stingl, Michael
    Leugering, Guenter
    Berry, David A.
    Doellinger, Michael
    JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 2011, 129 (04): : 2168 - 2180
  • [9] To the description of multi-layered nanotubes in models of cylindrically anisotropic elasticity
    Goldstein, R. V.
    Gorodtsov, V. A.
    Lisovenko, D. S.
    PHYSICAL MESOMECHANICS, 2010, 13 (1-2) : 12 - 20
  • [10] On the Connectivity of Multi-layered Networks: Models, Measures and Optimal Control
    Chen, Chen
    He, Jingrui
    Bliss, Nadya
    Tong, Hanghang
    2015 IEEE INTERNATIONAL CONFERENCE ON DATA MINING (ICDM), 2015, : 715 - 720
12345