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

1. 发明授权

US07386577B2 Dynamic determination of transaction boundaries in workflow systems 有权
标题翻译：动态确定工作流系统中的事务边界
公开(公告)号：US07386577B2
公开(公告)日：2008-06-10
申请号：US10906085
申请日：2005-02-02
申请人： Andreas Arning , Matthias Kloppmann , Frank Leymann , Gerhard Pfau , Dieter Roller , Andreas Schmitz , Friedemann Schwenkreis , Claudia Zentner
发明人： Andreas Arning , Matthias Kloppmann , Frank Leymann , Gerhard Pfau , Dieter Roller , Andreas Schmitz , Friedemann Schwenkreis , Claudia Zentner
IPC分类号： G06F17/30
CPC分类号： G06Q10/06 , G06Q10/10 , Y10S707/99952
摘要： Transactions within a process model are determined by grouping a set of individual process activities into a single transaction. This effectively reduces the processing overhead, and, therefore, improves the overall throughput and latency of the execution of the process model. The transaction is determined by performing an optimization procedure that takes into account the structure of the process model as well as various properties of the single process activities of the process model. Analysis of the properties of the process activities as well as application of the optimization procedure is performed dynamically during execution of the process model by a workflow engine.
摘要翻译：通过将一组单独的流程活动分组为单个事务来确定流程模型中的交易。这有效地减少了处理开销，因此提高了处理模型执行的总体吞吐量和延迟。通过执行考虑过程模型的结构以及过程模型的单个过程活动的各种属性的优化过程来确定事务。流程活动的属性分析以及优化过程的应用在工作流引擎执行流程模型时动态执行。

2. 发明申请

US20050209841A1 Optimization of process properties for workflows with failing activities 审中-公开
标题翻译：优化具有故障活动的工作流的进程属性
公开(公告)号：US20050209841A1
公开(公告)日：2005-09-22
申请号：US11077284
申请日：2005-03-10
申请人： Andreas Arning , Matthias Kloppmann , Frank Leymann , Gerhard Pfau , Dieter Roller , Andreas Schmitz , Friedemann Schwenkreis , Claudia Zentner
发明人： Andreas Arning , Matthias Kloppmann , Frank Leymann , Gerhard Pfau , Dieter Roller , Andreas Schmitz , Friedemann Schwenkreis , Claudia Zentner
IPC分类号： G06F9/45 , G06F11/14
CPC分类号： G06F11/1402 , G06F11/008
摘要： The present invention provides a method, a data processing system as well as a computer program product for optimizing process properties for workflows with failing activities. The invention makes use of monitoring occurrence of failure of each activity of a process model of a workflow and further monitoring properties that are associated to compensating activities that are required in order to repair the failure of an activity. The method makes explicit use of determining alternative execution sequences and selecting one of the plurality of alternative execution sequences of the process model, that optimizes the process property in case of failure of an activity of the process model. The process model itself remains unaffected and need not to be remodeled.
摘要翻译：本发明提供了一种方法，数据处理系统以及用于优化具有失败活动的工作流程的过程属性的计算机程序产品。本发明利用监视工作流程模型的每个活动的失败发生情况，并且进一步监视属性，这些属性与为了修复活动失败而需要的补偿活动相关联。该方法明确地使用确定替代执行序列并选择过程模型的多个替代执行序列中的一个，其在过程模型的活动失败的情况下优化过程属性。过程模型本身不受影响，无需重新构建。

3. 发明申请

