Vol.70, No.2, 2022, pp.3733-3750, doi:10.32604/cmc.2022.015987
OPEN ACCESS
ARTICLE
Graphical Transformation of OWL Ontologies to Event-B Formal Models
  • Eman H. Alkhammash*
Department of Computer Science, College of Computers and Information Technology, Taif University, Taif, 21944, Saudi Arabia
* Corresponding Author: Eman H. Alkhammash. Email:
(This article belongs to this Special Issue: Machine Learning for Data Analytics)
Received 17 December 2021; Accepted 18 February 2021; Issue published 27 September 2021
Abstract
Formal methods use mathematical models to develop systems. Ontologies are formal specifications that provide reusable domain knowledge representations. Ontologies have been successfully used in several data-driven applications, including data analysis. However, the creation of formal models from informal requirements demands skill and effort. Ambiguity, inconsistency, imprecision, and incompleteness are major problems in informal requirements. To solve these problems, it is necessary to have methods and approaches for supporting the mapping of requirements to formal specifications. The purpose of this paper is to present an approach that addresses this challenge by using the Web Ontology Language (OWL) to construct Event-B formal models and support data analysis. Our approach reduces the burden of working with the formal notations of OWL ontologies and Event-B models and aims to analyze domain knowledge and construct Event-B models from OWL ontologies using visual diagrams. The idea is based on the transformation of OntoGraf diagrams of OWL ontologies to UML-B diagrams for the purpose of bridging the gap between OWL ontologies and Event-B models. Visual data exploration assists with both data analysis and the development of Event-B formal models. To manage complexity, Event-B supports stepwise refinement to allow each requirement to be introduced at the most appropriate stage in the development process. UML-B supports refinement, so we also introduce an approach that allows us to divide and layer OntoGraf diagrams.
Keywords
Data analysis; OWL ontologies; event-B formal method; refinement; requirements; OntoGraf
Cite This Article
E. H. Alkhammash and . , "Graphical transformation of owl ontologies to event-b formal models," Computers, Materials & Continua, vol. 70, no.2, pp. 3733–3750, 2022.
This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.