1. TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection across Complex Scenarios
- Author
-
Maria Luisa Villani, Alfredo Cuzzocrea, Antonio De Nicola, Hugo Maldini, Ilaria D'Elia, Villani, M. L., De Nicola, A., D'Elia, I., Cuzzocrea, Alfredo Massimiliano, D’Elia, Ilaria, Nicola, Antonio De, Maldini, Hugo, and Villani, Maria Luisa
- Subjects
Computer science ,business.industry ,Temporal Analysis ,Scenarios Management ,Environmental Modeling ,02 engineering and technology ,computer.software_genre ,Field (computer science) ,Set (abstract data type) ,Operator (computer programming) ,Software ,Temporal Analysi ,Linear temporal logic ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,Environmental Modeling, Temporal Analysis, Scenarios Management ,Data mining ,business ,computer ,Energy (signal processing) - 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.
- Published
- 2017
- Full Text
- View/download PDF