Verifying and validating multi-layered models with OWL FA toolkit

Authors:
Nophadol Jekjantuk;Jeff Z. Pan;Gerd Gröner
Affiliations:
University of Aberdeen, United Kingdom;University of Aberdeen, United Kingdom;University of Koblenz-Landau, Germany
Venue:
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Year:
2010

Citing 6
Cited 0

A UML model consistency verification approach based on meta-modeling formalization

Proceedings of the 2006 ACM symposium on Applied computing
On the Properties of Metamodeling in OWL1

Journal of Logic and Computation
Verification of UML/OCL Class Diagrams using Constraint Programming

ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Reasoning on UML class diagrams

Artificial Intelligence
Consistency checking algorithms for restricted UML class diagrams

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
UML2Alloy: a challenging model transformation

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.