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

公开(公告)号：US09009652B2

公开(公告)日：2015-04-14

申请号：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.

摘要翻译： 一种用于识别和解决来自并行软件设计的设计结果之间冲突的方法和系统。 该方法包括：接收设计图，其中设计图包括连接不同节点的多个节点和箭头，每个节点指示设计工件，以及从一个节点指向另一个节点的箭头，指示设计工件对应于 一个节点取决于对应于另一个节点的设计工件; 确定设计图中的设计工件的水平，识别依赖于常见设计工件的设计图的给定级别的不同设计工件，并将其标记为同构设计工件; 并输出具有标记的同构设计工件的设计图。 根据软件设计层次结构，自下而上的方法会自动识别相关设计之间的冲突，以促进冲突解决。

公开(公告)号：US20120311549A1

公开(公告)日：2012-12-06

申请号：US13153030

申请日：2011-06-03

申请人： Ying Liu ,  Fan Jing Meng ,  Dharmashankar Subramanian ,  Clay E. Williams ,  Shun Xiang Yang ,  Xin Zhou

发明人： Ying Liu ,  Fan Jing Meng ,  Dharmashankar Subramanian ,  Clay E. Williams ,  Shun Xiang Yang ,  Xin Zhou

IPC分类号： G06F9/45

CPC分类号： G06Q40/06

摘要： Adapting an existing portfolio optimizer to support one or more valuated dependencies without modifying the existing portfolio optimizer, may include translating one or more original elements and associated dependencies in a portfolio to be optimized based on said one or more valuated dependencies; invoking the existing portfolio optimizer with the translated one or more original elements and associated dependencies; and translating optimization results, if said optimization results contain translated one or more original elements, into a solution characterized in terms of said one or more original elements.

摘要翻译： 适应现有投资组合优化器来支持一个或多个估值依赖关系而不修改现有投资组合优化器，可以包括基于所述一个或多个估值依赖来翻译投资组合中的一个或多个原始元素和相关联的依赖关系进行优化; 使用已翻译的一个或多个原始元素和相关依赖关系调用现有的投资组合优化器; 以及如果所述优化结果包含翻译的一个或多个原始元素，则将优化结果转换成根据所述一个或多个原始元素表征的解决方案。

公开(公告)号：US08832673B2

公开(公告)日：2014-09-09

申请号：US13153030

申请日：2011-06-03

申请人： Ying Liu ,  Fan Jing Meng ,  Dharmashankar Subramanian ,  Clay E. Williams ,  Shun Xiang Yang ,  Xin Zhou

发明人： Ying Liu ,  Fan Jing Meng ,  Dharmashankar Subramanian ,  Clay E. Williams ,  Shun Xiang Yang ,  Xin Zhou

IPC分类号： G06F9/45 ,  G06Q40/06

CPC分类号： G06Q40/06

摘要： Adapting an existing portfolio optimizer to support one or more valuated dependencies without modifying the existing portfolio optimizer, may include translating one or more original elements and associated dependencies in a portfolio to be optimized based on said one or more valuated dependencies; invoking the existing portfolio optimizer with the translated one or more original elements and associated dependencies; and translating optimization results, if said optimization results contain translated one or more original elements, into a solution characterized in terms of said one or more original elements.

摘要翻译： 适应现有投资组合优化器来支持一个或多个估值依赖关系而不修改现有投资组合优化器，可以包括基于所述一个或多个估值依赖来翻译投资组合中的一个或多个原始元素和相关联的依赖关系进行优化; 使用已翻译的一个或多个原始元素和相关依赖关系调用现有的投资组合优化器; 以及如果所述优化结果包含翻译的一个或多个原始元素，则将优化结果转换成根据所述一个或多个原始元素表征的解决方案。

公开(公告)号：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.

摘要翻译： 提供将流程图转换为等效树图的方法，将等效树图变换为流程图的方法，用于验证流程图重组的方法，用于编辑流程图的方法，用于创建流程图的方法和流程图编辑器。 流程图包括所述一个或多个逻辑结构中的一个或多个逻辑结构和一个或多个处理活动。 将流程图变换为等效树图的方法包括：遍历所述流程图; 将所述流程图中的一个或多个逻辑结构转换成所述树形图中的一个或多个分支节点; 以及将所述流程图的所述逻辑结构中的一个或多个处理活动转换为所述树形图中的相应分支节点之下的一个或多个叶节点。 此外，通过利用等效树图来执行流程图的编辑和流程图的重组的验证。

公开(公告)号：US20090119638A1

公开(公告)日：2009-05-07

申请号：US12261008

申请日：2008-10-29

申请人： Shao Chun Li ,  Ying Liu ,  Wei Zhao ,  Jun Zhu

发明人： Shao Chun Li ,  Ying Liu ,  Wei Zhao ,  Jun Zhu

IPC分类号： G06F9/44

CPC分类号： G06F8/20

