Institutional Repository

A declarative framework for temporal discrete simulation

Show simple item record Abdulrab, H Ngomo, M Drissi-Talbi, A 2018-06-14T13:00:09Z 2018-06-14T13:00:09Z 2000 2000
dc.identifier.citation Abdulrab H, Ngomo M & Drissi-Talbi A (2000) A declarative framework for temporal discrete simulation. South African Computer Journal, Number 25, 2000 en
dc.identifier.issn 2313-7835
dc.description.abstract The aim of this paper is to introduce temporal processes and linear constraints on naturals for solving temporal discrete simulations problems. We first describe a new approach for solving such constraints, based on the generation of parametric solutions. The algorithm of the solver of linear constraints on naturals, its proof, as well as a general presentation of its implementation are presented. Then we present the main concepts that we introduce (temporal process, process reduction, process scheduler based on solving linear constraints on naturals...) for temporal discrete simulation. Temporal calculus is solved here via the resolution of linear constraints on naturals. Such constraints are especially generated by the predefined predicates associated with temporal processes, and by the processes scheduler. Terms used in this temporal calculus can use duration and dates as logical variables, and the resolution determines all their values in a parametric form. The resulting programming system allows the events and activities associated with an application to be simulated, and produces all their possible resolution dates. en
dc.language.iso en en
dc.publisher South African Computer Society (SAICSIT) en
dc.subject Integer programming en
dc.subject Process en
dc.subject Model of temporal computation en
dc.subject Simulation en
dc.subject Constraints on natural numbers en
dc.subject Unification en
dc.title A declarative framework for temporal discrete simulation en
dc.type Article en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account