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 …

Knowledge modeling: A survey of processes and techniques

W Yun, X Zhang, Z Li, H Liu… - International Journal of …, 2021 - Wiley Online Library
Abstract Knowledge modeling is an important step in building knowledge‐based
applications. Understanding the processes of knowledge modeling and the techniques …

BERDD: A Behaviour Engineering-Based Approach for Requirements Defects Detection

S Anwer, L Wen, MU Hassan, Z Wang… - IEEE …, 2024 - ieeexplore.ieee.org
Detecting software requirements defects is crucial in reducing the risk of software project
failures. Existing methods for automatic detection, especially during requirements changes …

Leveraging SPARQL queries for UML consistency checking

B Wei, J Sun - International Journal of Software Engineering and …, 2021 - World Scientific
Context and motivation: Multiple-viewed requirements modeling method describes the
system to-be from different perspectives. Some requirements models are then specified in …

[PDF][PDF] Representing BORM Process Models using OWL and RDF.

M Suchánek, R Pergl - KEOD, 2021 - scitepress.org
Business Object Relationship Modeling (BORM) is a business process analysis method
based on communicating finite-state machines and Petri nets. However, because of its …

Digital Documents as Data Carriers and a Method of Data Management Guaranteeing the Unambiguity of the Recorded Information: Ontology-Oriented Data …

J Zelinski - Emerging Challenges, Solutions, and Best Practices for …, 2021 - igi-global.com
This study presents a method for the storage of data organized in digital documents, which is
proven in practice. The discussed method does not bear any disadvantages of the relational …