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

1. 发明申请

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.
摘要翻译：初始源和目标模型根据至少一个分割规则被分成段。变更后，变更后的来源和目标模型也同样划分。响应于至少一个变换规则来定义至少一个分割规则，使得至少一个分割规则的使用将初始源和目标模型分成相应的段。响应于将源模型和初始段的后变化段与初始段相比较以改变目标模型的段，确定关于相对于相应模型的后变化段的初始段的变化状态。产生改变后的源模型和变更后目标模型之间的冲突的指示，以呈现给用户或计算机自动冲突解决过程。生成器响应于比较初始源模型和初始目标模型的相应段的所识别的改变状态。

2. 发明授权

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.
摘要翻译：初始源和目标模型根据至少一个分割规则被分成段。变更后，变更后的来源和目标模型也同样划分。响应于至少一个变换规则来定义至少一个分割规则，使得至少一个分割规则的使用将初始源和目标模型分成相应的段。响应于将源模型和初始段的后变化段与初始段相比较以改变目标模型的段，确定关于相对于相应模型的后变化段的初始段的变化状态。产生改变后的源模型和变更后目标模型之间的冲突的指示，以呈现给用户或计算机自动冲突解决过程。生成器响应于比较初始源模型和初始目标模型的相应段的所识别的改变状态。

3. 发明授权

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）输出关于检查结果的报告。本发明还提供了一种用于规则符合性检查的相应系统。本发明的规则合规性检查允许用户对规则合规性进行快速有效的自动检查，避免人为因素在很大程度上干扰人为因素，从而保证检查结果的真实性。

4. 发明申请

US20060282241A1 System modeling facilitating method and apparatus 有权
标题翻译：系统建模促进方法和装置
公开(公告)号：US20060282241A1
公开(公告)日：2006-12-14
申请号：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
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.
摘要翻译：一种系统建模促进方法和装置，其中，实体之间的实体和交互从系统中的关键实体逐渐引入以形成实体的抽象视图。为至少一个实体构建相关联的子模块，并为子模块形成与其他实体的接口。构建了行为的行为和逻辑关系的表征，以及其界面与行为表示之间的联系。当实体扩展为子模块时，其他实体以抽象形式出现，形成子模块的本地视图以及以抽象形式显示的其他实体。可以通过组合基于在抽象视图中描述的交互的本地视图中描述的子模块来形成全局视图。

5. 发明申请

US20070094202A1 Method for rule compliance situation checking and related checking system 失效
标题翻译：规则合规情况检查方法及相关检查制度
公开(公告)号：US20070094202A1
公开(公告)日：2007-04-26
申请号：US11511772
申请日：2006-08-29
申请人： Ying Huang , Haiqi Liang , Ying Liu , Birgit Pfitzmann , Jian Wang , Xin Zhou , Jun Zhu
发明人： Ying Huang , Haiqi Liang , Ying Liu , Birgit 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）输出关于检查结果的报告。本发明还提供了一种用于规则符合性检查的相应系统。本发明的规则合规性检查允许用户对规则合规性进行快速有效的自动检查，避免人为因素在很大程度上干扰人为因素，从而保证检查结果的真实性。

6. 发明授权

US07853549B2 Method for rule compliance situation checking and related checking system 失效
标题翻译：规则合规情况检查方法及相关检查制度
公开(公告)号：US07853549B2
公开(公告)日：2010-12-14
申请号：US12187107
申请日：2008-08-06
申请人： 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 , G06N5/04 , G06F15/18
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）输出关于检查结果的报告。本发明还提供了一种用于规则符合性检查的相应系统。本发明的规则合规性检查允许用户对规则合规性进行快速有效的自动检查，避免人为因素在很大程度上干扰人为因素，从而保证检查结果的真实性。

7. 发明申请

US20080301080A1 METHOD FOR RULE COMPLIANCE SITUATION CHECKING AND RELATED CHECKING SYSTEM 失效
标题翻译：符合条件检查方法和相关检查系统
公开(公告)号：US20080301080A1
公开(公告)日：2008-12-04
申请号：US12187107
申请日：2008-08-06
申请人： 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/00
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）输出关于检查结果的报告。本发明还提供了一种用于规则符合性检查的相应系统。本发明的规则合规性检查允许用户对规则合规性进行快速有效的自动检查，避免人为因素在很大程度上干扰人为因素，从而保证检查结果的真实性。

