专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20050289526A1 Editing, creating, and verifying reorganization of flowchart, and transforming between flowchart and tree diagram 失效
标题翻译：编辑，创建和验证流程图重组，以及流程图和树形图之间的转换
公开(公告)号：US20050289526A1
公开(公告)日：2005-12-29
申请号：US11140194
申请日：2005-05-27
申请人： Jian Wang , Jun Zhu , Sheng Ye , Jing Li , Hai Liang , Ying Liu , Ying Zuo
发明人： Jian Wang , Jun Zhu , Sheng Ye , Jing Li , Hai Liang , Ying Liu , Ying Zuo
IPC分类号： G06F9/44 , G06F9/45 , G06F17/30
CPC分类号： G06F8/10
摘要： Provides methods for transforming a flowchart to an equivalent tree diagram, methods for transforming an equivalent tree diagram to a flowchart, methods for verifying reorganization of a flowchart, methods for editing a flowchart, methods for creating a flowchart and a flowchart editor. A flowchart includes one or more logic structures and one or more processing activities in said one or more logic structures. The method for transforming a flowchart to an equivalent tree diagram comprises: traversing said flowchart; transforming said one or more logic structures in said flowchart to one or more branching nodes in said tree diagram; and transforming one or more processing activities in said logic structures of said flowchart to one or more leaf nodes below corresponding branching nodes in said tree diagram. Further, edition of a flowchart and verification of reorganization of a flowchart are performed by utilizing an equivalent tree diagram.
摘要翻译：提供将流程图转换为等效树图的方法，将等效树图变换为流程图的方法，用于验证流程图重组的方法，用于编辑流程图的方法，用于创建流程图的方法和流程图编辑器。流程图包括所述一个或多个逻辑结构中的一个或多个逻辑结构和一个或多个处理活动。将流程图变换为等效树图的方法包括：遍历所述流程图; 将所述流程图中的一个或多个逻辑结构转换成所述树形图中的一个或多个分支节点; 以及将所述流程图的所述逻辑结构中的一个或多个处理活动转换为所述树形图中的相应分支节点之下的一个或多个叶节点。此外，通过利用等效树图来执行流程图的编辑和流程图的重组的验证。

2. 发明授权

US07647577B2 Editing, creating, and verifying reorganization of flowchart, and transforming between flowchart and tree diagram 失效
标题翻译：编辑，创建和验证流程图重组，以及流程图和树形图之间的转换
公开(公告)号：US07647577B2
公开(公告)日：2010-01-12
申请号：US11140194
申请日：2005-05-27
申请人： Jian Wang , Jun Zhu , Sheng Ye , Jing Li , Hai Qi Liang , Ying Liu , Ying Nan Zuo
发明人： Jian Wang , Jun Zhu , Sheng Ye , Jing Li , Hai Qi Liang , Ying Liu , Ying Nan Zuo
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/10
摘要： Provides methods for transforming a flowchart to an equivalent tree diagram, methods for transforming an equivalent tree diagram to a flowchart, methods for verifying reorganization of a flowchart, methods for editing a flowchart, methods for creating a flowchart and a flowchart editor. A flowchart includes one or more logic structures and one or more processing activities in said one or more logic structures. The method for transforming a flowchart to an equivalent tree diagram comprises: traversing said flowchart; transforming said one or more logic structures in said flowchart to one or more branching nodes in said tree diagram; and transforming one or more processing activities in said logic structures of said flowchart to one or more leaf nodes below corresponding branching nodes in said tree diagram. Further, edition of a flowchart and verification of reorganization of a flowchart are performed by utilizing an equivalent tree diagram.
摘要翻译：提供将流程图转换为等效树图的方法，将等效树图变换为流程图的方法，用于验证流程图重组的方法，用于编辑流程图的方法，用于创建流程图的方法和流程图编辑器。流程图包括所述一个或多个逻辑结构中的一个或多个逻辑结构和一个或多个处理活动。将流程图变换为等效树图的方法包括：遍历所述流程图; 将所述流程图中的一个或多个逻辑结构转换成所述树形图中的一个或多个分支节点; 以及将所述流程图的所述逻辑结构中的一个或多个处理活动转换为所述树形图中的相应分支节点之下的一个或多个叶节点。此外，通过利用等效树图来执行流程图的编辑和流程图的重组的验证。

3. 发明授权

US08266580B2 Editing, creating, and verifying reorganization of flowchart, and transforming between flowchart and tree diagram 失效
标题翻译：编辑，创建和验证流程图重组，以及流程图和树形图之间的转换
公开(公告)号：US08266580B2
公开(公告)日：2012-09-11
申请号：US12124400
申请日：2008-05-21
申请人： Jian Wang , Jun Zhu , Sheng Ye , Jing Li , Hai Oi Liang , Ying Liu , Ying Nan Zuo
发明人： Jian Wang , Jun Zhu , Sheng Ye , Jing Li , Hai Oi Liang , Ying Liu , Ying Nan Zuo
IPC分类号： G06F9/44
CPC分类号： G06F8/10
摘要： Provides methods for transforming a flowchart to an equivalent tree diagram, methods for transforming an equivalent tree diagram to a flowchart, methods for verifying reorganization of a flowchart, methods for editing a flowchart, methods for creating a flowchart and a flowchart editor. A flowchart includes one or more logic structures and one or more processing activities in said one or more logic structures. The method for transforming a flowchart to an equivalent tree diagram comprises: traversing said flowchart; transforming said one or more logic structures in said flowchart to one or more branching nodes in said tree diagram; and transforming one or more processing activities in said logic structures of said flowchart to one or more leaf nodes below corresponding branching nodes in said tree diagram. Further, edition of a flowchart and verification of reorganization of a flowchart are performed by utilizing an equivalent tree diagram.
摘要翻译：提供将流程图转换为等效树图的方法，将等效树图变换为流程图的方法，用于验证流程图重组的方法，用于编辑流程图的方法，用于创建流程图的方法和流程图编辑器。流程图包括所述一个或多个逻辑结构中的一个或多个逻辑结构和一个或多个处理活动。将流程图变换为等效树图的方法包括：遍历所述流程图; 将所述流程图中的一个或多个逻辑结构转换成所述树形图中的一个或多个分支节点; 以及将所述流程图的所述逻辑结构中的一个或多个处理活动转换为所述树形图中的相应分支节点之下的一个或多个叶节点。此外，通过利用等效树图来执行流程图的编辑和流程图的重组的验证。

4. 发明申请

US20050267795A1 Dynamically assembling business process models 审中-公开
标题翻译：动态组装业务流程模型
公开(公告)号：US20050267795A1
公开(公告)日：2005-12-01
申请号：US11138539
申请日：2005-05-26
申请人： Zhong Tian , Jun Zhu , Jian Wang , Hai Liang , Wei Ding
发明人： Zhong Tian , Jun Zhu , Jian Wang , Hai Liang , Wei Ding
IPC分类号： G06Q10/00 , G06F17/60
CPC分类号： G06Q10/10 , G06Q10/063 , G06Q10/067 , G06Q30/0201 , G06Q50/188
摘要： Apparatus and methods for dynamically assembling a business process model. An apparatus is configured in a company terminal connected with a network, and has a model building unit for building a business process model for the company, characterized in that the apparatus further includes: a retrieving unit for retrieving to obtain the business process model of other company from the network, and an assembling unit for assembling the business process model of the company with that of the other company to obtain an integrated business process model.
摘要翻译：动态组合业务流程模型的装置和方法。一种设备配置在与网络连接的公司终端中，并具有用于构建公司的业务流程模型的模型构建单元，其特征在于，所述设备还包括：检索单元，用于检索以获得其他的业务流程模型网络公司，组装单位，组织公司业务流程模型与其他公司业务流程模型，获得综合业务流程模型。

5. 发明申请

US20060004872A1 Visualizing and modeling interaction relationship among entities 失效
标题翻译：实体之间的可视化和建模交互关系
公开(公告)号：US20060004872A1
公开(公告)日：2006-01-05
申请号：US11170596
申请日：2005-06-29
申请人： Zhong Tian , Jian Wang , Jun Zhu , Wei Ding , Hai Liang
发明人： Zhong Tian , Jian Wang , Jun Zhu , Wei Ding , Hai Liang
IPC分类号： G06F17/00
CPC分类号： G06Q10/08 , G06Q10/06
摘要： The present invention provides methods of visualizing and modeling the interaction relationship among entities. An example method of visualizing the interaction relationship among entities includes the steps of: presenting the internal logic of entity in an entity container; and presenting the interaction relationship among the entities in an interaction space. A method of modeling the interaction relationship among entities, includes the steps of: defining each entity related to said interaction relationship; defining an interface of said each entity in an interaction space; and defining interaction logics among said interfaces in the interaction space.
摘要翻译：本发明提供了可视化和建模实体之间的交互关系的方法。可视化实体之间的交互关系的示例方法包括以下步骤：在实体容器中呈现实体的内部逻辑; 并在交互空间中呈现实体之间的交互关系。一种对实体之间的交互关系进行建模的方法，包括以下步骤：定义与所述交互关系相关的每个实体; 在交互空间中定义所述每个实体的接口; 并在交互空间中定义所述接口之间的交互逻辑。

6. 发明授权

US08056049B2 Method and system for analyzing and presenting conflicts in model transformation and automatically reconciling model transformation 失效
标题翻译：分析和提出模型转换冲突的方法和系统，并自动调节模型转换
公开(公告)号：US08056049B2
公开(公告)日：2011-11-08
申请号：US11765001
申请日：2007-06-19
申请人： Xin Xin Bai , Ying Liu , Ying Hua Liu , Jian Wang , Xin Zhou , Jun Zhu
发明人： Xin Xin Bai , Ying Liu , Ying Hua Liu , Jian Wang , Xin Zhou , Jun Zhu
IPC分类号： G06F9/44 , G05B13/02
CPC分类号： G06F8/74 , G06F8/35 , G06F8/70
摘要： Initial source and target models are divided into segments responsive to at least one segmentation rule. After changes, post-change source and target models are likewise divided. The at least one segmentation rule is defined responsive to at least one transformation rule such that use of the at least one segmentation rule divides initial source and target models into corresponding segments. Change statuses are identified regarding initial segments relative to post-change segments of the respective models responsive to comparing initial segments to post-change segments of the source model and initial segments to post-change segments of the target model. An indication of conflicts between the post-change source model and post-change target model is generated for presentation to a user or to a computer automated conflict settlement process. The generating is responsive to comparing the identified change statuses of the corresponding segments of the initial source model and initial target model.
摘要翻译：初始源和目标模型根据至少一个分割规则被分成段。变更后，变更后的来源和目标模型也同样划分。响应于至少一个变换规则来定义至少一个分割规则，使得至少一个分割规则的使用将初始源和目标模型分成相应的段。响应于将源模型和初始段的后变化段与初始段相比较以改变目标模型的段，确定关于相对于相应模型的后变化段的初始段的变化状态。产生改变后的源模型和变更后目标模型之间的冲突的指示，以呈现给用户或计算机自动冲突解决过程。生成器响应于比较初始源模型和初始目标模型的相应段的所识别的改变状态。

7. 发明授权

US07707017B2 System modeling facilitating method and apparatus 有权
标题翻译：系统建模促进方法和装置
公开(公告)号：US07707017B2
公开(公告)日：2010-04-27
申请号：US11441625
申请日：2006-05-26
申请人： Haiqi Liang , Dong Liu , Ying Liu , Zhong Tian , Jian Wang , Xin Zhou , Jun Zhu
发明人： Haiqi Liang , Dong Liu , Ying Liu , Zhong Tian , Jian Wang , Xin Zhou , Jun Zhu
IPC分类号： G06G7/48 , G06F9/46
CPC分类号： G06Q10/06 , G06Q10/04
摘要： A system modeling facilitating method and apparatus, wherein, entities and interactions among the entities are introduced gradually starting from critical entities in a system to form an abstract view of the entities. An associated sub-module is built for at least one of the entities and interfaces to other entities are formed for the sub-module. Representations of behaviors and logical relations among the behaviors, as well as links between its interfaces and representations of behaviors are built. When an entity is extended to be a sub-module, other entities appear in abstract form, forming a local view of sub-module together with the other entities shown in abstract form. A global view can be formed by combining the sub-modules depicted in the local view based on the interaction described in the abstract view.
摘要翻译：一种系统建模促进方法和装置，其中，从系统中的关键实体逐渐引入实体之间的实体和交互，以形成实体的抽象视图。为至少一个实体构建相关联的子模块，并为子模块形成与其他实体的接口。构建了行为的行为和逻辑关系的表征，以及其界面与行为表示之间的联系。当实体扩展为子模块时，其他实体以抽象形式出现，形成子模块的本地视图以及以抽象形式显示的其他实体。可以通过组合基于在抽象视图中描述的交互的本地视图中描述的子模块来形成全局视图。

8. 发明授权

US07496552B2 Method for rule compliance situation checking and related checking system 失效
标题翻译：规则合规情况检查方法及相关检查制度
公开(公告)号：US07496552B2
公开(公告)日：2009-02-24
申请号：US11511772
申请日：2006-08-29
申请人： Ying Huang , Haiqi Liang , Ying Liu , Birgit Monika Pfitzmann , Jian Wang , Xin Zhou , Jun Zhu
发明人： Ying Huang , Haiqi Liang , Ying Liu , Birgit Monika Pfitzmann , Jian Wang , Xin Zhou , Jun Zhu
IPC分类号： G06N5/02
CPC分类号： G06Q50/18
摘要： A method for rule compliance situation checking is provided. The method in one aspect, includes the steps of: a) building a rule model for predefined rules and building a business operational model for business processes; b) normalizing vocabularies in the rule model and the business operational model; c) checking whether the rule model is satisfied by the business operational model; and d) outputting a report on checking results. The present invention also provides a corresponding system for rule compliance checking. The rule compliance checking of the present invention allows users to perform fast and effective automatic checking of rule compliance, avoid interference of man-made factors in checking process to a great extent and thus guarantee veracity of checking results.
摘要翻译：提供了规则合规情况检查的方法。该方法在一个方面包括以下步骤：a）建立用于预定义规则的规则模型并为业务流程构建业务操作模型; b）规范模型和业务运营模式中的词汇正常化; c）检查商业运作模式是否满足规则模型; 和d）输出关于检查结果的报告。本发明还提供了一种用于规则符合性检查的相应系统。本发明的规则合规性检查允许用户对规则合规性进行快速有效的自动检查，避免人为因素在很大程度上干扰人为因素，从而保证检查结果的真实性。

9. 发明申请

US20080046864A1 METHOD AND SYSTEM FOR ANALYZING AND PRESENTING CONFLICTS IN MODEL TRANSFORMATION AND AUTOMATICALLY RECONCILING MODEL TRANSFORMATION 失效
标题翻译：用于分析和提出模型转换和自动重构模型转换中的冲突的方法和系统
公开(公告)号：US20080046864A1
公开(公告)日：2008-02-21
申请号：US11765001
申请日：2007-06-19
申请人： Xin Xin Bai , Ying Liu , Ying Hua Liu , Jian Wang , Xin Zhou , Jun Zhu
发明人： Xin Xin Bai , Ying Liu , Ying Hua Liu , Jian Wang , Xin Zhou , Jun Zhu
IPC分类号： G06F9/44
CPC分类号： G06F8/74 , G06F8/35 , G06F8/70
摘要： Initial source and target models are divided into segments responsive to at least one segmentation rule. After changes, post-change source and target models are likewise divided. The at least one segmentation rule is defined responsive to at least one transformation rule such that use of the at least one segmentation rule divides initial source and target models into corresponding segments. Change statuses are identified regarding initial segments relative to post-change segments of the respective models responsive to comparing initial segments to post-change segments of the source model and initial segments to post-change segments of the target model. An indication of conflicts between the post-change source model and post-change target model is generated for presentation to a user or to a computer automated conflict settlement process. The generating is responsive to comparing the identified change statuses of the corresponding segments of the initial source model and initial target model.
摘要翻译：初始源和目标模型根据至少一个分割规则被分成段。变更后，变更后的来源和目标模型也同样划分。响应于至少一个变换规则来定义至少一个分割规则，使得至少一个分割规则的使用将初始源和目标模型分成相应的段。响应于将源模型和初始段的后变化段与初始段相比较以改变目标模型的段，确定关于相对于相应模型的后变化段的初始段的变化状态。产生改变后的源模型和变更后目标模型之间的冲突的指示，以呈现给用户或计算机自动冲突解决过程。生成器响应于比较初始源模型和初始目标模型的相应段的所识别的改变状态。

10. 发明申请

US20070112718A1 METHOD AND APPARATUS TO ENABLE INTEGRATED COMPUTATION OF MODEL-LEVEL AND DOMAIN-LEVEL BUSINESS SEMANTICS 审中-公开
标题翻译：使用模式级和域级业务语义的集成计算的方法和设备
公开(公告)号：US20070112718A1
公开(公告)日：2007-05-17
申请号：US11552623
申请日：2006-10-25
申请人： Shixia Liu , Ying Liu , Zhao Qiu , Guo Xie , Jian Wang , Jun Zhu
发明人： Shixia Liu , Ying Liu , Zhao Qiu , Guo Xie , Jian Wang , Jun Zhu
IPC分类号： G06N5/02
CPC分类号： G06N5/02
摘要： A method is provided for integrating model and domain semantics in business models. The method includes a business model inputting step for inputting the business model to be realized; a domain semantics locating step for locating the domain semantics of the modeling element of the business model within the domain ontology and outputting the corresponding domain model semantics; a model semantics transforming step for transforming the modeling element of the business model into business model semantics that are represented by a model ontology; and a unified semantic model forming step for combining the aforesaid business model semantics and domain model semantics and then outputting a unified semantic model. The teachings disclosed are directed to facilitate the integration and utilization of the semantics embedded in business models.
摘要翻译：提供了一种在商业模式中整合模型和域语义的方法。该方法包括：业务模型输入步骤，用于输入要实现的业务模型; 域语义定位步骤，用于定位域本体内业务模型的建模元素的域语义，并输出相应的域模型语义; 用于将业务模型的建模元素转换为由模型本体表示的业务模型语义的模型语义转换步骤; 以及统一的语义模型形成步骤，用于组合上述业务模型语义和域模型语义，然后输出统一的语义模型。所公开的教导旨在促进嵌入在商业模式中的语义的集成和利用。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式