Skip to main content

2016 | OriginalPaper | Buchkapitel

Towards Temporal Analysis of Integrated Scenarios for Sustainable Innovation

verfasst von : Alfredo Cuzzocrea, Ilaria D’Elia, Antonio De Nicola, Hugo Maldini, Maria Luisa Villani

Erschienen in: Computational Science and Its Applications – ICCSA 2016

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases, vol. 8. Addison-Wesley, Reading (1995)MATH Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases, vol. 8. Addison-Wesley, Reading (1995)MATH
2.
Zurück zum Zitat Camporeale, C., De Nicola, A., Villani, M.L.: Semantics-based services for a low carbon society: an application on emissions trading system data and scenarios management. Environ. Softw. 64, 124–142 (2015)CrossRef Camporeale, C., De Nicola, A., Villani, M.L.: Semantics-based services for a low carbon society: an application on emissions trading system data and scenarios management. Environ. Softw. 64, 124–142 (2015)CrossRef
3.
Zurück zum Zitat Cuzzocrea, A.: Analytics over big data: Exploring the convergence of datawarehousing, OLAP and data-intensive cloud infrastructures. In: 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22–26, 2013, pp. 481–483 (2013) Cuzzocrea, A.: Analytics over big data: Exploring the convergence of datawarehousing, OLAP and data-intensive cloud infrastructures. In: 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22–26, 2013, pp. 481–483 (2013)
4.
Zurück zum Zitat Cuzzocrea, A., Bellatreche, L., Song, I.-Y.: Data warehousing and OLAP over big data: current challenges and future research directions. In: Proceedings of the Sixteenth International Workshop on Data Warehousing and OLAP, DOLAP 2013, San Francisco, CA, USA, 28 October 2013, pp. 67–70 (2013) Cuzzocrea, A., Bellatreche, L., Song, I.-Y.: Data warehousing and OLAP over big data: current challenges and future research directions. In: Proceedings of the Sixteenth International Workshop on Data Warehousing and OLAP, DOLAP 2013, San Francisco, CA, USA, 28 October 2013, pp. 67–70 (2013)
5.
Zurück zum Zitat Cuzzocrea, A., Saccà, D., Ullman, J.D.: Big data: a research agenda. In: 17th International Database Engineering and Applications Symposium, IDEAS 2013, Barcelona, Spain, 09–11 October 2013, pp. 198–203 (2013) Cuzzocrea, A., Saccà, D., Ullman, J.D.: Big data: a research agenda. In: 17th International Database Engineering and Applications Symposium, IDEAS 2013, Barcelona, Spain, 09–11 October 2013, pp. 198–203 (2013)
6.
Zurück zum Zitat GAINS. Gains (2016). Accessed 24 Mar 2016 GAINS. Gains (2016). Accessed 24 Mar 2016
7.
Zurück zum Zitat Hertel, T.W., Hertel, T.W.: Global Trade Analysis: Modeling And Applications. Cambridge University Press, Cambridge (1997)MATH Hertel, T.W., Hertel, T.W.: Global Trade Analysis: Modeling And Applications. Cambridge University Press, Cambridge (1997)MATH
8.
Zurück zum Zitat Mahmoud, M., Liu, Y., Hartmann, H., Stewart, S., Wagener, T., Semmens, D., Stewart, R., Gupta, H., Dominguez, D., Dominguez, F., Hulse, D., Letcher, R., Rashleigh, B., Smith, C., Street, R., Ticehurst, J., Twery, M., van Delden, H., Waldick, R., White, D., Winter, L.: A formal framework for scenario development in support of environmental decision-making. Environ. Model. Softw. 24(7), 798–808 (2009)CrossRef Mahmoud, M., Liu, Y., Hartmann, H., Stewart, S., Wagener, T., Semmens, D., Stewart, R., Gupta, H., Dominguez, D., Dominguez, F., Hulse, D., Letcher, R., Rashleigh, B., Smith, C., Street, R., Ticehurst, J., Twery, M., van Delden, H., Waldick, R., White, D., Winter, L.: A formal framework for scenario development in support of environmental decision-making. Environ. Model. Softw. 24(7), 798–808 (2009)CrossRef
9.
Zurück zum Zitat MARKAL-TIMES. Markal-times (2016). Accessed 24 Mar 2016 MARKAL-TIMES. Markal-times (2016). Accessed 24 Mar 2016
10.
Zurück zum Zitat Pyatt, G., Round, J.I.: Social accounting matrices for development planning. Rev. Income Wealth 23(4), 339–364 (1977)CrossRef Pyatt, G., Round, J.I.: Social accounting matrices for development planning. Rev. Income Wealth 23(4), 339–364 (1977)CrossRef
11.
Zurück zum Zitat Prasad Sistla, A., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM (JACM) 32(3), 733–749 (1985)MathSciNetCrossRefMATH Prasad Sistla, A., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM (JACM) 32(3), 733–749 (1985)MathSciNetCrossRefMATH
12.
Zurück zum Zitat Byunggu, Y., Cuzzocrea, A., Jeong, D.H., Maydebura, S.: On managing very large sensor-network data using bigtable. In: 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2012, Ottawa, Canada, May 13–16, 2012, pp. 918–922 (2012) Byunggu, Y., Cuzzocrea, A., Jeong, D.H., Maydebura, S.: On managing very large sensor-network data using bigtable. In: 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2012, Ottawa, Canada, May 13–16, 2012, pp. 918–922 (2012)
Metadaten
Titel
Towards Temporal Analysis of Integrated Scenarios for Sustainable Innovation
verfasst von
Alfredo Cuzzocrea
Ilaria D’Elia
Antonio De Nicola
Hugo Maldini
Maria Luisa Villani
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-42092-9_41