Herramientas de usuario
ingenieria_de_requisitos:resumenparcial2
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa | ||
| ingenieria_de_requisitos:resumenparcial2 [2024/01/10 22:16] – thejuanvisu | ingenieria_de_requisitos:resumenparcial2 [2024/01/10 22:34] (actual) – thejuanvisu | ||
|---|---|---|---|
| Línea 134: | Línea 134: | ||
| * La signatura define las entidades que constituyen el estado del sistema | * La signatura define las entidades que constituyen el estado del sistema | ||
| * El predicado establece las condiciones que siempre deben cumplirse para esas entidades | * El predicado establece las condiciones que siempre deben cumplirse para esas entidades | ||
| + | <WRAP group left> | ||
| {{drawio> | {{drawio> | ||
| + | </ | ||
| + | <WRAP group left> | ||
| + | * Los esquemas pueden ser manipulados utilizando operaciones como la composición de esquemas, renombrado de esquemas o la ocultación de esquemas | ||
| + | * La signatura del esquema define las entidades que forma el estado del sistema y el predicado del esquema establece las condiciones en que deberían cumplirse estas condiciones | ||
| + | * Cuando un esquema define una operación, el predicado puede establecer precondiciones y postcondiciones | ||
| + | * Estas definen el estado antes y después de la operación, la diferencia entre ambas define la acción especificada en el esquema de la operación. | ||
| + | </ | ||
| + | <WRAP group left> | ||
| + | {{drawio> | ||
| + | </ | ||
| ===== Notaciones algebraicas ===== | ===== Notaciones algebraicas ===== | ||
| + | * Introducción: | ||
| + | * Descripción: | ||
| + | * Signatura: Define la sintaxis de las operaciones, | ||
| + | * Axiomas: Define la semántica de las operaciones mediante la definición de axiomas que caracterizan su comportamiento | ||
| + | <WRAP group left> | ||
| + | {{: | ||
| + | </ | ||
ingenieria_de_requisitos/resumenparcial2.1704924993.txt.gz · Última modificación: 2024/01/10 22:16 por thejuanvisu
Herramientas de la página
