Diagrama Warnier/Orr

La jerarquía es la más fundamental de todas las construcciones de Warnier/Orr. Es simplemente un grupo anidado de conjuntos y subconjuntos que se muestra como un conjunto de corchetes anidados. Cada paréntesis en el diagrama (dependiendo de cómo lo represente, el carácter suele parecerse más a una llave "{" que a un paréntesis "[", pero los llamamos "paréntesis") representa un nivel de jerarquía. La jerarquía o estructura que se representa en el diagrama puede mostrar la organización de los datos o el procesamiento. Sin embargo, tanto los datos como el procesamiento nunca se muestran en el mismo diagrama.

La secuencia es la estructura más sencilla de mostrar en un diagrama de Warnier/Orr. Dentro de un nivel de jerarquía, las funciones enumeradas se muestran en el orden en que ocurren. En otras palabras, el primer paso enumerado es el primero que se ejecutará (si el diagrama refleja un proceso), mientras que el último paso enumerado es el último que se ejecutará. De manera similar con los datos, el campo de datos que aparece en primer lugar es el primero que se encuentra al mirar los datos, el campo de datos que aparece en último lugar es el último que se encuentra.

La repetición es la representación de un "bucle" clásico en términos de programación. Ocurre cada vez que el mismo conjunto de datos ocurre una y otra vez (para una estructura de datos) o siempre que el mismo grupo de acciones debe ocurrir una y otra vez (para una estructura de procesamiento). La repetición se indica colocando un conjunto de números entre paréntesis debajo del conjunto repetitivo.

Por lo general, hay dos números enumerados entre paréntesis, que representan la menor y la mayor cantidad de veces que se repetirá el conjunto. Por convención, la primera letra del conjunto repetido es la letra elegida para representar el máximo.

Si bien el límite mínimo y el límite máximo técnicamente pueden ser cualquier cosa, la mayoría de las veces son "(1,n)" como en el ejemplo, o "(0,n)". Cuando se utiliza para representar el procesamiento, la repetición "(1,n)" se conoce clásicamente como bucle "DoUntil", mientras que la repetición "(0,n)" se denomina bucle "DoWhile". En el diagrama de Warnier/Orr, sin embargo, no hay distinción entre los dos tipos diferentes de repetición, aparte del valor límite mínimo.

En ocasiones, los límites mínimo y máximo están predefinidos y no es probable que cambien: por ejemplo, el "Día" establecido ocurre dentro del "Mes" establecido de 28 a 31 veces (dado que el mes más pequeño tiene 28 días, los meses más grandes, 31) . No es probable que esto cambie. Y en ocasiones, el mínimo y el máximo se fijan en el mismo número.

En general, sin embargo, es una mala idea "codificar" una constante que no sea "0" o "1" en una cláusula de número de veces: el diseño debe ser lo suficientemente flexible para permitir cambios en el número de veces sin cambios. al diseño Por ejemplo, si una empresa tiene 38 empleados en el momento en que se realiza un diseño, codificar "38" como el "número de empleados" dentro de la empresa ciertamente no sería tan flexible como diseñar "(1,n)".

La cláusula de número de veces es siempre un operador adjunto a algún conjunto (es decir, el nombre de algún paréntesis) y nunca está adjunto a un elemento (una característica de diagrama que no se descompone en características más pequeñas). La razón de esto se hará más evidente a medida que continuemos trabajando con los diagramas. Por ahora, deberá aceptar esto como una regla de formación para un diagrama correcto.

La alternancia, o selección, es el proceso tradicional de "decisión" mediante el cual se toma la determinación de ejecutar un proceso u otro. El símbolo OR exclusivo (el signo más dentro del círculo) indica que los conjuntos inmediatamente arriba y abajo son mutuamente excluyentes (si uno está presente, el otro no lo está). Este diagrama indica que un Empleado es Gerencia o No Gerencia, un Empleado no puede ser ambos. También está permitido usar una "barra de negación" sobre una alternativa de manera similar a la notación de ingeniería. La barra se lee simplemente usando la palabra "no".

Las alternativas no tienen que ser binarias como en los ejemplos anteriores, pero pueden ser alternativas de muchas formas.

La concurrencia es una de las dos construcciones avanzadas utilizadas en la metodología. Se utiliza cuando la secuencia no es importante. Por ejemplo, los años y las semanas operan concurrente-mente (o al mismo tiempo) dentro de nuestro calendario. El operador de concurrencia rara vez se usa en el diseño de programas (ya que la mayoría de los lenguajes no admiten el procesamiento concurrente real de todos modos), pero entra en juego cuando se resuelven conflictos de estructuras de datos físicos y lógicos.

La recursividad es la menos utilizada de las construcciones. Se utiliza para indicar que un conjunto contiene una versión anterior o menos ordenada de sí mismo. En el clásico problema de "lista de materiales", los componentes contienen partes y otros subcomponentes. Los subcomponentes también contienen sub-sub-componentes, y así sucesivamente. El paréntesis doble indica que el conjunto es recursivo. Las estructuras de datos que son verdaderamente recursivas son bastante raras.