The invention implements a novel method for discarding model behaviors from
the computation-tree, when these behaviors are defined by the user as `not
interesting`. The method works as follows: the user defines, by
declarative means via regular expression, a set of model behaviors that
are of interest. After applying this method, referred to as the restrict
algorithm henceforth, the computation-tree will consist only of paths
representing model behaviors specified by the user. The restrict algorithm
consists of a preprocessing stage and a processing stage. In the
preprocessing stage, a mechanism for identifying when an execution path is
an allowed behavior is constructed. While processing, sub-trees
representing "bad behaviors" (execution paths identified as not allowed
behaviors) are pruned from the computation-tree.
De uitvinding voert een nieuwe methode om modelgedrag van de berekening-boom uit te verwerpen, wanneer dit gedrag door de gebruiker als ` niet interesting` wordt bepaald. De methode werkt als volgt: de gebruiker bepaalt, door verklarende middelen via regelmatige uitdrukking, een reeks modelgedrag dat van belang is. Na het toepassen van deze methode wordt doorverwezen, die naar aangezien algoritme voortaan beperk, zal de berekening-boom bestaan slechts uit wegen die modelgedrag vertegenwoordigen dat door de gebruiker wordt gespecificeerd. Beperk algoritme bestaat uit een het voorbewerken stadium en een verwerkingsstadium. In het het voorbewerken stadium, wordt een mechanisme om zich te identificeren wanneer een uitvoeringsweg een toegestaan gedrag is geconstrueerd. Terwijl verwerking, worden de onderverdelingen die "slecht gedrag vertegenwoordigen" (uitvoeringswegen geïdentificeerd zoals toegestaan niet gedrag) gesnoeid van de berekening-boom.
