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

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.
Environmental Modeling
Temporal Analysis
Scenarios Management
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/20.500.11770/312583
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact