Combining UML and ontology: An exploratory survey

MM Mkhinini, O Labbani-Narsis, C Nicolle - Computer Science Review, 2020 - Elsevier
UML models and ontologies are two knowledge representations with different strengths and
weaknesses. Until recently, they were considered unrelated research domains. However …

Formal ontologies in information systems development: a systematic review

M Husáková, V Bureš - Information, 2020 - mdpi.com
Computational ontologies are machine-processable structures which represent particular
domains of interest. They integrate knowledge which can be used by humans or machines …

UML models consistency management: Guidelines for software quality manager

RS Bashir, SP Lee, SUR Khan, V Chang… - International Journal of …, 2016 - Elsevier
Abstract Unified Modeling Language (UML) has become the de-facto standard to design
today's large-size object-oriented systems. However, focusing on multiple UML diagrams is …

Virtual engineering of cyber-physical automation systems: The case of control logic

GF Schneider, H Wicaksono, J Ovtcharova - Advanced engineering …, 2019 - Elsevier
Mastering the fusion of information and communication technologies with physical systems
to cyber-physical automation systems is of main concern to engineers in the industrial …

An approach to data consistency checking for the dynamic replacement of service process

H Gao, Y Duan, H Miao, Y Yin - IEEE Access, 2017 - ieeexplore.ieee.org
The technology of service-oriented architecture (SOA) and Web service provides a
promising method to rapidly develop the distributed interoperable system for E-commerce …

Using a process algebra interface for verification and validation of UML statecharts

S Doostali, SM Babamir, M Javani - Computer Standards & Interfaces, 2023 - Elsevier
UML diagrams are the conventional methods for visual modeling systems. Among them, the
Statechart diagrams are used to show the runtime behavior of a system, but the correctness …

Capturing expert knowledge for building enterprise SME knowledge graphs

M Mansfield, V Tamma, P Goddard… - Proceedings of the 11th …, 2021 - dl.acm.org
Whilst Knowledge Graphs (KGs) are increasingly used in business scenarios, the
construction of enterprise ontologies and the population of KGs from existing relational data …

Enhanced entity-relationship modeling with description logic

F Zhang, ZM Ma, J Cheng - Knowledge-Based Systems, 2016 - Elsevier
Based on the high expressive powers and effective reasoning services of description logics
(DLs, for short), DLs have been employed in data modeling to support the development and …

Representation of UML class diagrams in OWL 2 on the background of domain ontologies

M Sadowska, Z Huzar - E-Informatica software engineering journal, 2019 - e-informatyka.pl
Background: UML class diagrams can be automatically validated if they are compliant with a
domain knowledge specified in a selected OWL 2 domain ontology. The method requires …

Semantic validation of UML class diagrams with the use of domain ontologies expressed in OWL 2

M Sadowska, Z Huzar - … Engineering: Challenges and Solutions: Results of …, 2017 - Springer
The article proposes an algorithmic method for semantic validation of UML class diagrams.
The method checks the compliance of the diagrams with the field described by the domain …