This paper presents CSTNU Tool , a Java library for representing and checking different kinds of temporal constraint networks. In particular, CSTNU Tool offers an optimized implementation of some constraint-propagation algorithms to check the dynamic consistency/controllability (DC) of Conditional Simple Temporal Networks (CSTNs), Conditional Simple Temporal Networks with Uncertainty (CSTNUs), and Flexible Simple Temporal Networks with Uncertainty (FTNUs). The optimization is with respect to the management of labeled values that are present in conditional and flexible networks. The library offers also a simple GUI application to build/manage and check temporal networks in an intuitive way, and some Java programs for generating random temporal networks according to some input parameters.

CSTNU Tool: A Java library for checking temporal networks

Posenato, Roberto
2022

Abstract

This paper presents CSTNU Tool , a Java library for representing and checking different kinds of temporal constraint networks. In particular, CSTNU Tool offers an optimized implementation of some constraint-propagation algorithms to check the dynamic consistency/controllability (DC) of Conditional Simple Temporal Networks (CSTNs), Conditional Simple Temporal Networks with Uncertainty (CSTNUs), and Flexible Simple Temporal Networks with Uncertainty (FTNUs). The optimization is with respect to the management of labeled values that are present in conditional and flexible networks. The library offers also a simple GUI application to build/manage and check temporal networks in an intuitive way, and some Java programs for generating random temporal networks according to some input parameters.
Temporal constraint network, Consistency check, Dynamic controllability check, Constraint propagation algorithm
File in questo prodotto:
File Dimensione Formato  
cstnuToolArticlePublisherVersion.pdf

accesso aperto

Tipologia: Versione dell'editore
Licenza: Creative commons
Dimensione 1.19 MB
Formato Adobe PDF
1.19 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/1053448
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact