Ejemplo

Digamos que los ingresos de un empleo de una persona se modelan como prueba de Cúram. Los ingresos se inician cuando una persona inicia un empleo, y finalizan si el empleo es terminado posteriormente. El nombre del empleador es constante durante todo el período de ingresos, debido a que el diseñador de la estructura de pruebas tomó una decisión de diseño según la cual si una persona se mueve de un trabajo a otro, el primer empleo llega a su fin y se inicia un empleo aparte.

Durante el ciclo de vida de un empleo, la cantidad de ingresos (es decir, el pago por año) puede variar, por ejemplo el empleado recibe aumentos de salarios. De forma similar, pero de forma independiente, la persona puede ser empleada en una base permanente o temporal, y este "estado del empleo" puede cambiar durante la duración del empleo. El importe de los ingresos puede cambiar en la misma fecha que el estado del empleo, pero un cambio en el importe de los ingresos puede tener lugar sin que haya un cambio e n el estado del empleo, y viceversa.

El diseñador de pruebas diseña una entidad de pruebas de ingresos de la siguiente manera:

A continuación un diseñador de reglas modela una nueva clase de regla "Ingresos", ampliando la clase de regla "ActiveInEditSuccessionSet", y añade atributos de reglas, identificando cuáles tienen valores que cambian con el tiempo (es decir, aquellos que debe permitirse que varíen entre registros diferentes en el mismo conjunto de sucesiones):

Debe ser constante en los registros en el conjunto de sucesiones:

Debe permitirse que varíen en los registros en el conjunto de sucesiones:

El diseñador de reglas también identifica qué atributos de reglas para identifican la "línea temporal" de los ingresos:

and anota la clase de regla para identificar estos atributos de regla.

Un administrador publica los cambios del conjunto de reglas y, a continuación, publica una configuración de datos para objetos de reglas de sucesiones activos/en edición para correlacionar el tipo de prueba de ingresos con la clase de regla nueva. Un trabajador de caso registra algunas pruebas nuevas de ingresos (para un empleo que comenzó el 1 de enero de 2000).

Inicialmente, la prueba está "en edición" y sus datos están disponibles para que el conversor de objetos de reglas de conjuntos de sucesiones activos/en edición complete un objeto de regla. Cuando se complete la captura de pruebas, el trabajador de caso activará la prueba. El propagador de objetos de reglas de conjuntos de sucesiones activo/en edición no lleva a cabo ninguna acción.

Con el tiempo, las circunstancias reales cambian:

En cada una de estas ocasiones, el trabajador del caso registra una nueva versión de la prueba de ingresos, lo que lleva al sistema a almacenar un nuevo par de 'EvidenceDescriptor'/'Income' de filas para los datos de pruebas en vigor desde cada fecha de cambio.

El conversor de objetos de reglas de conjuntos de sucesiones activos/en edición reconoce que las tres versiones de pruebas están relacionadas con un conjunto de sucesiones simple y utilizan los datos de fecha efectiva para cambiar los valores de la línea temporal para los atributos del objeto de regla simple. Los datos del objeto de regla se actualizarán tan pronto como se realicen los cambios; no se espera hasta que el conjunto de sucesiones está activado.

El 30 de junio de 2002, el empleo llega a su fin y un trabajador de caso registra la fecha de finalización en el último registro del conjunto de sucesiones. El trabajador de caso inserta los cambios, lo cual hace que el último par de "EvidenceDescriptor"/"ingresos" existente es "reemplazado" y que un nuevo par pase a ser "activo". El conversor de objetos de reglas de conjuntos de sucesiones activos/en edición actualiza de inmediato el objeto de reglas para cambiar sus valores de línea temporal del 1 de julio de 2002 (el día posterior al final del empleo).

Algún tiempo después, una revisión del caso descubre que se ha registrado la historia completa de la renta en la persona equivocada. Todos los registros de pruebas para los ingresos son cancelados por el asistente, pendientes de eliminación, lo que provoca que el objeto de regla existente se elimine. El trabajador del caso que se da cuenta de que ha cancelado el registro de ingresos para la persona equivocada. Revierte los cambios y se vuelve a crear el objeto de regla adecuado. El trabajador de caso ahora cancela los registros de ingresos para la persona correcta.

La prueba es grabada de nuevo en la persona correcta (en un nuevo conjunto de sucesiones) y se crea un objeto de reglas nuevo para el nuevo conjunto de sucesiones de registros de ingresos. Tenga en cuenta que el objeto de regla antiguo se elimina y que se crea un nuevo antes de que los cambios de pruebas se hayan activado. El trabajador de caso finalmente activa los cambios, sin causar actualizaciones para los objetos de reglas existentes.