Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F24%3A00376889" target="_blank" >RIV/68407700:21240/24:00376889 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.5220/0012854500003758" target="_blank" >https://doi.org/10.5220/0012854500003758</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.5220/0012854500003758" target="_blank" >10.5220/0012854500003758</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2024
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2024
ISBN
978-989-758-708-5
ISSN
2184-2841
e-ISSN
—
Počet stran výsledku
8
Strana od-do
407-414
Název nakladatele
Science and Technology Publications, Lda
Místo vydání
Setúbal
Místo konání akce
Dijon
Datum konání akce
11. 7. 2024
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—