US20050171930A1 Dynamic Determination of Transaction Boundaries in Workflow Systems 有权
标题翻译：动态确定工作流系统中的事务边界
公开(公告)号：US20050171930A1
公开(公告)日：2005-08-04
申请号：US10906085
申请日：2005-02-02
申请人： Andreas Arning , Matthias Kloppmann , Frank Leymann , Gerhard Pfau , Dieter Roller , Andreas Schmitz , Friedemann Schwenkreis , Claudia Zentner
发明人： Andreas Arning , Matthias Kloppmann , Frank Leymann , Gerhard Pfau , Dieter Roller , Andreas Schmitz , Friedemann Schwenkreis , Claudia Zentner
IPC分类号： G06Q10/00 , G06F7/00
CPC分类号： G06Q10/06 , G06Q10/10 , Y10S707/99952
摘要： Transactions within a process model are determined by grouping a set of individual process activities into a single transaction. This effectively reduces the processing overhead, and, therefore, improves the overall throughput and latency of the execution of the process model. The transaction is determined by performing an optimization procedure that takes into account the structure of the process model as well as various properties of the single process activities of the process model. Analysis of the properties of the process activities as well as application of the optimization procedure is performed dynamically during execution of the process model by a workflow engine.
摘要翻译：通过将一组单独的流程活动分组为单个事务来确定流程模型中的交易。这有效地减少了处理开销，因此提高了处理模型执行的总体吞吐量和延迟。通过执行考虑过程模型的结构以及过程模型的单个过程活动的各种属性的优化过程来确定事务。流程活动的属性分析以及优化过程的应用在工作流引擎执行流程模型时动态执行。

4. 发明申请

US20070162339A1 Method and System for Sending and Processing Messages Received Electronically 审中-公开
标题翻译：电子邮件接收和处理消息的方法和系统
公开(公告)号：US20070162339A1
公开(公告)日：2007-07-12
申请号：US11621214
申请日：2007-01-09
申请人： Andreas Arning , Matthias Kloppmann , Gerhard Pfau , Dieter Roller
发明人： Andreas Arning , Matthias Kloppmann , Gerhard Pfau , Dieter Roller
IPC分类号： G06Q30/00
CPC分类号： G06Q10/107 , G06Q30/0207
摘要： In a computer system of a sender, means is generated for a message. The means represents a reward offer for a receiver of the message for acting on the message. The message and means are sent to at least one receiver. The message and means associated with the message are received in a receiver computer system. It is checked whether the message is acted on in accordance with the reward offer in the receiver computer system. Realization of the reward offer is initiated in response to the message being acted on in accordance with the reward offer.
摘要翻译：在发送者的计算机系统中，为消息生成手段。该方式代表消息的接收者对该消息采取行动的报价。消息和装置被发送到至少一个接收器。在接收机计算机系统中接收与消息相关联的消息和装置。根据接收机计算机系统中的奖励报告检查消息是否被执行。奖励报价的实现是响应于根据报价提供的信息进行的。

5. 发明授权

US09823902B2 Editing source code 有权
公开(公告)号：US09823902B2
公开(公告)日：2017-11-21
申请号：US13560267
申请日：2012-07-27
申请人： Andreas Arning , Friedemann Schwenkreis
发明人： Andreas Arning , Friedemann Schwenkreis
IPC分类号： G06F9/44
CPC分类号： G06F8/33 , G06F8/20
摘要： A method for editing source code includes receiving a modification to the source code made by a user, determining whether the modification would change the semantics of the source code, and handling the modification depending on the result of the determining.

6. 发明授权

US08341597B2 Editing source code 失效
标题翻译：编辑源代码
公开(公告)号：US08341597B2
公开(公告)日：2012-12-25
申请号：US12015019
申请日：2008-01-16
申请人： Andreas Arning , Friedemann Schwenkreis
发明人： Andreas Arning , Friedemann Schwenkreis
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/33 , G06F8/20
摘要： The present invention relates to the field of computer programming. More specifically the invention relates to a method and a data processing system for editing the source code of a computer program. It is an object of the present invention to provide an easy source code editing technique, by which programming errors and type errors can reliably be avoided in cases where changes to the program are supposed not to change the semantics of the program. This object is achieved according to the invention by a method for editing source code, the method comprising the steps of: receiving a modification to the source code, said modification being made by a user, determining whether the modification would change the semantics of the source code, and handling the modification depending on the result of the determining step.
摘要翻译：本发明涉及计算机程序设计领域。更具体地，本发明涉及一种用于编辑计算机程序的源代码的方法和数据处理系统。本发明的目的是提供一种简单的源代码编辑技术，通过该方法可以可靠地避免编程错误和类型错误，在程序的改变不应改变程序的语义的情况下。根据本发明，通过一种用于编辑源代码的方法来实现该目的，该方法包括以下步骤：接收对源代码的修改，所述修改由用户进行，确定修改是否会改变源的语义代码，并根据确定步骤的结果处理修改。

