Software Platform Based on the hLARM Formalism for Modeling Complex Systems
The problem of defining, analyzing and reasoning behaviors, facts and uncertainties in complex systems asks for new modeling formal methods and software tools that can deal with managing such collections of heterogeneous and dynamical interacting entities. The purpose of this paper is to present in...
Gespeichert in:
Veröffentlicht in: | Romanian journal of information science and technology 2024-01, Vol.2024 (1), p.65-80 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | The problem of defining, analyzing and reasoning behaviors, facts and uncertainties in complex systems asks for new modeling formal methods and software tools that can deal with managing such collections of heterogeneous and dynamical interacting entities. The purpose of this paper is to present in detail the implementation of a new software modeling platform which is based on the hLARM (Hybrid Logic-Algebraic Relational Modeling) formalism which aims to alleviate the process of designing and managing such systems. The development of the platform is thoroughly analyzed from its conceptual background and up to the algorithms which support all the inference procedures involved. |
---|---|
ISSN: | 1453-8245 |
DOI: | 10.59277/ROMJIST.2024.1.05 |