Contribución a la modelación y especificación del comportamiento observable de sistemas concurrentes

• Autores: Gonzalo León Serrano
• Directores de la Tesis: Fernando Sáez Vacas (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1982
• Idioma: español
• Tribunal Calificador de la Tesis: Juan Bautista Riera García (presid.), Gregorio Fernández Fernández (secret.), Pedro de Miguel Anasagasti (voc.), Antonio Vaquero Sánchez (voc.), Fernando Sáez Vacas (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Logicales de ordenadores
• Texto completo no disponible (Saber más ...)
• Resumen

  • EL TRABAJO DESARROLLADO DESCRIBE UN MODELO CONCEPTUAL DE SISTEMA CONCURRENTE Y UNA HERRAMIENTA NOTACIONAL PARA DESCRIBIR SU COMPORTAMIENTO OBSERVABLE, EL MODELO CONCEPTUAL ESTA BASADO EN LA TEORIA GENERAL DE REDES (FORMALIZACION DE LAS REDES DE PETRI) COMO TRATAMIENTO BASICO DE LOS EVENTOS OBSERVABLES Y DE LAS TECNICAS DE DESCOMPOSICION FUNCIONAL (PRINCIPALMENTE METODOLOGIA GALILEO). LA DESCRIPCION DE UN PROCESO CONCURRENTE SE REALIZA MEDIANTE TRES NIVELES ESTRECHAMENTE RELACIONADOS UTILIZNDO UNA HERRAMIENTA NOTACIONAL DENOMINADA EXPRESIONES DE COORDINACION. EL COMPORTAMIENTO DE UN SISTEMA CONCURENTE SE EFECTUA MEDIANTE TRES OPERACIONES:

    COMPOSICION DESCOMPOSICION Y REETIQUETADO QUE PERMITEN CONSTRUIR SISTEMAS A PARTIR DE SUBSITEMAS.