DEVELOPING PROGRAMS IN A GRAPHICAL SPECIFICATION AND CONSTRAINT LANGUAGE

• Main Authors: CRAIN II, CHARLES E, ANDRADE, HUGO A, PETERSEN, NEWTON G, CORRELL, JEFFREY N, WONG, IAN C, LIMAYE, RHISHIKESH, WANG, GUOQIANG, GHOSAL, ARKADEB, MALIK, SADIA B, RAVINDRAN, KAUSHIK, KORNERUP, JACOB, TRAN, TRUNG N, YANG, GUANG, TRIMBORN, MICHAEL J
• Format: Patent
• Language: English; French
• Published: 02.02.2012
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation. L'invention porte sur un système et un procédé de spécification et de mise en oeuvre de programmes. Un programme graphique est créé dans un langage de spécification graphique et de contraintes qui permet une spécification d'un modèle de calcul et une déclaration explicite de contraintes en réponse à une entrée de l'utilisateur. Le programme graphique comprend un modèle de calcul spécifié, une pluralité de blocs fonctionnels interconnectés qui indiquent visuellement une fonctionnalité du programme graphique conformément au modèle de calcul spécifié, et des spécifications ou contraintes pour le programme graphique ou au moins un des blocs fonctionnels dans le programme graphique. Le modèle de calcul spécifié et les spécifications ou contraintes sont utilisables pour analyser le programme graphique ou générer un programme ou une simulation.