Skip to main content

Towards Temporal Analysis of Integrated Scenarios for Sustainable Innovation

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 9790)

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.

Keywords

  • Environmental modelling
  • Temporal analysis
  • Scenarios management

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-42092-9_41
  • Chapter length: 8 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   84.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-42092-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   109.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.
Fig. 3.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases, vol. 8. Addison-Wesley, Reading (1995)

    MATH  Google Scholar 

  2. 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  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. GAINS. Gains (2016). Accessed 24 Mar 2016

    Google Scholar 

  7. Hertel, T.W., Hertel, T.W.: Global Trade Analysis: Modeling And Applications. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  8. 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  Google Scholar 

  9. MARKAL-TIMES. Markal-times (2016). Accessed 24 Mar 2016

    Google Scholar 

  10. Pyatt, G., Round, J.I.: Social accounting matrices for development planning. Rev. Income Wealth 23(4), 339–364 (1977)

    CrossRef  Google Scholar 

  11. Prasad Sistla, A., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM (JACM) 32(3), 733–749 (1985)

    MathSciNet  CrossRef  MATH  Google Scholar 

  12. 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)

    Google Scholar 

Download references

Acknowledgments

This work has been inspired by an ongoing project activity in favour of the Italian Ministry of Economic Development (MiSE). Many enlightening discussions on these topics with Antonio Bartoloni (MiSE) are kindly acknowledged. Then we wish to acknowledge several ENEA colleagues who contributed to improving our work with their constructive comments: Natale Massimo Caminiti, Umberto Ciorba, Enrico Cosimi, Flavio Fontana, Maria Gaeta, Stefano La Malfa, Sergio La Motta, Tiziano Pignatelli, Giangiacomo Ponzo, Marco Rao, Maria Velardi, and Maria Rosa Virdis.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alfredo Cuzzocrea .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Cuzzocrea, A., D’Elia, I., De Nicola, A., Maldini, H., Villani, M.L. (2016). Towards Temporal Analysis of Integrated Scenarios for Sustainable Innovation. In: , et al. Computational Science and Its Applications – ICCSA 2016. ICCSA 2016. Lecture Notes in Computer Science(), vol 9790. Springer, Cham. https://doi.org/10.1007/978-3-319-42092-9_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-42092-9_41

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-42091-2

  • Online ISBN: 978-3-319-42092-9

  • eBook Packages: Computer ScienceComputer Science (R0)