A formal framework for modelling complex network management systems
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10045/39282
Title: | A formal framework for modelling complex network management systems |
---|---|
Authors: | Maciá Pérez, Francisco | Lorenzo Fonseca, Iren | Berna-Martinez, Jose Vicente |
Research Group/s: | GrupoM. Redes y Middleware |
Center, Department or Service: | Universidad de Alicante. Departamento de Tecnología Informática y Computación |
Keywords: | Network management systems | Frameworks and models | Conceptual model | Functional model | Architectural model | Business process modelling notation | Multi-agent system | Service oriented architecture |
Knowledge Area: | Arquitectura y Tecnología de Computadores |
Issue Date: | Apr-2014 |
Publisher: | Elsevier |
Citation: | Journal of Network and Computer Applications. 2014, 40: 255-269. doi:10.1016/j.jnca.2013.09.017 |
Abstract: | 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. |
URI: | http://hdl.handle.net/10045/39282 |
ISSN: | 1084-8045 (Print) | 1095-8592 (Online) |
DOI: | 10.1016/j.jnca.2013.09.017 |
Language: | eng |
Type: | info:eu-repo/semantics/article |
Peer Review: | si |
Publisher version: | http://dx.doi.org/10.1016/j.jnca.2013.09.017 |
Appears in Collections: | INV - GrupoM - Artículos de Revistas |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
2014_Macia_etal_JNCA_final.pdf | Versión final (acceso restringido) | 2,54 MB | Adobe PDF | Open Request a copy |
Items in RUA are protected by copyright, with all rights reserved, unless otherwise indicated.