PROCESSING UNIT, SOFTWARE AND METHOD FOR CONTROLLING INTERACTIVE COMPONENTS

摘要

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.

主权项

1. A method for verifying a property of an interactive component, said interactive component being represented as a tree of child components, said tree of child components comprising a control structure child component defining a coupling between a first child component and a second child component, the second child component being activated upon the activation of the first child component, said method comprising:
Creating a first oriented graph, representative of the interactive component, nodes of which comprise the first child component and the second child component; Obtaining a second graph, representative of the property; Verifying one of the presence or the absence of the second graph in the first oriented graph;Wherein creating the oriented graph comprises:
Creating a first arc between the interactive component and a child of said component; Creating a second arc between the first child and the second child.