A formal framework for modelling complex network management systems

Society today is completely dependent on computer networks, the Internet and distributed systems, which place at our disposal the necessary services to perform our daily tasks. Subconsciously, we rely increasingly on network management systems. These systems allow us to, in general, maintain, manage, configure, scale, adapt, modify, edit, protect, and enhance the main distributed systems. Their role is secondary and is unknown and transparent to the users. They provide the necessary support to maintain the distributed systems whose services we use every day. If we do not consider network management systems during the development stage of distributed systems, then there could be serious consequences or even total failures in the development of the distributed system. It is necessary, therefore, to consider the management of the systems within the design of the distributed systems and to systematise their design to minimise the impact of network management in distributed systems projects. In this paper, we present a framework that allows the design of network management systems systematically. To accomplish this goal, formal modelling tools are used for modelling different views sequentially proposed of the same problem. These views cover all the aspects that are involved in the system; based on process definitions for identifying responsible and defining the involved agents to propose the deployment in a distributed architecture that is both feasible and appropriate.

Influence of tree hollow characteristics on the diversity of saproxylic insect guilds in Iberian Mediterranean woodlands

Saproxylic diversity assessment is a major goal for conservation strategies in woodlands and it should consider woodland composition and configuration at site and tree level as key modelling factors. However, in Mediterranean woodlands little is known about the relation with the environmental factors that structure their assemblages, especially those linked to tree hollow microhabitats. We assessed the diversity of Syrphidae (Diptera) and Coleoptera saproxylic guilds that co-occurred in tree hollows located in three different Iberian Mediterranean woodlands in the Cabañeros National Park (Spain). Furthermore, we evaluated how differences in tree hollow microenvironmental variables (understood as the physical and biotic characteristics of a hollow and tree individual) influenced saproxylic guild diversity both within and among woodland sites. We found that woodland sites that provided greater heterogeneity of trees and hollow microhabitats determined higher saproxylic guild diversity. Nevertheless, certain species or even complete guilds can be favoured in woodlands where some hollow microhabitats predominate as a consequence of historical tree management. In general, hollow volume was the main determining factor for saproxylic guild richness and abundance in woodland sites, and large hollow volume was usually related to higher diversity, which highlighted the importance of multi-habitat hollow trees. Moreover, saproxylic guilds also responded to other different microenvironmental variables, which indicated different ecological preferences among guilds. The conservation of saproxylic insects in Iberian Mediterranean areas must be addressed to protect woodland sites that provide high diversity and large numbers of tree hollow microhabitats, and practices to enhance microhabitat heterogeneity should even be encouraged.

Conceptual Modelling of Complex Network Management Systems

Society, as we know it today, is completely dependent on computer networks, Internet and distributed systems, which place at our disposal the necessary services to perform our daily tasks. Moreover, and unconsciously, all services and distributed systems require network management systems. These systems allow us to, in general, maintain, manage, configure, scale, adapt, modify, edit, protect or improve the main distributed systems. Their role is secondary and is unknown and transparent to the users. They provide the necessary support to maintain the distributed systems whose services we use every day. If we don’t consider network management systems during the development stage of main distributed systems, then there could be serious consequences or even total failures in the development of the distributed systems. It is necessary, therefore, to consider the management of the systems within the design of distributed systems and systematize their conception to minimize the impact of the management of networks within the project of distributed systems. In this paper, we present a formalization method of the conceptual modelling for design of a network management system through the use of formal modelling tools, thus allowing from the definition of processes to identify those responsible for these. Finally we will propose a use case to design a conceptual model intrusion detection system in network.

Use of an Inverse Method for Time Series to Estimate the Dynamics of and Management Strategies for the Box Jellyfish Carybdea marsupialis

Frequently, population ecology of marine organisms uses a descriptive approach in which their sizes and densities are plotted over time. This approach has limited usefulness for design strategies in management or modelling different scenarios. Population projection matrix models are among the most widely used tools in ecology. Unfortunately, for the majority of pelagic marine organisms, it is difficult to mark individuals and follow them over time to determine their vital rates and built a population projection matrix model. Nevertheless, it is possible to get time-series data to calculate size structure and densities of each size, in order to determine the matrix parameters. This approach is known as a “demographic inverse problem” and it is based on quadratic programming methods, but it has rarely been used on aquatic organisms. We used unpublished field data of a population of cubomedusae Carybdea marsupialis to construct a population projection matrix model and compare two different management strategies to lower population to values before year 2008 when there was no significant interaction with bathers. Those strategies were by direct removal of medusae and by reducing prey. Our results showed that removal of jellyfish from all size classes was more effective than removing only juveniles or adults. When reducing prey, the highest efficiency to lower the C. marsupialis population occurred when prey depletion affected prey of all medusae sizes. Our model fit well with the field data and may serve to design an efficient management strategy or build hypothetical scenarios such as removal of individuals or reducing prey. TThis This sdfsdshis method is applicable to other marine or terrestrial species, for which density and population structure over time are available.

Using satellite telemetry and environmental niche modelling to inform conservation targets for a long-distance migratory raptor in its wintering grounds

Understanding the ecology of migratory birds during the non-breeding season is necessary for ensuring their conservation. Using satellite telemetry data we describe winter ranging behaviour and movements of pallid harriers Circus macrourus that bred in Kazakhstan. We developed an ecological niche model for the species in Africa, to identify the most suitable wintering areas for pallid harriers and the importance of habitat in determining the location of those areas. We also assessed how well represented suitable areas are in the network of protected areas. Individual harriers showed relatively high fidelity to wintering areas but with potential for interannual changes. The ecological niche model highlighted the importance of open habitats with natural vegetation. Most suitable areas for the species were located in eastern Africa. Suitable areas had a patchy distribution but were relatively well included in the network of protected areas. The preferential use of habitats with natural vegetation by wintering pallid harriers and the patchiness of the most suitable areas highlight the harrier's vulnerability to land-use changes and the associated loss of natural vegetation in Africa. Conservation of harriers could be enhanced by preserving natural grasslands within protected areas and improving habitat management in the human-influenced portions of the species’ core wintering areas.