Communicating sequential processes
Communicating sequential processes
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Communicating sequential processes
Communications of the ACM
Communication and Concurrency
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Introduction to Process Algebra
Introduction to Process Algebra
ICENI: an open grid service architecture implemented with Jini
Proceedings of the 2002 ACM/IEEE conference on Supercomputing
Toward a Common Component Architecture for High-Performance Scientific Computing
HPDC '99 Proceedings of the 8th IEEE International Symposium on High Performance Distributed Computing
MPI: A Message-Passing Interface Standard
MPI: A Message-Passing Interface Standard
The Architecture of the Earth System Modeling Framework
Computing in Science and Engineering
A taxonomy of scientific workflow systems for grid computing
ACM SIGMOD Record
GCF: a general coupling framework
Concurrency and Computation: Practice & Experience - Computational Frameworks
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
PALM: a dynamic parallel coupler
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
Hi-index | 0.00 |
Scientists in many fields rely on computational simulations that are built from a collection of separate, inter-communicating single models (e.g. Earth System Models often consist of single models of the ocean, atmosphere and land processes); these simulations are called coupled models. Coupled models allow scientists to simulate richer scientific phenomena than is possible by running single models alone. Scientific interest is typically focused on the investigation served by a coupled model, rather than the complex and inadequately supported software engineering activity of constructing it. In response to this lack of support, a coupling methodology called the Flexible Coupling Approach (FCA) has been developed at the University of Manchester together with a tool that implements this approach, the Bespoke Framework Generator (BFG). Whilst being adequate for a large class of coupled models (e.g., many Earth System Models), the BFG is unable to handle coupled models with complex behavioural requirements (in terms of the scheduling and inter-communication of single models). To capture these more complex expressions of behaviour, this paper introduces NOAH, a domain-specific language that is implemented in the formalism Communicating Sequential Processes (CSP), and which is used by a new implementation of the FCA, called the CSP-based Framework Generator (CFG). NOAH is introduced through two example coupled models which have complex behavioural requirements. NOAH represents the first attempt to bring the advantages of using formal descriptions of coupled models to application scientists, providing a language in which to specify coupled model behaviour precisely and the ability to check that a coupled model is deadlock free using tools such as the Failures-Divergence Refinement (FDR) model checker. Copyright © 2007 John Wiley & Sons, Ltd.