摘要： A method for providing project development environment for a developer, an apparatus for providing project development environment for a developer, and a project development system. The method determines an artifact which can be accessed by the developer and an artifact which cannot be accessed by the developer and is depended by the artifact which can be accessed by the developer based on a request of the developer, project assignment information and project artifact dependencies, and generates a logic artifact for the artifact which cannot be accessed by the developer and is depended by the artifact which can be accessed by the developer. The invention improves the security of the project development by generating the surrogate to make sure that every developer can not touch the whole content of the project, and the developer can freely invoke the depended artifacts.

摘要翻译： 为开发人员提供项目开发环境的方法，为开发人员提供项目开发环境的设备以及项目开发系统。 该方法确定开发人员可以访问的工件和开发人员无法访问的工件，并且依赖于开发人员可以根据开发人员的请求，项目分配信息和项目工件依赖关系访问的工件 ，并为该工件生成一个无法由开发人员访问的逻辑工件，并依赖于可由开发人员访问的工件。 本发明通过生成代理来提高项目开发的安全性，以确保每个开发人员不能触及项目的整个内容，并且开发人员可以自由地调用依赖的工件。

公开(公告)号：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.

摘要翻译： 提供了一种在商业模式中整合模型和域语义的方法。 该方法包括：业务模型输入步骤，用于输入要实现的业务模型; 域语义定位步骤，用于定位域本体内业务模型的建模元素的域语义，并输出相应的域模型语义; 用于将业务模型的建模元素转换为由模型本体表示的业务模型语义的模型语义转换步骤; 以及统一的语义模型形成步骤，用于组合上述业务模型语义和域模型语义，然后输出统一的语义模型。 所公开的教导旨在促进嵌入在商业模式中的语义的集成和利用。

公开(公告)号：US20130067435A1

公开(公告)日：2013-03-14

申请号：US13606094

申请日：2012-09-07

申请人： Sheng Huang ,  Shao Chun Li ,  Ying Liu ,  Ming Lou ,  Yi Qi ,  Jun Zhu

发明人： Sheng Huang ,  Shao Chun Li ,  Ying Liu ,  Ming Lou ,  Yi Qi ,  Jun Zhu

IPC分类号： G06F9/44

CPC分类号： G06F8/33

摘要： A programming assistance technical solution for a framework-based application program. The application program contains program files and configuration files, including: processing configuration files of an application program history base into a configuration file classification base according to types of frameworks; constructing a Closed Frequent Subtree Set according to the configuration file classification base and determining a support of the Closed Frequent Subtree; and providing the Closed Frequent Subtree Set and the support for programming assistance. The technical solution of the present invention can be employed to assist in programming of a framework-based application program.

摘要翻译： 用于基于框架的应用程序的编程辅助技术解决方案。 应用程序包含程序文件和配置文件，包括：根据框架的类型，将应用程序历史库的配置文件处理成配置文件分类库; 根据配置文件分类基础构建关闭频繁子树组，并确定关闭频繁子树的支持; 并提供关闭频繁子树组和对编程帮助的支持。 本发明的技术方案可用于协助编程基于框架的应用程序。

公开(公告)号：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.

摘要翻译： 提供将流程图转换为等效树图的方法，将等效树图变换为流程图的方法，用于验证流程图重组的方法，用于编辑流程图的方法，用于创建流程图的方法和流程图编辑器。 流程图包括所述一个或多个逻辑结构中的一个或多个逻辑结构和一个或多个处理活动。 将流程图变换为等效树图的方法包括：遍历所述流程图; 将所述流程图中的一个或多个逻辑结构转换成所述树形图中的一个或多个分支节点; 以及将所述流程图的所述逻辑结构中的一个或多个处理活动转换为所述树形图中的相应分支节点之下的一个或多个叶节点。 此外，通过利用等效树图来执行流程图的编辑和流程图的重组的验证。

公开(公告)号：US20080255903A1

公开(公告)日：2008-10-16

申请号：US12102199

申请日：2008-04-14

申请人： Ying Liu ,  Wei Tan ,  Jun Zhu

发明人： Ying Liu ,  Wei Tan ,  Jun Zhu

IPC分类号： G06Q10/00

CPC分类号： G06Q10/00 ,  G06Q10/06316

摘要： The present invention provides a business process execution method, a business process engine, a method for deploying a business process engine and a computer program product. According to one aspect of the invention, there is provided a business process execution method, wherein, the business process is predefined by using Business Process Specification Language, said method comprising: performing said business process and monitoring events generated during the execution of said business process; and jumping from one step of said business process to another step based on a preset jumping rule, thereby changing predefined process of said business process.

摘要翻译： 本发明提供了业务流程执行方法，业务流程引擎，用于部署业务流程引擎和计算机程序产品的方法。 根据本发明的一个方面，提供了一种业务流程执行方法，其中，通过使用业务流程规范语言来预定义业务流程，所述方法包括：执行所述业务流程和在所述业务流程执行期间生成的监控事件 ; 并从所述业务处理的一步跳到基于预设跳跃规则的另一步骤，从而改变所述业务处理的预定义处理。