Refining Nodes and Edges of State Machines

State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement. We compare the two notions by means of examples and argue that, by adopting simple conventions, they can be combined into one method of refinement. In the combined method, node refinement can be used to develop architectural aspects of a model and edge refinement to develop algorithmic aspects. The two notions of refinement are grounded in previous work. Event-B is used as the foundation for our refinement theory and UML-B state machine refinement influences the style of node refinement. Hence we propose a method with direct proof of state machine refinement avoiding the detour via Event-B that is needed by UML-B

A model intercomparison project to study the role of plant functional diversity in the response of tropical forests to drought

Uncertainty in how the land carbon (C) sink will change over time contributes to uncertainty in Earth system model (ESM) projections of climate change. Much of the land sink is thought to reside in old-growth tropical forests, but recent analyses suggest a diminishing C sink in these forests due to rising temperatures and drought. Thus, there is an urgent need to better understand tropical forest responses to drought and to incorporate this understanding into ESMs. Previous work with vegetation demographic models (VDMs) – which represent the dynamics of individuals or cohorts, along with hydrology and biogeochemistry − suggest that functional diversity can enhance tropical forest resilience to climate change. However, there is little understanding of how different approaches to representing trait diversity and demography affect model outcomes. To explore the potential for trait diversity to moderate tropical forest responses to drought, we explored the behavior of nine VDMs, ranging from models with detailed site-level parameterizations to more generalized land models designed as ESM components. The behavior of each model was studied using soil and meteorological data collected at each of two tropical forest sites: Paracou Research Station, French Guiana, and Tapajos National Forest, Brazil. Low and high trait-diversity scenarios were simulated for each model using historical meteorology, as well as reduced rainfall scenarios. Few models showed strong effects of trait diversity on drought resistance (short-term response of forest biomass to rainfall reduction), but most models showed positive effects of diversity on resilience (long-term recovery of forest biomass following the initial biomass loss due to rainfall reduction). Long-term recovery was always associated with shifts in community composition towards greater drought-tolerance. However, there were large differences among models in the degree and time-scale of recovery. These differences were unrelated to the goodness-of-fit of model predictions to observations of biomass, productivity, and soil moisture, suggesting that site-level calibration of model parameters is unlikely to strongly affect biodiversity-ecosystem functioning relationships in VDMs. Rather, the degree to which diversity moderated drought responses depended on which axes of trait variation were represented in the model, as well as model assumptions that affect the time-scale over which community composition shifts in response to environmental change. Our study suggests that incorporating trait diversity and demography into ESMs would likely lead to altered climate projections, but additional empirical and modeling work is needed to provide the ESM community with clear guidance on model development

TRY plant trait database – enhanced coverage and open access

Plant traits—the morphological, anatomical, physiological, biochemical and phenological characteristics of plants—determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait‐based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits—almost complete coverage for ‘plant growth form’. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait–environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives