FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021457058> ?p ?o ?g. }

• W2021457058 abstract "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." @default.
• W2021457058 created "2016-06-24" @default.
• W2021457058 creator A5030920447 @default.
• W2021457058 creator A5034889810 @default.
• W2021457058 creator A5072778186 @default.
• W2021457058 creator A5087600309 @default.
• W2021457058 date "2008-02-01" @default.
• W2021457058 modified "2023-09-26" @default.
• W2021457058 cites W132395993 @default.
• W2021457058 cites W1487761086 @default.
• W2021457058 cites W1489992655 @default.
• W2021457058 cites W1490651636 @default.
• W2021457058 cites W1495011550 @default.
• W2021457058 cites W1500092210 @default.
• W2021457058 cites W1501266109 @default.
• W2021457058 cites W151908106 @default.
• W2021457058 cites W1522123597 @default.
• W2021457058 cites W1525932556 @default.
• W2021457058 cites W1533708236 @default.
• W2021457058 cites W1546703457 @default.
• W2021457058 cites W1546842576 @default.
• W2021457058 cites W1548580716 @default.
• W2021457058 cites W1553406086 @default.
• W2021457058 cites W1555177483 @default.
• W2021457058 cites W1565279216 @default.
• W2021457058 cites W1570695572 @default.
• W2021457058 cites W1575350781 @default.
• W2021457058 cites W1575371814 @default.
• W2021457058 cites W1575885985 @default.
• W2021457058 cites W1598149995 @default.
• W2021457058 cites W1598285388 @default.
• W2021457058 cites W1603799276 @default.
• W2021457058 cites W1605217017 @default.
• W2021457058 cites W1613836731 @default.
• W2021457058 cites W1619613999 @default.
• W2021457058 cites W1828150029 @default.
• W2021457058 cites W1856778908 @default.
• W2021457058 cites W190289764 @default.
• W2021457058 cites W1913545852 @default.
• W2021457058 cites W1956559956 @default.
• W2021457058 cites W1964962870 @default.
• W2021457058 cites W1966396962 @default.
• W2021457058 cites W1967825155 @default.
• W2021457058 cites W1968155810 @default.
• W2021457058 cites W1976489525 @default.
• W2021457058 cites W1976794542 @default.
• W2021457058 cites W1981563247 @default.
• W2021457058 cites W1983274383 @default.
• W2021457058 cites W1988602351 @default.
• W2021457058 cites W1991293812 @default.
• W2021457058 cites W1994410397 @default.
• W2021457058 cites W1996241990 @default.
• W2021457058 cites W1997941062 @default.
• W2021457058 cites W2000273502 @default.
• W2021457058 cites W2000333294 @default.
• W2021457058 cites W2001181241 @default.
• W2021457058 cites W2006551346 @default.
• W2021457058 cites W2007687650 @default.
• W2021457058 cites W2010367312 @default.
• W2021457058 cites W201179911 @default.
• W2021457058 cites W2012299268 @default.
• W2021457058 cites W2013984993 @default.
• W2021457058 cites W2017478918 @default.
• W2021457058 cites W2019194162 @default.
• W2021457058 cites W2021779416 @default.
• W2021457058 cites W2022817227 @default.
• W2021457058 cites W2023408138 @default.
• W2021457058 cites W2023808162 @default.
• W2021457058 cites W2028195352 @default.
• W2021457058 cites W2029341294 @default.
• W2021457058 cites W2033252376 @default.
• W2021457058 cites W2038519936 @default.
• W2021457058 cites W2038808651 @default.
• W2021457058 cites W2043747172 @default.
• W2021457058 cites W2046166587 @default.
• W2021457058 cites W2048216699 @default.
• W2021457058 cites W2051461667 @default.
• W2021457058 cites W2060638392 @default.
• W2021457058 cites W2065321942 @default.
• W2021457058 cites W2066636486 @default.
• W2021457058 cites W2069153192 @default.
• W2021457058 cites W2071165012 @default.
• W2021457058 cites W2072614412 @default.
• W2021457058 cites W2074277560 @default.
• W2021457058 cites W2074449313 @default.
• W2021457058 cites W2080676333 @default.
• W2021457058 cites W2081470778 @default.
• W2021457058 cites W2087303323 @default.
• W2021457058 cites W2093532875 @default.
• W2021457058 cites W2093926207 @default.
• W2021457058 cites W2095976990 @default.
• W2021457058 cites W2096203351 @default.
• W2021457058 cites W2100026935 @default.
• W2021457058 cites W2104917663 @default.
• W2021457058 cites W2105533042 @default.
• W2021457058 cites W2110425399 @default.
• W2021457058 cites W2110441437 @default.
• W2021457058 cites W2111363262 @default.
• W2021457058 cites W2111996486 @default.
• W2021457058 cites W2114902385 @default.

• next