RESUMEN
Se propone profundizar en la implementación de un ambiente de
concepción de programas bien estructurados cuyo origen se basa en un
trabajo publicado por el Director del proyecto(1978) e inicado por un
PGI anterior (1996-1998). Después de varios años de aplicabilidad en
el desarrollo profesional de sistemas, se pretende aplicar las
características de este modelo de programación. En este modelo la
estructura de control de un programa se define separadamente del resto
de las instrucciones del lenguaje y a su vez es modelada por el
comportamiento de un autómata finito. Cada estado de este autómata se
representa por una secuencia de instrucciones o por un nuevo autómata
finito de nivel inferior. Las entradas se modelan por los valores de
desición adoptados al final de cada tarea de estado. En este modelo un
programa se descompone como una jerarquía de autómatas donde la
relación de depedencia arbórea tiene como raíz un autómata de un sólo
estado describiendo el propósito general del programa, y las hojas del
árbol son las descomposiciones (o refinamientos) que serán modeladas
directamente por las instrucciones del lenguaje práctico de
programación que finalmente será escrito el programa.
A su vez, se pretende estudiar la vinculación de la actividad de
programación con la modelación sistémica, entendiendo por tal a la
actividad que desarrolla el modelador de un sistema general mediante
las técnicas de la dinámica de sistemas.
La alternativa que se propone frente a las metodologías existentes,
radica en la posibilidad de unificar la concepción de programas con la
concepción de circuitos digitales.