Kronun esquema de representación orientado a objeto para el desarrollo de software de sistemas de eventos discretos

Resumen

LA TESIS DOCTORAL ABORDA EL PROBLEMA DE DESARROLLO DE SOFTWARE ORIENTADO A OBJETO PARA APLICACIONES DE SISTEMAS DE EVENTOS DISCRETOS (SED), EN LA LITERATURA CIENTIFICA RELACIONADA, EXISTE CIERTO CONSENSO EN QUE UNO DE LOS ASPECTOS MAS IMPORTANTES DEL DESARROLLO DE TALES SISTEMAS CONSISTE EN SU ESPECIFICACION Y DISEÑO. TAMBIEN EXISTE CIERTO CONSENSO EN QUE SON NECESARIAS TECNICAS FORMALES PARA ESPECIFICAR Y DISEÑAR TALES SISTEMAS, SIENDO A SU VEZ CONVENIENTE DAR UN SENTIDO PRAGMATICO A DICHAS TECNICAS PARA SU INCORPORACION AL AMBITO INDUSTRIAL. EN PARTICULAR ESTE TRABAJO SE HA CENTRADO EN LOS SIGUIENTES TEMAS: EN PRIMER LUGAR SE HAN PUESTO DE MANIFIESTO LAS CARENCIAS Y VENTAJAS DE DISTINTOS MODELOS PARA LA DESCRIPCION DE SEDS. SE HA PROPUESTO UN ESQUEMA DE REPRESENTACION, DENOMINADO KRON (KNOWLEDGE REPRESENTATION ORIENTED NETS), QUE ESTA BASADO EN LA INTEGRACION DEL MODELO DE OBJETOS Y DE LAS REDES DE PETRI (REDES DE PETRI COLOREADAS). EL MODELO PERMITE REPRESENTAR EL COMPORTAMIENTO DE CADA ENTIDAD, ASI COMO LAS INTERACCIONES ENTRE LAS ENTIDADES QUE CONSTITUYEN EL SISTEMA. ADEMAS, SE SOPORTA LA REUSABILIDAD MEDIANTE LA HERENCIA Y LA DEFINICION DE OBJETOS COMPUESTOS. EN SEGUNDO LUGAR SE HA PRESENTADO UNA ADAPTACION A LA INTERPRETACION DE REDES DE PETRI COLOREADAS (RDPCS) DE LAS TECNICAS UTILIZADAS PARA IMPLEMENTAR EL MOTOR DE INFERENCIA DE LOS LENGUAJES BASADOS EN REGLAS. ESTAS TECNICAS PERMITEN QUE LAS PRESTACIONES DEL INTERPRETE DEL MODELO NO SE VEAN AFECTADAS EN EXCESO POR EL TAMAÑO DEL MODELO. FINALMENTE, SE DEFINEN LAS PAUTAS A SEGUIR EN EL MODELADO DE SISTEMAS DE EVENTOS DISCRETOS CON KRON. EL PROCESO SIGUE LOS PASOS CLASICOS DE UN METODO ORIENTADO A OBJETO. SOLO LOS ASPECTOS RELACIONADOS CON EL COMPORTAMIENTO DINAMICO DE LAS ENTIDADES ES PARTICULAR AL METODO PRESENTADO. TAMBIEN SE PRESENTAN LAS HERRAMIENTAS INFORMATICAS DISEÑADAS PARA SOPORTAR EL PROCESO DE DESARROLLO.