公开(公告)号：US07137101B1

公开(公告)日：2006-11-14

申请号：US09204971

申请日：1998-12-03

申请人： David Lars Ehnebuske ,  Barbara Jane Alspach McKee ,  Stewart Laundon Palmer ,  James Thomas Rayfield ,  Isabelle Marie Catherine Rouvellou ,  Ian David Simmonds

发明人： David Lars Ehnebuske ,  Barbara Jane Alspach McKee ,  Stewart Laundon Palmer ,  James Thomas Rayfield ,  Isabelle Marie Catherine Rouvellou ,  Ian David Simmonds

IPC分类号： G06F9/44

CPC分类号： G06Q10/10 ,  G06N5/025

摘要： A method and apparatus for performing general integrity checks using rules in an application running on a data processing system. A point is identified at which a unit of work is to complete. The unit of work includes a plurality of participants. Responsive to determining that the unit of work is to complete, rules associated with each participant in the unit of work are obtained. Responsive to obtaining the rules, the rules obtained for each of the participants are run. Responsive to running the rules, the general integrity of the application state with respect to the unit of work is determined. Responsive to determining the general integrity of the application state, the unit of work is completed by committing it or aborting it.

摘要翻译： 一种使用在数据处理系统上运行的应用程序中的规则来执行一般完整性检查的方法和装置。 确定一个工作单位要完成的一点。 工作单元包括多个参与者。 响应于确定工作单​​位要完成，获得与工作单位中每个参与者相关的规则。 响应于获得规则，对每个参与者获得的规则进行运行。 响应运行规则，确定应用状态对工作单位的一般完整性。 响应于确定申请状态的一般完整性，工作单位通过提交或中止完成。

公开(公告)号：US20120051583A1

公开(公告)日：2012-03-01

申请号：US12868751

申请日：2010-08-26

申请人： David Amid ,  Ateret Anaby-Tavor ,  Avivit Bercovich ,  Michael Desmond ,  Amit Fisher ,  Harold Leon Ossher ,  Ian David Simmonds

发明人： David Amid ,  Ateret Anaby-Tavor ,  Avivit Bercovich ,  Michael Desmond ,  Amit Fisher ,  Harold Leon Ossher ,  Ian David Simmonds

IPC分类号： G06K9/00

CPC分类号： G06K9/00476

摘要： A method of determining whether a given diagram is a conceptual model is provided. The method may include the following steps: obtaining a plurality of artifacts, wherein each one of the artifacts exhibits at least one diagram, and wherein at least some of the artifacts exhibit text associated with the diagrams; determining for each diagram, a plurality of specified factors; and estimating, for each diagram, a likelihood of the diagram being a conceptual model based at least partially on the determined factors. Optionally, the method may further include the step of applying a scoring function to the determined factors, to yield a score, wherein the estimating is further based on the score.

摘要翻译： 提供了确定给定图是否是概念模型的方法。 该方法可以包括以下步骤：获得多个伪影，其中每个伪像展现至少一个图，并且其中至少一些伪像呈现与图相关联的文本; 确定每个图，多个指定因素; 以及对于每个图来估计所述图表至少部分地基于所确定的因素的概念模型的可能性。 可选地，该方法还可以包括将评分函数应用于所确定的因子以产生分数的步骤，其中进一步基于评分。

公开(公告)号：US08713063B2

公开(公告)日：2014-04-29

申请号：US11034951

申请日：2005-01-13

申请人： Steven R. Abrams ,  Ian David Simmonds ,  John Vlissides

发明人： Steven R. Abrams ,  Ian David Simmonds ,  John Vlissides

IPC分类号： G06F7/00 ,  G06F17/30

CPC分类号： G06F17/30961

摘要： The invention broadly and generally provides, in a computer-controlled display, a method of simplifying a graphical representation of a set of connected nodes comprising the steps of: (a) selecting a subset of the aforesaid set; and (b) under computer program control, hiding representations of all nodes except (i) nodes within the aforesaid subset and (ii) at least one node having a defined relationship to the aforesaid subset.

摘要翻译： 本发明在计算机控制的显示器中广泛地和普遍地提供了简化一组连接节点的图形表示的方法，包括以下步骤：（a）选择上述集合的子集; 和（b）在计算机程序控制下，隐藏所有节点的表示，除了（i）上述子集内的节点和（ii）至少一个具有与上述子集有关的关系的节点。