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

Alfredo Cuzzocrea, Ilaria D'Elia, Antonio De Nicola, Hugo Maldini, Maria Luisa Villani

Research output: Contribution to conferencePaper

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.

Conference

Conference19th IEEE International Conference on Computational Science and Engineering, 14th IEEE International Conference on Embedded and Ubiquitous Computing and 15th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, CSE-EUC-DCABES 2016
CountryFrance
CityParis
Period14/7/17 → …

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Engineering (miscellaneous)
  • Computer Science (miscellaneous)
  • Computer Networks and Communications
  • Computer Science Applications
  • Business, Management and Accounting (miscellaneous)

Cite this

Cuzzocrea, A., D'Elia, I., De Nicola, A., Maldini, H., & Villani, M. L. (2017). TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection across Complex Scenarios. Paper presented at 19th IEEE International Conference on Computational Science and Engineering, 14th IEEE International Conference on Embedded and Ubiquitous Computing and 15th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, CSE-EUC-DCABES 2016, Paris, France. https://doi.org/10.1109/CSE-EUC-DCABES.2016.215