7. 发明申请

US20080172660A1 Method and System for Editing Source Code 失效
标题翻译：编辑源代码的方法和系统
公开(公告)号：US20080172660A1
公开(公告)日：2008-07-17
申请号：US12015019
申请日：2008-01-16
申请人： Andreas Arning , Friedemann Schwenkreis
发明人： Andreas Arning , Friedemann Schwenkreis
IPC分类号： G06F9/45
CPC分类号： G06F8/33 , G06F8/20
摘要： The present invention relates to the field of computer programming. More specifically the invention relates to a method and a data processing system for editing the source code of a computer program. It is an object of the present invention to provide an easy source code editing technique, by which programming errors and type errors can reliably be avoided in cases where changes to the program are supposed not to change the semantics of the program. This object is achieved according to the invention by a method for editing source code, the method comprising the steps of: receiving a modification to the source code, said modification being made by a user, determining whether the modification would change the semantics of the source code, and handling the modification depending on the result of the determining step.
摘要翻译：本发明涉及计算机程序设计领域。更具体地，本发明涉及一种用于编辑计算机程序的源代码的方法和数据处理系统。本发明的目的是提供一种简单的源代码编辑技术，通过该方法可以可靠地避免编程错误和类型错误，在程序的改变不应改变程序的语义的情况下。根据本发明，通过一种用于编辑源代码的方法来实现该目的，该方法包括以下步骤：接收对源代码的修改，所述修改由用户进行，确定修改是否会改变源的语义代码，并根据确定步骤的结果处理修改。

8. 发明授权

US07386593B2 Handling of messages in a electronic messaging system 失效
标题翻译：处理电子邮件系统中的邮件
公开(公告)号：US07386593B2
公开(公告)日：2008-06-10
申请号：US10698137
申请日：2003-10-30
申请人： Andreas Arning , Dieter Roller , Andreas Maier
发明人： Andreas Arning , Dieter Roller , Andreas Maier
IPC分类号： G06F15/16
CPC分类号： G06Q10/107
摘要： The present invention proposes a computerized method and means for providing an improved handling of messages directed to an user of an electronic messaging system.The suggested method comprises a first step of determining user characteristics capable of identifying the user as an addressee of a message.The method further comprises a second step of analyzing a certain message and determining its message characteristics exploiting the information contained in one or a multitude of message fields.The method finally comprises a third step of applying at least one deduction rule of a potential set of deduction rules to said certain message. The deduction rule assigns based on the user characteristics and the message characteristics a role of said user to said certain message. The role is capable of revealing said user's relationship to said certain message.
摘要翻译：本发明提出了一种用于提供针对电子消息系统的用户的消息的改进处理的计算机化方法和装置。所提出的方法包括确定能够将用户识别为消息的收件人的用户特征的第一步骤。该方法还包括分析某个消息并利用包含在一个或多个消息字段中的信息来确定其消息特性的第二步骤。所述方法最终包括向所述特定消息应用至少一个扣除规则的一组潜在的扣除规则的第三步骤。扣除规则基于用户特征和消息特征将所述用户的角色分配给所述某些消息。该角色能够揭示所述用户与所述某个消息的关系。

9. 发明授权

