Foundations of distributed multiscale computing: formalization, specification, and analysis

Inherently complex problems from many scientific disciplines require a multiscale modeling approach. Yet its practical contents remain unclear and inconsistent. Moreover, multiscale models can be very computationally expensive, and may have potential to be executed on distributed infrastructure. In this paper we propose firm foundations for multiscale modeling and distributed multiscale computing. Useful interaction patterns of multiscale models are made predictable with a submodel execution loop (SEL), four coupling templates, and coupling topology properties. We enhance a high-level and well-defined Multiscale Modeling Language (MML) that describes and specifies multiscale models and their computational architecture in a modular way. The architecture is analyzed using directed acyclic task graphs, facilitating validity checking, scheduling distributed computing resources, estimating computational costs, and predicting deadlocks. Distributed execution using the multiscale coupling library and environment (MUSCLE) is outlined. The methodology is applied to two selected applications in nanotechnology and biophysics, showing its capabilities.