Conceptual Modeling of Events Based on One-Category Ontology
Sabah Al-Fedaghi

TL;DR
This paper introduces a novel conceptual modeling approach called the thimac, based on a one-category ontology, which unifies static objects and dynamic events, demonstrated through a library service system example.
Contribution
It presents a high-level application of the thimac model in software engineering, emphasizing event realization and contrasting it with related fields' event concepts.
Findings
TM effectively models static and dynamic aspects in software systems.
The concept of TM events incorporates time, enriching static models with dynamism.
Contrasts with philosophical and linguistic event definitions highlight TM's unique approach.
Abstract
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 intuition in conceptual modeling. We proposed applying TM to conceptual modeling in software engineering (e.g., on or above the level of UML as a conceptual modeling language). In this paper, to show such an application in software engineering, we first present a complete high-level description of a library service system to demonstrate the TM s applicability. Furthermore, we explore the TM s features, emphasizing the realization of thimacs as events. The purpose is to develop better understanding of the TM notions by contrasting them with their uses in related fields. The notion of an event plays a prominent role in many fields of study, including…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel-Driven Software Engineering Techniques · Business Process Modeling and Analysis · Logic, programming, and type systems