US07272590B2 System and method for determining numerical representations for categorical data fields 失效
标题翻译：用于确定分类数据字段的数值表示的系统和方法
公开(公告)号：US07272590B2
公开(公告)日：2007-09-18
申请号：US10383182
申请日：2003-03-06
申请人： Andreas Arning , Christoph Lingenfelder , Gregor Meyer , Dieter Roller , Swen Wohland
发明人： Andreas Arning , Christoph Lingenfelder , Gregor Meyer , Dieter Roller , Swen Wohland
IPC分类号： G06F17/30
CPC分类号： G06F17/30595 , H03M7/14 , Y10S707/99932 , Y10S707/99942
摘要： A system and method determine numerical representations for categorical data fields by taking advantage of the redundancy of the data records to allow automatic discovery of an order of the categories. A categorical data field is recoded by creating separate tables for each numerical data field occurring in the data records. The separate tables are sorted according to the numerical values of the respective data fields. The recoding of the categories is performed based on the average sort order of occurrences of the category in a specific sorted table. The standard deviation of the numerical codes provided by the categories is calculated for each of the separate recoding tables. The recoding table with the maximum standard deviation is selected as the recoding table to perform the recoding of the categories contained in the respective categorical data field of the data records. A plausibility check is performed for the selected recoding table by excluding the numerical data field that has formed the basis for the sorting of the respective table and recreating the recoding table from the data records. The resulting recoding table and the original recoding table are compared. Resulting recoding tables that are similar indicate a high level of confidence that the originally selected recoding table is optimal.
摘要翻译：系统和方法通过利用数据记录的冗余来确定分类数据字段的数值表示，以允许自动发现类别的顺序。通过为数据记录中出现的每个数字数据字段创建单独的表来重新编码分类数据字段。根据各个数据字段的数值对不同的表进行排序。基于特定排序表中的类别的出现的平均排序顺序来执行类别的重新编码。为每个单独的记录表计算由类别提供的数字代码的标准偏差。选择具有最大标准偏差的记录表作为记录表，以对包含在数据记录的相应分类数据字段中的类别进行重新编码。通过排除已经形成用于对各个表的排序的基础的数字数据字段并从数据记录重新创建记录表，对选择的记录表执行合理性检查。比较所得到的记录表和原始记录表。类似的结果记录表表示最初选择的重新编码表是最佳的高置信度。

10. 发明授权

US08171039B2 String pattern analysis 失效
标题翻译：字符串模式分析
公开(公告)号：US08171039B2
公开(公告)日：2012-05-01
申请号：US12351527
申请日：2009-01-09
申请人： Andreas Arning , Roland Seiffert
发明人： Andreas Arning , Roland Seiffert
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06F17/277 , G06F19/22 , Y10S707/917
摘要： A method of analyzing a string-pattern includes defining a minimum length (Lmin—1) of substrings (STR_A_B) to be considered; defining a maximum length (Lmax—1) of substrings (STR_A_B) to be considered; with a computer, searching the string-pattern for substrings (STR_A_B) with a length in an interval between the minimum length (Lmin—1) and the maximum length (Lmax—1); counting an occurrence (Occ_A_B) of each substring (STR_A_B) found with a length in the interval between the minimum length (Lmin—1) and the maximum length (Lmax—1); and pruning away a number of the substrings (STR_A_B) that meet one or more criteria. The criteria are selected from the group consisting of (1) being contained inside the maximum substring (STR_A_C) in a subset (SET_A) of substrings (STR_A_B), (2) being shorter than the maximum substring (STR_A_C), (3) occurring with a same frequency as the maximum substring (STR_A_C), and combinations thereof.
摘要翻译：分析字符串模式的方法包括定义要考虑的子串（STR_A_B）的最小长度（Lmin-1）; 定义要考虑的子串（STR_A_B）的最大长度（Lmax-1）; 用计算机搜索长度为最小长度（Lmin-1）和最大长度（Lmax-1）之间的间隔的子串（STR_A_B）的字符串模式; 计算以最小长度（Lmin-1）和最大长度（Lmax-1）之间的间隔中的长度发现的每个子串（STR_A_B）的出现（Occ_A_B）; 并修剪符合一个或多个标准的多个子串（STR_A_B）。标准选自（1）包含在子串（STR_A_B）的子集（SET_A）内的最大子字符串（STR_A_C）内，（2）短于最大子字符串（STR_A_C），（3）发生的组中与最大子串（STR_A_C）的频率相同，以及它们的组合。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式