Formalización algebraica de un entorno de producción automática de prototipos orientados a objetos

PRESENTAMOS EN ESTA TESIS UN ENTORNO FORMAL DE DESARROLLO DE PROTOTIPOS OPERACIONALES, O FUNCIONALES, DE SISTEMAS DE INFORMACION DESDE UNA PERSPECTIVA ORIENTADA A OBJETOS (CASE 86) (DAVIS 92), LA FORMALIZACION SE REALIZA A DOS NIVELES: EN PRIMER LUGAR, ADOPTAMOS, Y EXTENDEMOS, LA PROPUESTA DE FORMALIZACION DEL MODELO ORIENTADO A OBJETOS DE (SERNADAS ET AL. 89A 89B) (EHRIG ET AL. 88 90), UTILIZANDO EL LENGUAJE OASIS DE ESPECIFICACION ORIENTADA A OBJETOS (PASTOR92), (PASTOR ET AL.92). EN SEGUNDO LUGAR, UTILIZAMOS LA TEORIA DE ESPECIFICACIONES ALBEBRAICAS (EHRIG MAHR 85), (HOREBEEK LEWI 89), (GOGUEN MESEGUER 88R COMO SOPORTE MATEMATICO PARA DEFINIR EL ENTORNO (RAMOS ET AL.92). EN PARTICULAR, SE PROPORCIONAN DOS ESPECIFICACIONES ALGEBRAICAS: LA PRIMERA FORMALIZA EL PROPIO LENGUAJE OASIS; LA SEGUNDA CONSISTE EN UNA FORMALIZACION DE LA VIDA DE LOS OBJETOS EN EL UOD. EN ESTE CONTEXTO, A PARTIR DE UNA ESPECIFICACION OASIS DEL ESQUEMA CONCEPTUAL, EL "PROTOTIPADOR ALGEBRAICO ORIENTADO A OBJETOS" (OOAP) GENERA AUTOMATICAMENTE UN TERMINO "GROUND" (SIN VARIABLES) VALIDO DEL ALGEBRA DE TERMINOS DE LA ESPECIFICACION DEL LENGUAJE OASIS QUE DA LA SEMANTICA FORMAL DE LOS REQUERIMIENTOS LOGICOS DEL SISTEMA. DESPUES DE REALIZAR EL ANALISIS DE CONSISTENCIA, OOAP GENERA UN PROTOTIPO EN OBJ3 (GOGUEN ET AL. 92A) PARA ESA ESPECIFICACION QUE SE EJECUTA INTERNAMENTE MEDIANTE UN SISTEMA DE REESCRITURA. A PARTIR DE ESE MOMENTO EL PROTOTIPO PUEDE SER UTILIZADO POR USUARIOS E INGENIEROS DE SOFTWARE PARA VERIFICAR LOS REQUERIMIENTOS FUNCIONALES DEL SISTEMA DE INFORMACION DEL DESARROLLO.