We propose the TEMPORANA framework foranalysis of integrated scenarios aiming at studying the possibleeffects on the society of sustainable innovation policies. Theframework consists of a set of advanced temporal queries forscenario analysis and a software application. Integrated scenariosare 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 behaviorfor the system over time and, hence, at verifying that a temporalproperty holds. A preliminary set of queries, each involving onetemporal operator from the Linear Temporal Logic, were definedby field experts and used in a preliminary experimentation todemonstrate the applicability of the approach. © 2016 IEEE.

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

Villani, M.L.;De Nicola, A.;D'Elia, I.
2017

Abstract

We propose the TEMPORANA framework foranalysis of integrated scenarios aiming at studying the possibleeffects on the society of sustainable innovation policies. Theframework consists of a set of advanced temporal queries forscenario analysis and a software application. Integrated scenariosare 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 behaviorfor the system over time and, hence, at verifying that a temporalproperty holds. A preliminary set of queries, each involving onetemporal operator from the Linear Temporal Logic, were definedby field experts and used in a preliminary experimentation todemonstrate the applicability of the approach. © 2016 IEEE.
9781509035939
Scenarios Management;Temporal Analysis;Environmental Modeling
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.12079/4809
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
social impact