Open Access iconOpen Access

ARTICLE

crossmark

Graphical Transformation of OWL Ontologies to Event-B Formal Models

by 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: email

(This article belongs to the Special Issue: Machine Learning for Data Analytics)

Computers, Materials & Continua 2022, 70(2), 3733-3750. https://doi.org/10.32604/cmc.2022.015987

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


Cite This Article

APA Style
Alkhammash, E.H. (2022). Graphical transformation of OWL ontologies to event-b formal models. Computers, Materials & Continua, 70(2), 3733-3750. https://doi.org/10.32604/cmc.2022.015987
Vancouver Style
Alkhammash EH. Graphical transformation of OWL ontologies to event-b formal models. Comput Mater Contin. 2022;70(2):3733-3750 https://doi.org/10.32604/cmc.2022.015987
IEEE Style
E. H. Alkhammash, “Graphical Transformation of OWL Ontologies to Event-B Formal Models,” Comput. Mater. Contin., vol. 70, no. 2, pp. 3733-3750, 2022. https://doi.org/10.32604/cmc.2022.015987



cc Copyright © 2022 The Author(s). Published by Tech Science Press.
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.
  • 2027

    View

  • 1336

    Download

  • 0

    Like

Share Link