# Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs

### Mohamed Bettaz

#### 2024

#### Abstract

OntoObject-Z is a descriptive language inspired by OntoUML. Just as OntoUML is a profile for the Unified Modeling Language (UML), OntoObject-Z is an extension of the Object-Z notation. The objective of this article is threefold. We first define a metamodel for OntoObject-Z and an EBNF-like notation formalizing the syntax of OntoObject-Z specifications. Second, we construct a partial ontology for Virtual Local Area Networks (VLANs) and describe it by OntoUML models. Third, we implement our OntoUML models with OntoObject-Z specifications. The OntoObject-Z metamodel is expressed in OntoUML and the proposed EBNF rules are based on OntoUML concepts. Thanks to this, each syntactically correct OntoObject-Z specification corresponds de facto to a correct implementation of an OntoUML model.

Download#### Paper Citation

#### in Harvard Style

Bettaz M. (2024). **Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs**. In *Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH*; ISBN 978-989-758-708-5, SciTePress, pages 407-414. DOI: 10.5220/0012854500003758

#### in Bibtex Style

@conference{simultech24,

author={Mohamed Bettaz},

title={Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs},

booktitle={Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH},

year={2024},

pages={407-414},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0012854500003758},

isbn={978-989-758-708-5},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH

TI - Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs

SN - 978-989-758-708-5

AU - Bettaz M.

PY - 2024

SP - 407

EP - 414

DO - 10.5220/0012854500003758

PB - SciTePress