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.

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.

Nitrogen metabolism in haloarchaea

The nitrogen cycle (N-cycle), principally supported by prokaryotes, involves different redox reactions mainly focused on assimilatory purposes or respiratory processes for energy conservation. As the N-cycle has important environmental implications, this biogeochemical cycle has become a major research topic during the last few years. However, although N-cycle metabolic pathways have been studied extensively in Bacteria or Eukarya, relatively little is known in the Archaea. Halophilic Archaea are the predominant microorganisms in hot and hypersaline environments such as salted lakes, hot springs or salted ponds. Consequently, the denitrifying haloarchaea that sustain the nitrogen cycle under these conditions have emerged as an important target for research aimed at understanding microbial life in these extreme environments. The haloarchaeon Haloferax mediterranei was isolated 20 years ago from Santa Pola salted ponds (Alicante, Spain). It was described as a denitrifier and it is also able to grow using NO3-, NO2- or NH4+ as inorganic nitrogen sources. This review summarizes the advances that have been made in understanding the N-cycle in halophilic archaea using Hfx mediterranei as a haloarchaeal model. The results obtained show that this microorganism could be very attractive for bioremediation applications in those areas where high salt, nitrate and nitrite concentrations are found in ground waters and soils.

Innovation in the teaching of sustainable development in Europe: the case of ISLE Erasmus Network

Sustainable Development (SD) is one of the most widely used terms during the last years. It is a multidisciplinary concept, which applies mostly to life sciences but is not limited to them. Even though the short survey conducted by the authors revealed that there are only a few cases of Higher Educational Institutes (HEIs) around Europe that provide programs dedicated to SD, it is obvious that there is a constant raise in the need for implementing courses related to SD in existing programs. This paper discusses the case study of I.S.L.E., an Erasmus Academic Network, which aims to use the existing knowledge and tools in the context of teaching sustainable development topics in Universities and HEIs around Europe as a basis, and elaborate further by introducing an innovative approach towards the improvement of teaching SD in HEIs, based on the current needs as they are identified by the actions of the Network.