A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

Identifying the areas to preserve passion fruit pollination service in Brazilian Tropical Savannas under climate change

The aim of this study was to identify future distribution areas and propose actions to preserve passion fruit pollination service under a scenario of future climate change. We used four species of Xylocopa bees that are important for passion fruit pollination in Brazilian Tropical Savannas. We also used the known forage plant species (33 species) that are associated with this same area, since passion fruit flowers provide only nectar for bees and only during their blossoming period. We used species distribution modeling to predict the potential areas of occurrence for each bee and plant based on the current day distribution and a future climate scenario (moderate projections of climate change to 2050). We used a geographic information system to classify the models and to analyze the future areas for both groups of species. The current day distribution map showed that Xylocopa and plant species occurred primarily in the southern and central-eastern areas of the Brazilian Tropical Savannas. In the north, Xylocopa species only occurred in a small area between the states of Maranhão and Piauí while forage plant species were only observed in the northern part of the Tocantins State. However, both future scenarios (bees and plants) showed a shift in distribution, with occurrence predominantly detected in the northern areas of Brazilian Tropical Savannas. Possible conservation areas and the use of appropriate agricultural practices were suggested to ensure the maintenance of the bee/plant focal species.