Skip to main content
View expanded cover

International Conference on Computational Science and Its Applications

ICCSA 2016: Computational Science and Its Applications – ICCSA 2016 pp 544–551Cite as

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.

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)
Learn about institutional subscriptions
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

  1. DIA Department, University of Trieste and ICAR-CNR, Trieste, Italy

    Alfredo Cuzzocrea

  2. ENEA, CR Casaccia, Rome, Italy

    Ilaria D’Elia, Antonio De Nicola, Hugo Maldini & Maria Luisa Villani

Authors
  1. Alfredo Cuzzocrea
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ilaria D’Elia
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antonio De Nicola
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hugo Maldini
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Maria Luisa Villani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alfredo Cuzzocrea .

Editor information

Editors and Affiliations

  1. University of Perugia, Perugia, Italy

    Osvaldo Gervasi

  2. University of Basilicata, Potenza, Italy

    Beniamino Murgante

  3. Covenant University, Ota, Nigeria

    Sanjay Misra

  4. University of Minho, Braga, Portugal

    Ana Maria A.C. Rocha

  5. Polytechnic University, Bari, Italy

    Carmelo M. Torre

  6. Monash University, Clayton, Victoria, Australia

    David Taniar

  7. Kyushu Sangyo University, Fukuoka, Japan

    Bernady O. Apduhan

  8. Saint Petersburg State University, Saint Petersburg, Russia

    Elena Stankova

  9. Beijing University of Posts and Telecommunications, Beijing, China

    Shangguang Wang

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)