Definición de un modelo concurrente orientado a objetos. Agentes para sistemas multiagente

Abstract

EL PRESENTE TRABAJO DEFINE UN MODELO DE AGENTE GENERICO, UNA ARQUITECTURA SOFTWARE Y UN LENGUAJE CONCURRENTE ORIENTADO A OBJETOS PARA DICHA ARQUITECTURA, SU UTILIZACION DEBE PERMITIR EL DESARROLLO DE SISTEMAS MULTIAGENTE (MA) CAPACES DE TRABAJAR EN FORMA COOPERATIVA DURANTE LA RESOLUCION DISTRIBUIDA DE PROBLEMAS. EL MODELO SIGUE LAS LINEAS ACTUALES DE INVESTIGACION EN ESTE CAMPO, MEJORANDO LA EFICIENCIA DE ESTE TIPO DE SISTEMAS MEDIANTE LA CREACION DE UN NUEVO NIVEL DE GRANULARIDAD, EL DE LOS PROCESOS ASOCIADOS, QUE EVITA EL BLOQUEO DE LOS AGENTES DURANTE LA ATENCION DE SERVICIOS. DE ESTA FORMA, SE SOLUCIONAN GRAN PARTE DE LOS PROBLEMAS COMPUTACIONALES Y DE COMUNICACION DE LOS QUE ADOLECE ESTE TIPO DE SISTEMAS. EL DESARROLLO DE LA TESIS COMIENZA CON LA DEFINICION DEL MODELO FUNCIONAL Y LA ARQUITECTURA DE UN AGENTE GENERICO. POSTERIORMENTE, SE REALIZA LA ESPECIFICACION DE UN LENGUAJE CAPAZ DE SOPORTAR DICHA ARQUITECTURA. FINALMENTE, SE INTRODUCE EL NUCLEO DE UN LENGUAJE DE ALTO NIVEL, QUE SIGUIENDO LA ESPECIFICACION ANTERIOR, UTILIZA UN PARADIGMA CONCURRENTE ORIENTADO A OBJETOS. NI EL MODELO, NI LA ARQUITECTURA O EL LENGUAJE PROPUESTO PARTEN DE UNA SOLUCION A UN PROBLEMA CONCRETO, POR LO QUE SE ASEGURA UN ALTO GRADO DE GENERALIDAD. ELLO PERMITE AFRONTAR LA IMPLEMENTACION DE SISTEMAS MA EN UN AMPLIO RANGO DE DOMINIOS MEDIANTE EL USO DE LOS DIVERSOS METODOS Y TECNICAS MAS UTILIZADOS EN SISTEMAS MA.