EVOLUTIONARY BIOLOGY IN BIODIVERSITY SCIENCE, CONSERVATION, AND POLICY: A CALL TO ACTION

Evolutionary biologists have long endeavored to document how many species exist on Earth, to understand the processes by which biodiversity waxes and wanes, to document and interpret spatial patterns of biodiversity, and to infer evolutionary relationships. Despite the great potential of this knowledge to improve biodiversity science, conservation, and policy, evolutionary biologists have generally devoted limited attention to these broader implications. Likewise, many workers in biodiversity science have underappreciated the fundamental relevance of evolutionary biology. The aim of this article is to summarize and illustrate some ways in which evolutionary biology is directly relevant We do so in the context of four broad areas: (1) discovering and documenting biodiversity, (2) understanding the causes of diversification, (3) evaluating evolutionary responses to human disturbances, and (4) implications for ecological communities, ecosystems, and humans We also introduce bioGENESIS, a new project within DIVERSITAS launched to explore the potential practical contributions of evolutionary biology In addition to fostering the integration of evolutionary thinking into biodiversity science, bioGENESIS provides practical recommendations to policy makers for incorporating evolutionary perspectives into biodiversity agendas and conservation. We solicit your involvement in developing innovative ways of using evolutionary biology to better comprehend and stem the loss of biodiversity.

Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.