OASIS ES UN LENGUAJE FORMAL PARA LA ESPECIFICACIÓN DE REQUISITOS DE SISTEMAS DE INFORMACIÓN QUE SIGUE EL ENFOQUE ORIENTADO A OBJETOS. LA HERENCIA EN OASIS SE TRATA TAXONÓMICAMENTE DEFINIENDO PARTICIONES ESTÁTICAS Y DINÁMICAS. LAS PRIMERAS SUPONEN UN PARTICIONAMIENTO DEL ESPACIO TOTAL DE OBJETOS. LAS SEGUNDAS REPRESENTAN UN PARTICIONAMIENTO DEL ESPACIO DE ESTADOS DE LOS OBJETOS Y SE PRODUCE POR LA OCURRENCIA DE ACCIONES O POR LA CARACTERIZACIÓN DEL ESTADO DEL OBJETO A TRAVÉS DE VALORES DE ATRIBUTOS. EN OASIS EL FORMALISMO UTILIZADO PARA DAR CUENTA DEL COMPORTAMIENTO DEL OBJETO ES UNA VARIANTE DE LÓGICA DINÁMICA QUE INCLUYE LOS OPERADORES DEÓNTICOS DE PERMISO, PROHIBICIÓN Y OBLIGACIÓN. SE HA ESTABLECIDO UN MARCO DE TRABAJO PARA ANIMAR ESPECIFICACIONES OASIS DADO EL INTERÉS EXISTENTE EN LA VALIDACIÓN TEMPRANA DE REQUISITOS. ESTE TRABAJO PRESENTA UN PROCEDIMIENTO AUTOMATIZABLE PARA INTE7JJRETAR LAS PARTICIONES ESTÁTICAS Y DINÁMICAS DE OASIS COMO FÓRMULAS EN LA VARIANTE DE LÓGICA DINÁMICA UTILIZADA. ASÍ, ES POSIBLE ANIMAR ( DE FORMA HOMOGÉNEA Y USANDO EL MARCO ESTABLECIDO) ESPECIFICACIONES OASIS CON HERENCIA.