Handbook of logic in computer science (vol. 4)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Department of Defense High Level Architecture
Proceedings of the 29th conference on Winter simulation
Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
A Formal Model for Integrating Multiple Views
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
UML 2 Semantics and Applications
UML 2 Semantics and Applications
Property-driven development of a coordination model for distributed simulations
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Hi-index | 0.00 |
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.