Validación de protocolos, una aproximación algebraica

Pereda Soriano, Orlando (1987). Validación de protocolos, una aproximación algebraica. Tesis (Doctoral), Facultad de Informática (UPM) [antigua denominación].

Descripción

Título: Validación de protocolos, una aproximación algebraica
Autor/es:
  • Pereda Soriano, Orlando
Director/es:
  • García Tomás, Jesús
Tipo de Documento: Tesis (Doctoral)
Fecha: 1987
Materias:
Palabras Clave Informales: 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.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Otro
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (7MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 10327
Identificador DC: http://oa.upm.es/10327/
Identificador OAI: oai:oa.upm.es:10327
Depositado por: Archivo Digital UPM 2
Depositado el: 16 Feb 2012 08:04
Ultima Modificación: 20 Abr 2016 18:32
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM