-
公开(公告)号：US06625602B1
公开(公告)日：2003-09-23
申请号：US09560225
申请日：2000-04-28
申请人： Lucius Gregory Meredith , Amit Mital , Marc Levy , Brian Beckman , Anthony Andrews , Bimal Mehta
发明人： Lucius Gregory Meredith , Amit Mital , Marc Levy , Brian Beckman , Anthony Andrews , Bimal Mehta
IPC分类号： G06F700
CPC分类号： G06Q10/10 , G06Q30/06 , Y10S707/99938 , Y10S707/99939 , Y10S707/99953
摘要： A method for executing a schedule in a workflow application is provided. The method comprises a hierarchical transaction commit rule allowing access to the data associated with an action in the schedule according to a transaction boundary and the state of the action. The invention further comprises selectively compensating at least one action according to a compensation parameter and at least one transaction boundary after abortion of another action. The invention further provides storing schedule state information to a storage medium based on a transaction boundary within the schedule. In addition, the invention provides for selectively obtaining at least a portion of the schedule state information from the storage medium, and selectively monitoring the schedule execution based on at least a portion of the schedule information obtained from the storage medium. Further provided, is a computer-readable medium having computer-executable instructions for performing the steps of the above methods.
摘要翻译： 提供了一种用于在工作流应用程序中执行日程表的方法。 该方法包括分层交易提交规则，允许根据事务边界和动作状态访问与调度中的动作相关联的数据。 本发明还包括根据补偿参数和在堕胎另外的动作之后的至少一个交易边界选择性地补偿至少一个动作。 本发明还提供了一种基于表内的事务边界向存储介质存储日程状态信息。 此外，本发明提供从存储介质中选择性地获得调度状态信息的至少一部分，并且基于从存储介质获得的调度信息的至少一部分来选择性地监视调度执行。 进一步提供的是具有用于执行上述方法的步骤的计算机可执行指令的计算机可读介质。
-
公开(公告)号：US07467371B1
公开(公告)日：2008-12-16
申请号：US09560371
申请日：2000-04-28
申请人： Lucius Gregory Meredith , Marc Levy , Brian Beckman , Anthony Andrews , Bimal Mehta , Mitra Kanchan
发明人： Lucius Gregory Meredith , Marc Levy , Brian Beckman , Anthony Andrews , Bimal Mehta , Mitra Kanchan
IPC分类号： G06F9/44
CPC分类号： G06F8/10
摘要： A methodology of employing a binding for interfacing a business workflow process executable program to a real world implementation. The binding can be reduced to a programming language. A preferable programming language is XML (Extensible Markup Language). Separation of the business workflow processes and the binding allow for the same business workflow process to be implemented across a variety of different technologies. The binding maps ports and messages to corresponding units of codes and invocations of a particular technology being utilized for the modeling of the business workflow process. The binding provides a user with the ability to structure schedule messages, define the relationship of schedule ports to units of code, define the relationship of schedule actions to invocations, control the flow of data between messages, provide details of schedule conditionals and specify the interaction of the schedule with specific technology behaviors.
摘要翻译： 一种使用绑定来将业务工作流程可执行程序连接到现实世界实现的方法。 绑定可以减少到一种编程语言。 优选的编程语言是XML（可扩展标记语言）。 分离业务流程流程和绑定允许在各种不同的技术上实现相同的业务流程流程。 绑定将端口和消息映射到相应的代码单元和用于业务工作流过程建模的特定技术的调用。 绑定为用户提供了构建调度消息的能力，定义调度端口与代码单元的关系，定义调度操作与调用的关系，控制消息之间的数据流，提供调度条件的详细信息并指定交互 的具体技术行为。
-
公开(公告)号：US07409671B1
公开(公告)日：2008-08-05
申请号：US09560373
申请日：2000-04-28
CPC分类号： G06Q10/10
摘要： A methodology of reducing process algebra to a language that facilitates modeling a business workflow process is provided. A process algebra is reduced to a model for business workflow processes. The model is then reduced to a scheduling programming language to allow users to create models of business process by selecting between features of the model and conventional modeling features. The scheduling programming language can be represented as a graphical user interface program that is convertible to a schedule language written in a programmable language. The present invention provides for explicitly representing parallelism within the business workflow process by separating interdependent transactions from independent transactions. The isolation of certain transactions are relaxed, such that users can define transactional boundaries in order to increase granularity of the transaction at an action level and provide visibility of transactions at intermediate steps.
摘要翻译： 提供了一种将过程代数减少到促进业务工作流程建模的语言的方法。 流程代数减少到业务流程流程的模型。 然后将该模型简化为调度编程语言，以允许用户通过在模型的特征与常规建模特征之间进行选择来创建业务流程模型。 调度编程语言可以表示为可转换成以可编程语言编写的调度语言的图形用户界面程序。 本发明提供了通过将相互依赖的交易与独立交易分开来明确地表示业务工作流程中的并行性。 某些事务的隔离是放松的，使得用户可以定义事务边界，以便在行动级别增加交易的粒度，并在中间步骤提供交易的可见性。
-
公开(公告)号：US07503033B2
公开(公告)日：2009-03-10
申请号：US11061487
申请日：2005-02-18
申请人： Lucius G. Meredith , Amit Mital , Marc Levy , Brian Beckman , Anthony Andrews
发明人： Lucius G. Meredith , Amit Mital , Marc Levy , Brian Beckman , Anthony Andrews
CPC分类号： G06Q10/10 , G06F17/2205 , G06F17/2247 , G06F17/30896
摘要： A methodology of reducing process algebra to a language that facilitates modeling a business workflow process is provided. A process algebra is reduced to a model for business workflow processes. The model is then reduced to a scheduling programming language to allow users to create models of business process by selecting between features of the model and conventional modeling features. The scheduling programming language can be represented as a graphical user interface program that is convertible to a schedule language written in a programmable language. The present invention provides for explicitly representing parallelism within the business workflow process by separating interdependent transactions from independent transactions. The isolation of certain transactions are relaxed, such that users can define transactional boundaries in order to increase granularity of the transaction at an action level and provide visibility of transactions at intermediate steps.
摘要翻译： 提供了一种将过程代数减少到促进业务工作流程建模的语言的方法。 流程代数减少到业务流程流程的模型。 然后将该模型简化为调度编程语言，以允许用户通过在模型的特征与常规建模特征之间进行选择来创建业务流程模型。 调度编程语言可以表示为可转换成以可编程语言编写的调度语言的图形用户界面程序。 本发明提供了通过将相互依赖的交易与独立交易分开来明确地表示业务工作流程中的并行性。 某些事务的隔离是放松的，使得用户可以定义事务边界，以便在行动级别增加交易的粒度，并在中间步骤提供交易的可见性。
-
公开(公告)号：US20050234902A1
公开(公告)日：2005-10-20
申请号：US11061487
申请日：2005-02-18
申请人： Lucius Meredith , Amit Mital , Marc Levy , Brian Beckman , Anthony Andrews
发明人： Lucius Meredith , Amit Mital , Marc Levy , Brian Beckman , Anthony Andrews
CPC分类号： G06Q10/10 , G06F17/2205 , G06F17/2247 , G06F17/30896
摘要： A methodology of reducing process algebra to a language that facilitates modeling a business workflow process is provided. A process algebra is reduced to a model for business workflow processes. The model is then reduced to a scheduling programming language to allow users to create models of business process by selecting between features of the model and conventional modeling features. The scheduling programming language can be represented as a graphical user interface program that is convertible to a schedule language written in a programmable language. The present invention provides for explicitly representing parallelism within the business workflow process by separating interdependent transactions from independent transactions. The isolation of certain transactions are relaxed, such that users can define transactional boundaries in order to increase granularity of the transaction at an action level and provide visibility of transactions at intermediate steps.
摘要翻译： 提供了一种将过程代数减少到促进业务工作流程建模的语言的方法。 流程代数减少到业务流程流程的模型。 然后将该模型简化为调度编程语言，以允许用户通过在模型的特征与常规建模特征之间进行选择来创建业务流程模型。 调度编程语言可以被表示为可转换成以可编程语言编写的调度语言的图形用户界面程序。 本发明提供了通过将相互依赖的交易与独立交易分开来明确地表示业务工作流程中的并行性。 某些事务的隔离是放松的，使得用户可以定义事务边界，以便在行动级别增加交易的粒度，并在中间步骤提供交易的可见性。
-
公开(公告)号：US20130117288A1
公开(公告)日：2013-05-09
申请号：US13291102
申请日：2011-11-08
CPC分类号： G06F9/4488 , G06F16/2448 , G06F16/2452
摘要： A dynamic call on dynamic data can be transformed into a dynamic call on a structure representing dynamic data. Specifically, a dynamic query with a code object representation that includes an untyped parameter can be transformed into a dynamic query with a function call with a dynamic meta-object. The function call with the dynamic meta-object tracks operation(s) that correspond to the code object representation that includes an untyped parameter in order to build a structure representing such code object representation. At runtime, the dynamic query is built and the structure representing the code object representation is rebuilt so as to enable a dynamic query with a code object representation that references untyped data.
摘要翻译： 可以将动态数据的动态调用转换为表示动态数据的结构的动态调用。 具体来说，具有包含非类型参数的代码对象表示的动态查询可以通过具有动态元对象的函数调用转换为动态查询。 与动态元对象的函数调用对应于包括无类型参数的代码对象表示的操作，以便构建表示此类代码对象表示的结构。 在运行时，构建动态查询，并重建表示代码对象表示的结构，以便启用具有引用无类型数据的代码对象表示的动态查询。
-
公开(公告)号：US20120323984A1
公开(公告)日：2012-12-20
申请号：US13161933
申请日：2011-06-16
IPC分类号： G06F17/14
CPC分类号： G06F17/30421 , G06F8/31
摘要： Language-integrated query (LINQ) operators can be extended to a set of vectors associated with a digital signal processing (DSP) environment. A language-integrated query (LINQ) operator can be created to execute a change of basis for a set of vectors. LINQ operators can be further be utilized with specifically generated parameters to perform a change of basis for the set of vectors. Additionally, the standard LINQ operators can be extended to enable querying with LINQ against the set of vectors.
摘要翻译： 语言集成查询（LINQ）运算符可以扩展到与数字信号处理（DSP）环境相关联的一组向量。 可以创建语言集成查询（LINQ）运算符，以执行一组向量的基础更改。 LINQ操作符可以进一步利用特定生成的参数来执行向量集合的基础的改变。 另外，可以扩展标准的LINQ运算符，以使得能够使用LINQ对这组向量进行查询。
-
公开(公告)号：US20120315992A1
公开(公告)日：2012-12-13
申请号：US13157332
申请日：2011-06-10
申请人： Elad Gerson , Eyal Ofek , Limor Lahiani , Brian Beckman , Ido Omer
发明人： Elad Gerson , Eyal Ofek , Limor Lahiani , Brian Beckman , Ido Omer
IPC分类号： A63F9/24
CPC分类号： G06F17/30241 , A63F13/12 , A63F2300/204 , A63F2300/5573 , A63F2300/6676 , A63F2300/695 , A63F2300/8076 , H04W4/02
摘要： Architecture that motivates and utilizes users as the means for capturing geographical data of a desired location. The architecture incentivizes users (e.g., large numbers of mobile-phone and mobile-computer users) to provide the data in the form of geolocation information trails and images captured by user devices. Thus, users take multiple pictures, for example, and can validate existing coverage of specific points of interest based on variable needs of the requestor. One motivational technique is by using augmented reality (AR) games, which include shooting targets associated with the point of interest (e.g., a street). Thus, the game can be designed for the data accumulation, which includes visual data. Additionally, the architecture can determine the areas or points of interest for validation and/or additional coverage by comparing live video data to an image database to decide of the need for update.
摘要翻译： 鼓励和利用用户作为捕获所需位置的地理数据的手段的架构。 该架构激励用户（例如，大量的移动电话和移动计算机用户）以用户设备捕获的地理定位信息路径和图像的形式提供数据。 因此，用户可以采取多个图片，例如，可以根据请求者的变量需求来验证特定兴趣点的现有覆盖。 一种动机技术是通过使用增强现实（AR）游戏，其包括与兴趣点相关联的拍摄目标（例如，街道）。 因此，游戏可以被设计用于包括视觉数据的数据累积。 此外，该架构可以通过将实时视频数据与图像数据库进行比较来确定用于验证和/或附加覆盖的区域或兴趣点，以决定是否需要更新。
-
公开(公告)号：US20070050380A1
公开(公告)日：2007-03-01
申请号：US11215178
申请日：2005-08-30
申请人： Henricus Meijer , Amanda Silver , Brian Beckman , Paul Vick , Avner Aharoni , David Schach , Peter Drayton
发明人： Henricus Meijer , Amanda Silver , Brian Beckman , Paul Vick , Avner Aharoni , David Schach , Peter Drayton
IPC分类号： G06F7/00
CPC分类号： G06F8/31
摘要： Systems and methods that enhance a programming language by introducing null unification on a type level in addition to a value level, for static types of both reference and value types T. An operator that adds a level of nullability (and removes such nullability) is introduced without a mention of the actual type, to steer overloading in a precise manner.
摘要翻译： 引入了一个编程语言的系统和方法，通过在类型级别上引入空值统一，除了值级别之外，还引用了引用和值类型T的静态类型。引入了可空性级别（并消除了这种可空性）的操作符被引入 没有提到实际的类型，以精确的方式引导超载。
-
公开(公告)号：US08694565B2
公开(公告)日：2014-04-08
申请号：US13161933
申请日：2011-06-16
IPC分类号： G06F17/16
CPC分类号： G06F17/30421 , G06F8/31
摘要： Language-integrated query (LINQ) operators can be extended to a set of vectors associated with a digital signal processing (DSP) environment. A language-integrated query (LINQ) operator can be created to execute a change of basis for a set of vectors. LINQ operators can be further be utilized with specifically generated parameters to perform a change of basis for the set of vectors. Additionally, the standard LINQ operators can be extended to enable querying with LINQ against the set of vectors.
摘要翻译： 语言集成查询（LINQ）运算符可以扩展到与数字信号处理（DSP）环境相关联的一组向量。 可以创建语言集成查询（LINQ）运算符，以执行一组向量的基础更改。 LINQ操作符可以进一步利用特定生成的参数来执行向量集合的基础的改变。 另外，可以扩展标准的LINQ运算符，以使得能够使用LINQ对这组向量进行查询。
-
-
-
-
-
-
-
-
-
搜索结果
47 条记录 (耗时 0.033 秒)
