Integration of Interval Temporal Logic in an Expression Evaluator

This paper presents NAXE, an expression evaluator framework for concurrent, resilient, and temporally aware applications, particularly in IoT domains. The key contribution is the principled integration of Interval Temporal Logic as a first-class feature alongside standard arithmetic and Boolean oper...

Full description

Bibliographic Details
Authors: Morero Peyrona, Francisco, Gutiérrez Rodríguez, Javier Jesús, Mejías Risoto, Manuel
Format: article
Status:Published version
Publication Date:2026
Country:España
Institution:Universidad de Sevilla (US)
Repository:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:dnet:idus________::df0e1ba3cb9e1dc9f4296b732e9dda20
Online Access:https://hdl.handle.net/11441/186513
https://doi.org/10.3390/app16063049
Access Level:Open access
Keyword:expression evaluation
asynchronicity
temporal logic
resilient computing
f luent syntax
programming languages
interval temporal logic
natural language
id ES_4bdeecdf2b456db287eceef6b0be948f
oai_identifier_str oai:dnet:idus________::df0e1ba3cb9e1dc9f4296b732e9dda20
network_acronym_str ES
network_name_str España
repository_id_str
spelling Integration of Interval Temporal Logic in an Expression EvaluatorMorero Peyrona, FranciscoGutiérrez Rodríguez, Javier JesúsMejías Risoto, Manuelexpression evaluationasynchronicitytemporal logicresilient computingf luent syntaxprogramming languagesinterval temporal logicnatural languageThis paper presents NAXE, an expression evaluator framework for concurrent, resilient, and temporally aware applications, particularly in IoT domains. The key contribution is the principled integration of Interval Temporal Logic as a first-class feature alongside standard arithmetic and Boolean operations. To enhance robustness, bidirectional lazy evaluation extends short-circuit semantics to yield determinate results even with indeterminate operands. A left-to-right chaining syntax and Quantified Expressions reduce cognitive load and improve accessibility, particularly for non-programmers. The framework’s asynchronous evaluation model uses callbacks over an Abstract Syntax Tree with formal operational semantics specified through EBNF. Validation combines (i) formal correctness proofs, (ii) empirical validation (over 300 unit tests), (iii) real-world deployment in a hotel IoT system and (iv) a pilot study (n = 36). This integration advances expression evaluation by supporting interval-temporal operators, determinate outcomes under indeterminate operands, quantifiers and user-oriented syntax in a single expression-evaluation design.MDPILenguajes y Sistemas InformáticosTIC021: Engineering and Science for Software Systems2026info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/11441/186513https://doi.org/10.3390/app16063049reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)InglésApplied Sciences-Basel, 16 (6), 3049-24 p.. https://www.mdpi.com/2076-3417/16/6/3049info:eu-repo/semantics/openAccessoai:dnet:idus________::df0e1ba3cb9e1dc9f4296b732e9dda202026-06-17T12:51:07Z
dc.title.none.fl_str_mv Integration of Interval Temporal Logic in an Expression Evaluator
title Integration of Interval Temporal Logic in an Expression Evaluator
spellingShingle Integration of Interval Temporal Logic in an Expression Evaluator
Morero Peyrona, Francisco
expression evaluation
asynchronicity
temporal logic
resilient computing
f luent syntax
programming languages
interval temporal logic
natural language
title_short Integration of Interval Temporal Logic in an Expression Evaluator
title_full Integration of Interval Temporal Logic in an Expression Evaluator
title_fullStr Integration of Interval Temporal Logic in an Expression Evaluator
title_full_unstemmed Integration of Interval Temporal Logic in an Expression Evaluator
title_sort Integration of Interval Temporal Logic in an Expression Evaluator
dc.creator.none.fl_str_mv Morero Peyrona, Francisco
Gutiérrez Rodríguez, Javier Jesús
Mejías Risoto, Manuel
author Morero Peyrona, Francisco
author_facet Morero Peyrona, Francisco
Gutiérrez Rodríguez, Javier Jesús
Mejías Risoto, Manuel
author_role author
author2 Gutiérrez Rodríguez, Javier Jesús
Mejías Risoto, Manuel
author2_role author
author
dc.contributor.none.fl_str_mv Lenguajes y Sistemas Informáticos
TIC021: Engineering and Science for Software Systems
dc.subject.none.fl_str_mv expression evaluation
asynchronicity
temporal logic
resilient computing
f luent syntax
programming languages
interval temporal logic
natural language
topic expression evaluation
asynchronicity
temporal logic
resilient computing
f luent syntax
programming languages
interval temporal logic
natural language
description This paper presents NAXE, an expression evaluator framework for concurrent, resilient, and temporally aware applications, particularly in IoT domains. The key contribution is the principled integration of Interval Temporal Logic as a first-class feature alongside standard arithmetic and Boolean operations. To enhance robustness, bidirectional lazy evaluation extends short-circuit semantics to yield determinate results even with indeterminate operands. A left-to-right chaining syntax and Quantified Expressions reduce cognitive load and improve accessibility, particularly for non-programmers. The framework’s asynchronous evaluation model uses callbacks over an Abstract Syntax Tree with formal operational semantics specified through EBNF. Validation combines (i) formal correctness proofs, (ii) empirical validation (over 300 unit tests), (iii) real-world deployment in a hotel IoT system and (iv) a pilot study (n = 36). This integration advances expression evaluation by supporting interval-temporal operators, determinate outcomes under indeterminate operands, quantifiers and user-oriented syntax in a single expression-evaluation design.
publishDate 2026
dc.date.none.fl_str_mv 2026
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/11441/186513
https://doi.org/10.3390/app16063049
url https://hdl.handle.net/11441/186513
https://doi.org/10.3390/app16063049
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Applied Sciences-Basel, 16 (6), 3049-24 p..
https://www.mdpi.com/2076-3417/16/6/3049
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv MDPI
publisher.none.fl_str_mv MDPI
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869407590448889856
score 15,812455

Similar Items