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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)
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)
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)
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)
Cengarle, M.V., Knapp, A., Mühlberger, H.: Interactions. In: Lano [19], ch. 9, pp. 205–248
Dahmann, J.S., Fujimoto, R., Weatherly, R.M.: The department of defense high level architecture. In: Winter Simulation Conference, pp. 142–149 (1997)
D’Souza, D., Wills, A.: Objects, Components and Frameworks with UML – The Catalysis Approach. Addison-Wesley, Reading (1999)
Giupponi, C., Jakeman, A.J., Karssenberg, D., Hare, M.P. (eds.): Sustainable Management of Water Resources – An Integrated Approach. Edward Elgar Publishing, Cheltenham (2006)
Gregersen, J.B., Gijsbers, P.J.A., Westen, S.J.P.: OpenMI: Open modelling interface. Journal of Hydroinformatics 9(3), 175–191 (2007)
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
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)
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)
Hillyer, C., Bolte, J., van Evert, F., Lamaker, A.: The ModCom modular simulation system. European Journal of Agronomy 18(3), 333–343(11) (2003)
Hitz, M., Kappel, G., Kapsamer, E., Retschnitzegger, W.: UML@Work – Objektorientierte Modellierung mit UML 2 (3. Auflage). dpunkt.verlag, Heidelberg (2005)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Modeling Language User Guide, 2nd edn. The Addison-Wesley Object Technology Series. Addison-Wesley (2005)
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)
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)
Kralisch, S., Krause, P., David, O.: Using the Object Modeling System for hydrological model development and application. Advances in Geosciences 4, 75–81 (2005)
Lano, K. (ed.): UML 2 Semantics and Applications. John Wiley & Sons (2009)
Letcher, R.A., Bromley, J.: Typology of Models and Methods of Integration. In: Giupponi, et al. [8], vol. 11, pp. 287–323
Ludwig, M.: Modelling and Architecture of a Generic Framework for Integrative Environmental Simulations. Berichte aus der Informatik. Shaker, Aachen (2011)
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)
Magee, J., Kramer, J.: Concurrency: state models & Java programming, 2nd edn. Wiley, Chichester (2006)
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)
Tenhunen, J.D., Kabat, P. (eds.): Integrating Hydrology, Ecosystem Dynamics, and Biogeochemistry in Complex Landscapes. Wiley, Chichester (1999)
GLOWA-Danube Project Website, http://www.glowa-danube.de (last visited May 10, 2011)
Warmer, J., Kleppe, A.: The Object Constraint Language, 2nd edn. Addison-Wesley (2003)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)