NOAH: A CSP-based language for describing the behaviour of coupled models
NOAH: A CSP-based language for describing the behaviour of coupled models
复制标题
NOAH：一种基于 CSP 的语言，用于描述耦合模型的行为
DOI：
10.1002/spe.822
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Armstrong C
中科院分区：
文献类型：
--
作者：
Armstrong C
许多领域的科学家依赖于由一系列独立的、相互交流的单一模型建立起来的计算模拟（例如，地球系统模型通常由海洋、大气和陆地过程的单一模型组成）；这些模拟被称为耦合模型。与单独运行单个模型相比，耦合模型使科学家能够模拟更丰富的科学现象。科学兴趣通常集中在由耦合模型服务的调查上，而不是构造它的复杂和不充分支持的软件工程活动。为了应对这种缺乏支持的情况，曼彻斯特大学开发了一种称为柔性耦合方法（FCA）的耦合方法，以及实现该方法的工具——定制框架生成器（BFG）。虽然BFG足以处理大量的耦合模型（例如，许多地球系统模型），但它无法处理具有复杂行为要求的耦合模型（就单个模型的调度和相互通信而言）。为了捕捉这些更复杂的行为表达，本文介绍了NOAH，这是一种特定于领域的语言，在通信顺序过程（CSP）的形式中实现，并被FCA的新实现所使用，称为基于CSP的框架生成器（CFG）。通过两个具有复杂行为要求的实例耦合模型介绍了NOAH。NOAH代表了将耦合模型的正式描述的优势引入应用科学家的第一次尝试，它提供了一种语言，可以精确地指定耦合模型的行为，并能够使用诸如故障-散度细化（FDR）模型检查器等工具检查耦合模型是否无死锁。版权所有©2007 John Wiley & Sons， Ltd
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 calledcoupled 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.
登录
查看更多内容
影响因子：
3.9
作者：
Marc Najork;J. Wiener
通讯作者：
Marc Najork;J. Wiener
WebCat：Web 搜索结果自动分类
DOI：
--
发表时间：
2003
期刊：
Sistemi Evoluti per Basi di Dati
影响因子：
--
作者：
F. Giannotti;M. Nanni;D. Pedreschi;F. Samaritani
通讯作者：
F. Samaritani
DOI：
--
发表时间：
2001
期刊：
Proceedings, International Parallel and Distributed Processing Symposium (IPDPS)
影响因子：
--
作者：
Hongfei Yan;Jianyong Wang;Xiaoming Li;Lin Guo
通讯作者：
Lin Guo
大学网络链接的免费数据库：数据收集问题
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
M. Thelwall
通讯作者：
M. Thelwall
DOI：
--
发表时间：
1996
期刊：
Comput. Networks
影响因子：
--
作者：
Allison Woodruff;Paul M. Aoki;E. Brewer;P. Gauthier;L. Rowe
通讯作者：
L. Rowe