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

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.