More than two decades of research on verification of UML class models: A systematic literature review

A Shaikh, A Hafeez, AA Wagan, M Alrizq… - IEEE …, 2021 - ieeexplore.ieee.org
Error checking is easy and inexpensive in the initial stages as compared to later stages due
to when the development cycle precedes the development cost and efforts also increase …

[HTML][HTML] A framework for interoperability between models with hybrid tools

G Braun, PR Fillottrani, CM Keet - Journal of Intelligent Information …, 2023 - Springer
Complex system development and maintenance face the challenge of dealing with different
types of models due to language affordances, preferences, sizes, and so forth that involve …

Evidence-based lean conceptual data modelling languages

P Fillotrani, CM Keet - Journal of Computer Science and …, 2021 - journal.info.unlp.edu.ar
Multiple logic-based reconstructions of conceptual data modelling languages such as EER,
UML Class Diagrams, and ORM exist. They mainly cover various fragments of the …

A UML Profile for the conceptual modelling of structurally complex data: easing human effort in the KDD process

JA Lara, D Lizcano, MA Martínez, J Pazos… - Information and Software …, 2014 - Elsevier
Context Domains where data have a complex structure requiring new approaches for
knowledge discovery from data are on the increase. In such domains, the information related …

Capability-oriented architectural analysis method based on fuzzy description logic

Z Tingting, L Xiaoming, W Zhixue… - Computer Science and …, 2016 - doiserbia.nb.rs
A number of problems may arise from architectural requirements modeling, including
alignment of it with business strategy, model integration and handling the uncertain and …

Quality improvement of conceptual uml and ocl schemata through model validation and verification

M Gogolla, KH Doan - Conceptual Modeling Perspectives, 2017 - Springer
Abstract Model validation and verification tools should provide good support for generating
test cases. We here sketch essential use cases for model validation and verification that help …

[HTML][HTML] Logics for Conceptual Data Modelling: A Review

PR Fillottrani, CM Keet - 2024 - drops.dagstuhl.de
Abstract Information modelling for databases and object-oriented information systems avails
of conceptual data modelling languages such as EER and UML Class Diagrams. Many …

[PDF][PDF] Polynomial encoding of ORM conceptual models in CFDI∀−

PR Fillottrani, CM Keet, D Toman - 28thInternational Workshop on …, 2015 - bia.unibz.it
The use of conceptual models has long been confined to the data analysis stage of software
development. In recent years, this has been extended to use them at run-time as well, for …

Software system architecture for corporate user support

VS Sukhopluyeva, DY Kuznetsov - Journal of Physics …, 2017 - iopscience.iop.org
In this article, several existing ready-to-use solutions for the HelpDesk are reviewed.
Advantages and disadvantages of these systems are identified. Architecture of software …

Designing the search service for enterprise portal based on Oracle universal content management

KS Bauer, DY Kuznetsov… - Journal of Physics …, 2017 - iopscience.iop.org
Enterprise Portal is an important part of an organization in informative and innovative space.
The portal provides collaboration between employees and the organization. This article …