We propose the TEMPORANA framework for analysis of integrated scenarios aiming at studying the possible effects on the society of sustainable innovation policies. The framework consists of a set of advanced temporal queries for scenario analysis and a software application. Integrated scenarios are possible future states of different aspects of the world (e.g., energy, environment, technology, economy, societal system) representing plausible conditions under different assumptions. Temporal scenario queries aim at detecting a specified behavior for the system over time and, hence, at verifying that a temporal property holds. A preliminary set of queries, each involving one temporal operator from the Linear Temporal Logic, were defined by field experts and used in a preliminary experimentation to demonstrate the applicability of the approach.

TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection Across Complex Scenarios

CUZZOCREA, Alfredo Massimiliano;
2016-01-01

Abstract

We propose the TEMPORANA framework for analysis of integrated scenarios aiming at studying the possible effects on the society of sustainable innovation policies. The framework consists of a set of advanced temporal queries for scenario analysis and a software application. Integrated scenarios are possible future states of different aspects of the world (e.g., energy, environment, technology, economy, societal system) representing plausible conditions under different assumptions. Temporal scenario queries aim at detecting a specified behavior for the system over time and, hence, at verifying that a temporal property holds. A preliminary set of queries, each involving one temporal operator from the Linear Temporal Logic, were defined by field experts and used in a preliminary experimentation to demonstrate the applicability of the approach.
File in questo prodotto:
File Dimensione Formato  
Temporana.pdf

Accesso chiuso

Tipologia: Documento in Versione Editoriale
Licenza: Digital Rights Management non definito
Dimensione 2.9 MB
Formato Adobe PDF
2.9 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

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: https://hdl.handle.net/11368/2898247
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact