Skip to main content
SpringerLink
Log in

View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling

  • Conference paper
Large-Scale Complex IT Systems. Development, Operation and Management (Monterey Workshop 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7539))

Included in the following conference series:

Abstract

We report on the development of a large-scale simulation framework for environmental modelling. The framework allows to couple various simulation models from natural and social science disciplines to perform integrative simulations. It has been constructed following a development methodology based on the identification of different functional views, which are concerned with data exchange, simulation space and coordination of distributed simulation models with respect to (logical) simulation time. On all levels of the development we have rigorously applied modelling and specification techniques including the last step, in which the different views are integrated into a component model of the full framework. The requirements for the correct coordination of simulation models have been formally specified in terms of the process algebra FSP and the design model has been model checked against the coordination requirements. Within the GLOWA-Danube project the framework has been successfully instantiated to construct the distributed simulation system Danubia which integrates up to 15 simulation models from various disciplines to model the consequences of global climate change for the water household on regional scales.

This research has been partially supported by the GLOWA-Danube project 01LW0602A2 sponsored by the German Federal Ministry of Education and Research and by the EU project ASCENS, 257414.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)

    Article  Google Scholar 

  2. Allen, R., Garlan, D., Ivers, J.: Formal modeling and analysis of the HLA component integration standard. In: Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 1998/FSE-6), pp. 70–79 (1998)

    Google Scholar 

  3. Barth, M., Knapp, A.: A coordination architecture for time-dependent components. In: Proc. 22nd Int. Multi-Conf. Applied Informatics. Software Engineering (IASTED SE 2004), pp. 6–11 (2004)

    Google Scholar 

  4. Bowles, J.K.F., Bordbar, B.: A Formal Model for Integrating Multiple Views. In: International Conference on Application of Concurrency to System Design, pp. 71–79 (2007)

    Google Scholar 

  5. Cengarle, M.V., Knapp, A., Mühlberger, H.: Interactions. In: Lano [19], ch. 9, pp. 205–248

    Google Scholar 

  6. Dahmann, J.S., Fujimoto, R., Weatherly, R.M.: The department of defense high level architecture. In: Winter Simulation Conference, pp. 142–149 (1997)

    Google Scholar 

  7. D’Souza, D., Wills, A.: Objects, Components and Frameworks with UML – The Catalysis Approach. Addison-Wesley, Reading (1999)

    Google Scholar 

  8. Giupponi, C., Jakeman, A.J., Karssenberg, D., Hare, M.P. (eds.): Sustainable Management of Water Resources – An Integrated Approach. Edward Elgar Publishing, Cheltenham (2006)

    Google Scholar 

  9. Gregersen, J.B., Gijsbers, P.J.A., Westen, S.J.P.: OpenMI: Open modelling interface. Journal of Hydroinformatics 9(3), 175–191 (2007)

    Article  Google Scholar 

  10. Haugen, Ø., Husa, K., Runde, R., Stølen, K.: STAIRS towards formal design with sequence diagrams. Software and Systems Modeling 4, 355–357 (2005), 10.1007/s10270-005-0087-0

    Article  Google Scholar 

  11. Haugen, Ø., Stølen, K.: STAIRS – Steps To Analyze Interactions with Refinement Semantics. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 388–402. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Hennicker, R., Ludwig, M.: Property-Driven Development of a Coordination Model for Distributed Simulations. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 290–305. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  13. Hillyer, C., Bolte, J., van Evert, F., Lamaker, A.: The ModCom modular simulation system. European Journal of Agronomy 18(3), 333–343(11) (2003)

    Article  Google Scholar 

  14. Hitz, M., Kappel, G., Kapsamer, E., Retschnitzegger, W.: UML@Work – Objektorientierte Modellierung mit UML 2 (3. Auflage). dpunkt.verlag, Heidelberg (2005)

    Google Scholar 

  15. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Modeling Language User Guide, 2nd edn. The Addison-Wesley Object Technology Series. Addison-Wesley (2005)

    Google Scholar 

  16. Jagers, H.R.A.: Linking Data, Models and Tools: An Overview. In: Swayne, D.A., Yang, W., Voinov, A.A., Rizzoli, A., Filatova, T. (eds.) Proceedings of the iEMSs Fifth Biennial Meeting: International Congress on Environmental Modelling and Software (iEMSs 2010), Ottawa, Canada. International Environmental Modelling and Software Society (July 2010)

    Google Scholar 

  17. Klein, J., Caillaud, B., Hélouet, L.: Merging Scenarios. In: 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Linz, Austria, pp. 209–226 (September 2004)

    Google Scholar 

  18. Kralisch, S., Krause, P., David, O.: Using the Object Modeling System for hydrological model development and application. Advances in Geosciences 4, 75–81 (2005)

    Article  Google Scholar 

  19. Lano, K. (ed.): UML 2 Semantics and Applications. John Wiley & Sons (2009)

    Google Scholar 

  20. Letcher, R.A., Bromley, J.: Typology of Models and Methods of Integration. In: Giupponi, et al. [8], vol. 11, pp. 287–323

    Google Scholar 

  21. Ludwig, M.: Modelling and Architecture of a Generic Framework for Integrative Environmental Simulations. Berichte aus der Informatik. Shaker, Aachen (2011)

    MATH  Google Scholar 

  22. Ludwig, R., Mauser, W., Niemeyer, S., Colgan, A., Stolz, R., Escher-Vetter, H., Kuhn, M., Reichstein, M., Tenhunen, J., Kraus, A., Ludwig, M., Barth, M., Hennicker, R.: Web-based Modeling of Water, Energy and Matter Fluxes to Support Decision Making in Mesoscale Catchments – the Integrative Perspective of GLOWA-Danube. Physics and Chemistry of the Earth 28, 621–634 (2003)

    Article  Google Scholar 

  23. Magee, J., Kramer, J.: Concurrency: state models & Java programming, 2nd edn. Wiley, Chichester (2006)

    Google Scholar 

  24. Rahman, J.M., Seaton, S.P., Perraud, J.-M., Hotham, H., Verrelli, D.I., Coleman, J.R.: It’s TIME for a New Environmental Modelling Framework. In: Proceedings of MODSIM 2003 International Congress on Modelling and Simulation, Townsville, Australia, vol. 4. Modelling and Simulation Society of Australia and New Zealand Inc. (July 2003)

    Google Scholar 

  25. Tenhunen, J.D., Kabat, P. (eds.): Integrating Hydrology, Ecosystem Dynamics, and Biogeochemistry in Complex Landscapes. Wiley, Chichester (1999)

    Google Scholar 

  26. GLOWA-Danube Project Website, http://www.glowa-danube.de (last visited May 10, 2011)

  27. Warmer, J., Kleppe, A.: The Object Constraint Language, 2nd edn. Addison-Wesley (2003)

    Google Scholar 

  28. Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 4, pp. 1–148. Oxford University Press, Oxford (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Ludwig-Maximilians-Universität München, Germany

    Rolf Hennicker & Matthias Ludwig

Authors
  1. Rolf Hennicker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Ludwig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of York, Deramore Lane, YO10 5GH, Heslington, York, UK

    Radu Calinescu

  2. School of Computer Science, Carnegie Mellon University, 15213, Pittsburgh, PA, USA

    David Garlan

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hennicker, R., Ludwig, M. (2012). View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. In: Calinescu, R., Garlan, D. (eds) Large-Scale Complex IT Systems. Development, Operation and Management. Monterey Workshop 2012. Lecture Notes in Computer Science, vol 7539. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34059-8_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34059-8_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34058-1

  • Online ISBN: 978-3-642-34059-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation