Skip to main content
SpringerLink
Log in

Towards Temporal Analysis of Integrated Scenarios for Sustainable Innovation

  • Conference paper
  • First Online:
Book cover Computational Science and Its Applications – ICCSA 2016 (ICCSA 2016)

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

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

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)

    Article  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)

    Article  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)

    Article  Google Scholar 

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

    Article  MathSciNet  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: Gervasi, O., 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)

Publish with us

Policies and ethics

Search

Navigation