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:11] – thejuanvisu | ingenieria_de_requisitos:resumenparcial2 [2024/01/10 22:34] (actual) – thejuanvisu | ||
|---|---|---|---|
| Línea 129: | Línea 129: | ||
| ===== Notaciones en Z ===== | ===== Notaciones en Z ===== | ||
| + | * Las especificaciones se presenta como un texto informal complementado con descripciones formales, estas últimas contienen pequeños trozos fáciles de leer. | ||
| + | * Los esquemas introducen variables de estado y define restricciones y operaciones en el estado | ||
| + | * Ejemplo: | ||
| + | * La signatura define las entidades que constituyen el estado del sistema | ||
| + | * El predicado establece las condiciones que siempre deben cumplirse para esas entidades | ||
| + | <WRAP group left> | ||
| + | {{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.1704924686.txt.gz · Última modificación: 2024/01/10 22:11 por thejuanvisu
Herramientas de la página
