English
Related papers

Related papers: Toward Conceptual Modeling for Propositional Logic…

200 papers

This paper is a sequel to an evolving research project on a diagrammatic methodology called thinging machine (TM). Initially, it was proposed as a base for conceptual modelling (e.g., conceptual UML) in areas such as requirement…

Software Engineering · Computer Science 2025-01-03 Sabah Al-Fedaghi

Conceptual models as representations of real-world systems are based on diverse techniques in various disciplines but lack a framework that provides multidisciplinary ontological understanding of real-world phenomena. Concurrently, systems…

Software Engineering · Computer Science 2023-06-27 Sabah Al-Fedaghi

In previous works, we proposed a one-category (entitled thimac) conceptual model called a thinging machine (TM), which integrates staticity (e.g., objects) and dynamism (e.g., events) without losing valuable aspects of diagrammatic…

Software Engineering · Computer Science 2022-03-03 Sabah Al-Fedaghi

Software engineers typically interpret the domain description in natural language and translate it into a conceptual model. Three approaches are used in this domain modeling: textual languages, diagrammatic languages, and a mixed based of…

Software Engineering · Computer Science 2025-06-04 Sabah Al-Fedaghi

Models are fundamentally crucial to many scientific fields, including software engineering, systems engineering, enterprise modeling, and business modeling. This paper focuses on diagrammatic conceptual modeling, as opposed to mathematical…

Software Engineering · Computer Science 2021-10-28 Sabah Al-Fedaghi , Mahdi Modhaffar

The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time.…

Software Engineering · Computer Science 2021-04-05 Sabah Al-Fedaghi

To provide a foundation for conceptual modeling, ontologies have been introduced to specify the entities, the existences of which are acknowledged in the model. Ontologies are essential components as mechanisms to model a portion of reality…

Artificial Intelligence · Computer Science 2020-07-21 Sabah Al-Fedaghi

In conceptual modeling (CM) as a subdiscipline of software engineering, current proposed ontologies (categorical analysis of entities) are typically established through whole adoption of philosophical theories (e.g. Bunge s). In this paper,…

Software Engineering · Computer Science 2023-08-21 Sabah Al-Fedaghi

To handle the complexity of our world, the carving metaphor has been used to build a conceptual system of reality. In such an endeavor, we can choose various joints to carve at; that is, we can conceptualize various aspects of reality.…

Software Engineering · Computer Science 2025-05-21 Sabah Al-Fedaghi

Difficulties arise when conceptual modeling lacks ontological clarity and rigorous definitions, which is especially the case in the relationship construct. Evidence shows that use of relationships is often problematic when it comes to…

Software Engineering · Computer Science 2020-08-04 Sabah Al-Fedaghi

It has been stated that the notion of cause and effect is one object of study that sciences and engineering revolve around. Lately, in software engineering, diagrammatic causal inference methods (e.g., Pearl s model) have gained popularity…

Software Engineering · Computer Science 2023-10-18 Sabah Al-Fedaghi

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies…

Software Engineering · Computer Science 2021-02-08 Sabah Al-Fedaghi

Modeling languages in software engineering (e.g., UML) evolved from software systems modeling where denotational and operational kinds of semantics are the traditional subjects of research and practice. According to some authors, although a…

Software Engineering · Computer Science 2020-11-04 Sabah Al-Fedaghi

An important factor in guaranteeing the quality of a system is developing a conceptual model that reflects the knowledge about its domain as well as knowledge about the functions it has to perform. In software engineering, conceptual…

Software Engineering · Computer Science 2022-06-07 Sabah Al-Fedaghi

Data modeling is a process of developing a model to design and develop a data system that supports an organization s various business processes. A conceptual data model represents a technology-independent specification of structure of data…

Databases · Computer Science 2021-10-01 Sabah Al-Fedaghi

Conceptual models rely on structural information to describe relationships among UML classes; among these, the whole-part (WP) relationship plays a fundamental role. This paper explores and analyzes the WP semantics at large with a focus on…

Software Engineering · Computer Science 2022-09-16 Sabah Al-Fedaghi

Large Language Models (LLMs) have demonstrated impressive capabilities in structured reasoning and symbolic tasks, with coding emerging as a particularly successful application. This progress has naturally motivated efforts to extend these…

Artificial Intelligence · Computer Science 2026-02-02 Andrea Asperti , Alberto Naibo , Claudio Sacerdoti Coen

This paper deals with the issue of conceptual models role in capturing semantics and aligning them to serve the remaining development phases of systems design. Specifically, the entity-relationship (ER) model is selected as an example of…

Databases · Computer Science 2025-03-11 Sabah Al-Fedaghi

Studies have underscored how, regardless of the recent breakthrough and swift advances in AI research, even state-of-the-art Large Language models (LLMs) continue to struggle when performing logical and mathematical reasoning. The results…

Artificial Intelligence · Computer Science 2024-12-20 Federico Castagna , Isabel Sassoon , Simon Parsons

Use cases as textual visual modeling techniques have become a key construct and the foundation of the most popular de facto standard technique for performing software requirements analysis and specification. This paper describes use cases…

Software Engineering · Computer Science 2019-10-08 Sabah Al-Fedaghi
‹ Prev 1 2 3 10 Next ›