Validación de protocolos, una aproximación algebraica

Pereda Soriano, Orlando (1987). Validación de protocolos, una aproximación algebraica. Thesis (Doctoral), Facultad de Informática (UPM).

Description

Title: Validación de protocolos, una aproximación algebraica
Author/s:
  • Pereda Soriano, Orlando
Contributor/s:
  • García Tomás, Jesús
Item Type: Thesis (Doctoral)
Date: 1987
Subjects:
Freetext Keywords: Algebra de Procesos. Entes en comunicación. Especificación formal. Ingeniería de protocolos. Predicción de prestaciones. Proceso automatizado. Semántica. Sistemas Distriduidos. Validación algebraica. KEYWORDS. Algebraic Validation. Automated Process. Comunnicating Entities. Distributed Systems. Formal -Specification. Performance Prediction. Process Algebra, Protocol Engineering. Formal Semantic.
Faculty: Facultad de Informática (UPM)
Department: Otro
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (7MB) | Preview

Abstract

El entorno del trabajo se sitúa en la investigación de varios aspectos de la ingeniería del software, -entre otros, la modelización, especificación y validación -, además de la aplicación de tal ingeniería, al desarrollo de herramientas y técnicas para los protocolos de comunicación en el entorno de la Interconexión de Sistemas Abiertos (ISA). En el presente trabajo se introduce un modelo algebraico encaminado a la validación de la corrección de protocolos, que además unifica las consideraciones de rendimiento y prestaciones, a través de una semántica probabilista. Partiendo de tal modelo, se propone una metodología de diseño para facilitar el buen rendimiento de la validación de las especificaciones de protocolos y servicios, antes de la etapa de implementación. La propuesta de la metodología concreta, lleva asociado el desarrollo de herramientas apropiadas para la validación de especificaciones que, tomando como base el modelo propuesto, permiten el uso de diferentes lenguajes de especificación formal, cada uno posiblemente adecuado a la descripción de diferentes elementos de los sistemas distribuidos, y adaptados a la validación: Se toman como casos de estudio LOTOS y ESTELLE. ABSTRACT The objetives of the present work have been directed towards researching on several software engineering aspects, - i.e. modelling, specification and validation -, and also covering the application of such engineering to the development of techniques and tools for protocols in the Open Systems Interconnection (OSI) framework. In this work an algebraic model is introduced for the protocol correctness validation, unifying functional and performance aspects by means of a probabilistic semantic. Based on such a model, a dessign methodology is proposed for a good performance and easiness of protocol and service specifications validation, before the implementation stage. The proposed methodology is accomplished by the development of tools for proper specifications validation. Based on the proposed model, such kind of tools provide support to several formal specification languages, each of them possibly offering fitness to different distributed system components, and adequacy to validation: We have selected LOTOS and ESTELLE.

More information

Item ID: 10327
DC Identifier: http://oa.upm.es/10327/
OAI Identifier: oai:oa.upm.es:10327
Deposited by: Archivo Digital UPM 2
Deposited on: 16 Feb 2012 08:04
Last Modified: 20 Apr 2016 18:32
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM