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
相关论文
共 13 条
  • [1] Anastasakis K, 2007, LECT NOTES COMPUT SC, V4735, P436
  • [2] [Anonymous], P VERIFY WORKSH FED
  • [3] Reasoning on UML class diagrams
    Berardi, D
    Calvanese, D
    De Giacomo, G
    [J]. ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) : 70 - 118
  • [4] Brown Alan., 2004, INTRO MODEL DRIVEN A
  • [5] Cabot Jordi, 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW), P73, DOI 10.1109/ICSTW.2008.54
  • [6] Jekjantuk N., 2009, P INT WORKSH OWL EXP
  • [7] Kaneiwa K, 2006, LECT NOTES COMPUT SC, V3861, P219
  • [8] MALGOUYRES H, 2006, SAC 2006, P1804
  • [9] On the properties of metamodeling in OWL
    Motik, Boris
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (04) : 617 - 637
  • [10] Ober I., WHAT DO WE NEED META
12