Representation of UML class diagrams in OWL 2 on the background of domain ontologies
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 …
domain knowledge specified in a selected OWL 2 domain ontology. The method requires …
Definitions and Computational Properties of OCL: A Systematic Review
G Rajić, V Sruk - IEEE Access, 2024 - ieeexplore.ieee.org
Object Constraint Language (OCL) plays a pivotal role in Model Driven Architecture (MDA),
an important applied software engineering concept created over a quarter of a century ago …
an important applied software engineering concept created over a quarter of a century ago …
Detection of inconsistencies in SysML/OCL models using OWL reasoning
Requirement change management is a challenging issue in software development. One of
the main objectives of the Intent-Defined Adaptive Software program is to verify the …
the main objectives of the Intent-Defined Adaptive Software program is to verify the …
Advances in applications of object constraint language for software engineering
Abstract Object Constraint Language (OCL) is a standard language defined by Object
Management Group for specifying constraints on models. Since its introduction as part of …
Management Group for specifying constraints on models. Since its introduction as part of …
Bridging the Gap Between Ontology Engineering and Software Engineering
Ontology engineering requires specific skills and expertise, making its adoption by software
developers a challenging task. The complex nature of ontological modeling and the use of …
developers a challenging task. The complex nature of ontological modeling and the use of …
[PDF][PDF] Ontology-based Detection of Inconsistencies in UML/OCL Models.
Consistency checking of UML/OCL models is a challenging issue in software development.
In this paper, we discuss an OWL/ontology-based method to detect the inconsistencies in …
In this paper, we discuss an OWL/ontology-based method to detect the inconsistencies in …
[PDF][PDF] Creating and validating UML class diagrams with the use of domain ontologies expressed in OWL 2
M Sadowska - 2020 - dbc.wroc.pl
The business models aim to present complex business reality in a simplified manner. They
support communication between system shareholders and thus provide the important …
support communication between system shareholders and thus provide the important …
Defining Theoretical Foundations to Unified Metamodel For Model Reusability
J Thangaraj, S Ulaganathan - Recent Advances in Computer …, 2020 - ingentaconnect.com
Background: In model-driven development, model transformation transforms one model to
another between different phases of software engineering. In model transformation …
another between different phases of software engineering. In model transformation …
[PDF][PDF] An Object Oriented Approach for Ontology Modeling and Reasoning
In Industry, IT personnel commonly manipulate the object paradigm for software
engineering. Industry 4.0 with its profusion of data requires the implementation of a …
engineering. Industry 4.0 with its profusion of data requires the implementation of a …
[PDF][PDF] Nghiên cứu phương pháp chuyển đổi giữa mô hình mức khái niệm và ontology
VHL Minh - 2021 - hueuni.edu.vn
Tôi xin chân thành cảm ơn lãnh đạo trường Đại học Khoa học đã tạo điều kiện thuận lợi
trong suốt quá trình học tập và thực hiện luận án, cảm ơn tập thể thầy cô giáo Khoa Công …
trong suốt quá trình học tập và thực hiện luận án, cảm ơn tập thể thầy cô giáo Khoa Công …