Abstract: The invention relates to the development, control and execution of interactive software. An interactive component of the invention is configured to enable a defined interaction between the interactive digital system and an environment of the interactive digital system. It comprises a first subcomponent, defining a coupling between a second interactive component and a third interactive component. Said first subcomponent is configured, when executed by the interactive digital system, to generate an activation of the third interactive component conditional upon an activation of the second interactive component, said activation enabling the defined interaction.

Abstract: The invention relates to a method to generate computer instructions to control a representation of one or more objects, said representation being defined at least by attributes of said one or more objects, said method comprising: representing, in a graphical form, a source attribute of an object, possible values of the source attribute and one or more target attributes of said one or more objects; allowing a user to select a subset of the possible values of the source attribute; allowing a user to define a rule of transformation of the subset of the possible values of said source attribute into values of target attributes of said one or more objects; generating computer instructions configured to cause a processor to execute the rule of transformation.

Abstract: The invention relates to the verification of properties of an interactive component having a recursive tree structure of subcomponents. The verification comprises creating an oriented graph from the tree, said oriented graph comprising arcs for the child relationships of the tree, and arcs for couplings creating upon couplings between the components. The verification comprises creating a second graph representative of the property, and verifying if the second graph is exhibited within the first oriented graph.

Abstract: The invention relates to a method to generate computer instructions to control a representation of one or more objects, said representation being defined at least by attributes of said one or more objects, said method comprising: representing, in a graphical form, a source attribute of an object, possible values of the source attribute and one or more target attributes of said one or more objects; allowing a user to select a subset of the possible values of the source attribute; allowing a user to define a rule of transformation of the subset of the possible values of said source attribute into values of target attributes of said one or more objects; generating computer instructions configured to cause a processor to execute the rule of transformation.

Abstract: The invention relates to the verification of properties of an interactive component having a recursive tree structure of subcomponents. The verification comprises creating an oriented graph from the tree, said oriented graph comprising arcs for the child relationships of the tree, and arcs for couplings creating upon couplings between the components. The verification comprises creating a second graph representative of the property, and verifying if the second graph is exhibited within the first oriented graph.