利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

5 条记录 (耗时 0.023 秒)

    Method and system for reducing the computation tree to include only model behaviors defined succinctly by a user via regular expressions as being of interest
    5.
    发明授权
    Method and system for reducing the computation tree to include only model behaviors defined succinctly by a user via regular expressions as being of interest 失效
    用于减少计算树以仅包括用户通过正则表达式简洁地定义为模型行为的方法和系统

    公开(公告)号：US06715107B2

    公开(公告)日：2004-03-30

    申请号：US09746695

    申请日：2000-12-26

    申请人： Ilan Beer ,  Dana Fisman ,  Leonid Gluhovsky ,  Tali Yatzhar-Haham

    发明人： Ilan Beer ,  Dana Fisman ,  Leonid Gluhovsky ,  Tali Yatzhar-Haham

    IPC分类号： G06F1100

    CPC分类号： G06F17/504 ,  G06F11/28

    摘要： 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.

    摘要翻译： 本发明实现了一种从计算树中丢弃模型行为的新方法，当用户将这些行为定义为“不感兴趣”时。 该方法的工作原理如下：用户通过声明方式通过正则表达式定义一组感兴趣的模型行为。 在应用这种以后称为限制算法的方法之后，计算树将仅由表示用户指定的模型行为的路径组成。 限制算法由预处理阶段和处理阶段组成。 在预处理阶段，构建用于识别执行路径何时是允许行为的机制。 处理时，从计算树中剪除代表“不良行为”的子树（被标识为不允许行为的执行路径）。