8. 发明授权

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.
摘要翻译：一种系统建模促进方法和装置，其中，从系统中的关键实体逐渐引入实体之间的实体和交互，以形成实体的抽象视图。为至少一个实体构建相关联的子模块，并为子模块形成与其他实体的接口。构建了行为的行为和逻辑关系的表征，以及其界面与行为表示之间的联系。当实体扩展为子模块时，其他实体以抽象形式出现，形成子模块的本地视图以及以抽象形式显示的其他实体。可以通过组合基于在抽象视图中描述的交互的本地视图中描述的子模块来形成全局视图。

9. 发明申请

US20110107303A1 METHOD AND SYSTEM FOR HANDLING SOFTWARE DESIGN CONFLICTS 有权
标题翻译：处理软件设计冲突的方法和系统
公开(公告)号：US20110107303A1
公开(公告)日：2011-05-05
申请号：US12913913
申请日：2010-10-28
申请人： Ying Huang , Ying Liu , Wei Zhao , Xin Zhou , Jun Zhu
发明人： Ying Huang , Ying Liu , Wei Zhao , Xin Zhou , Jun Zhu
IPC分类号： G06F9/44
CPC分类号： G06F8/71
摘要： A method and a system for identifying and resolving conflicts between design results from a parallel software design. The method includes: receiving a design diagram, wherein the design diagram includes a plurality of nodes and arrows connecting different nodes, with each node indicating a design artifact, and an arrow directed from one node to another node indicating that a design artifact corresponds to the one node depends on a design artifact corresponding to the other node; determining a level of a design artifact in the design diagram, identifying different design artifacts at a given level of the design diagram that depend on a common design artifact, and marking them as isomorphic design artifacts; and outputting a design diagram with the isomorphic design artifacts marked. A conflict between relevant designs are automatically identified in a bottom-up approach according to a software design hierarchy to facilitate conflict resolution.
摘要翻译：一种用于识别和解决来自并行软件设计的设计结果之间冲突的方法和系统。该方法包括：接收设计图，其中设计图包括连接不同节点的多个节点和箭头，每个节点指示设计工件，以及从一个节点指向另一个节点的箭头，指示设计工件对应于一个节点取决于对应于另一个节点的设计工件; 确定设计图中的设计工件的水平，识别依赖于常见设计工件的设计图的给定级别的不同设计工件，并将其标记为同构设计工件; 并输出具有标记的同构设计工件的设计图。根据软件设计层次结构，自下而上的方法会自动识别相关设计之间的冲突，以促进冲突解决。

10. 发明授权

US08365242B2 Method and apparatus for confidential knowledge protection in software system development 失效
标题翻译：软件系统开发中机密知识保护的方法与装置
公开(公告)号：US08365242B2
公开(公告)日：2013-01-29
申请号：US12394890
申请日：2009-02-27
申请人： Zhen Zhong Huo , Ying Liu , Hui Su , Xin Zhou , Jun Zhu
发明人： Zhen Zhong Huo , Ying Liu , Hui Su , Xin Zhou , Jun Zhu
IPC分类号： G06F21/00
CPC分类号： G06F21/10
摘要： An apparatus and a computer-implemented method for protecting confidential knowledge in a software system design which includes a plurality of artifacts. The method includes the steps of calculating a correlation between the confidential knowledge and the software system design, acquiring inter-dependencies between the artifacts in the software system design, and determining protection mechanisms for the respective artifacts according to the correlation and the inter-dependencies. The system includes a correlation calculating section for calculating a correlation between the confidential knowledge and the software system design; an inter-dependency acquiring section for acquiring inter-dependencies between the artifacts in the software system design; and a mechanism designing section for determining protection mechanisms for the respective artifacts according to said correlation and said inter-dependencies.
摘要翻译：一种用于保护包括多个伪影的软件系统设计中的机密知识的装置和计算机实现的方法。该方法包括以下步骤：计算机密知识和软件系统设计之间的相关性，获取软件系统设计中的工件之间的相互依赖性，以及根据相关性和相互依赖性确定各个工件的保护机制。该系统包括用于计算机密知识和软件系统设计之间的相关性的相关计算部分; 相互依赖性获取部分，用于获取软件系统设计中的人造物之间的相互依赖性; 以及机构设计部分，用于根据所述相关性和所述相互依赖性来确定各个伪影的保护机制。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式