The invention relates to a mechanism for detecting forks within data flow diagrams corresponding to application programs and for controlling the execution of such application programs. The flow diagram is preferably formed by interconnecting a plurality of symbolic representations of program objects with a plurality of wire constructs. The symbolic representations correspond to program objects having input properties and configured to execute pre-defined functions based on the values of its input properties. The flow diagram preferably represents a logical flow of information used to set the input property values of the program objects. According to the invention, the input properties of the program objects are first invalidated. Next, information is allowed to flow along at least a portion of the diagram, thereby setting one or more of the program objects' input property values. In response to having its input property value set, the program object validates the respective input property. The program objects are further configured to wait until all of their input properties have been validated before executing their associated functions.

A invenção relaciona-se a um mecanismo para detectar forquilhas dentro dos fluxo de dados os diagramas que correspondem aos programas de aplicação e para controlar a execução de tais programas de aplicação. O diagrama de fluxo é dado forma preferivelmente interconectando um plurality de respresentações simbólicas de objetos do programa com um plurality de construções do fio. As respresentações simbólicas correspondem aos objetos do programa que input propriedades e configurarados para executar as funções predefinidas baseadas nos valores de suas propriedades da entrada. O diagrama de fluxo representa preferivelmente um fluxo lógico da informação usado ajustar os valores de propriedade da entrada dos objetos do programa. De acordo com a invenção, as propriedades da entrada dos objetos do programa invalidated primeiramente. Em seguida, a informação é permitida fluir ao longo ao menos de uma parcela do diagrama, desse modo ajustando um ou mais dos valores de propriedade da entrada dos objetos do programa. Em resposta a ter seu jogo de valor da propriedade da entrada, o objeto do programa valida a propriedade respectiva da entrada. Os objetos do programa estão configurarados mais mais para esperar até que todas suas propriedades da entrada estejam validadas antes de executar suas funções associadas.