Method and system for validating process models
    4.
    发明授权
    Method and system for validating process models 有权
    验证过程模型的方法和系统

    公开(公告)号:US08660905B2

    公开(公告)日:2014-02-25

    申请号:US11932730

    申请日:2007-10-31

    IPC分类号: G06Q30/00

    CPC分类号: G06F8/10

    摘要: A method and system are described for validating process models. A process semantic model including a semantic directed graph including nodes associated with tasks and edges associated with a direction of flow of execution of the tasks may be obtained. Edges entering nodes include annotations including precondition semantic indicators associated with the entering edges and edges exiting nodes include annotations including postcondition semantic indicators associated with the exiting edges. The process semantic model may be traversed to determine a flow of execution of activities associated with the tasks based on visiting the nodes based on a depth-first traversal. A validity of execution associated with a flow of execution of the activities associated with the tasks may be determined based on checking a validity of execution status based on a semantic processing of one or more semantic annotation indicators associated with the precondition semantic indicators and the postcondition semantic indicators.

    摘要翻译: 描述了验证过程模型的方法和系统。 可以获得包括语义有向图的过程语义模型,其包括与任务相关联的节点和与执行任务的流动方向相关联的边缘。 进入节点的边缘包括注释,包括与进入边缘相关联的前提条件语义指示符和退出节点的边缘包括注释,包括与离开边缘相关联的后置条件语义指示符。 可以遍历过程语义模型以基于深度优先遍历来访问节点来确定与任务相关联的活动的执行流程。 可以基于与先决条件语义指示符相关联的一个或多个语义注释指示符和后置条件语义的语义处理来检查执行状态的有效性来确定与执行与任务相关联的活动的执行的执行的有效性 指标。

    METHOD AND SYSTEM FOR VALIDATING PROCESS MODELS
    8.
    发明申请
    METHOD AND SYSTEM FOR VALIDATING PROCESS MODELS 有权
    用于验证过程模型的方法和系统

    公开(公告)号:US20090113394A1

    公开(公告)日:2009-04-30

    申请号:US11932730

    申请日:2007-10-31

    IPC分类号: G06F9/44

    CPC分类号: G06F8/10

    摘要: A method and system are described for validating process models. A process semantic model including a semantic directed graph including nodes associated with tasks and edges associated with a direction of flow of execution of the tasks may be obtained. Edges entering nodes include annotations including precondition semantic indicators associated with the entering edges and edges exiting nodes include annotations including postcondition semantic indicators associated with the exiting edges. The process semantic model may be traversed to determine a flow of execution of activities associated with the tasks based on visiting the nodes based on a depth-first traversal. A validity of execution associated with a flow of execution of the activities associated with the tasks may be determined based on checking a validity of execution status based on a semantic processing of one or more semantic annotation indicators associated with the precondition semantic indicators and the postcondition semantic indicators.

    摘要翻译: 描述了验证过程模型的方法和系统。 可以获得包括语义有向图的过程语义模型,其包括与任务相关联的节点和与执行任务的流动方向相关联的边缘。 进入节点的边缘包括注释,包括与进入边缘相关联的前提条件语义指示符和退出节点的边缘包括注释,包括与离开边缘相关联的后置条件语义指示符。 可以遍历过程语义模型以基于深度优先遍历来访问节点来确定与任务相关联的活动的执行流程。 可以基于与先决条件语义指示符相关联的一个或多个语义注释指示符和后置条件语义的语义处理来检查执行状态的有效性来确定与执行与任务相关联的活动的执行的执行的有效性 指标。