利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

10 条记录 (耗时 0.032 秒)

    Method and system for hierarchical transactions and compensation
    1.
    发明授权
    Method and system for hierarchical transactions and compensation 有权
    分层交易和补偿的方法和系统

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

    摘要翻译： 提供了一种用于在工作流应用程序中执行日程表的方法。 该方法包括分层交易提交规则，允许根据事务边界和动作状态访问与调度中的动作相关联的数据。 本发明还包括根据补偿参数和在堕胎另外的动作之后的至少一个交易边界选择性地补偿至少一个动作。 本发明还提供了一种基于表内的事务边界向存储介质存储日程状态信息。 此外，本发明提供从存储介质中选择性地获得调度状态信息的至少一部分，并且基于从存储介质获得的调度信息的至少一部分来选择性地监视调度执行。 进一步提供的是具有用于执行上述方法的步骤的计算机可执行指令的计算机可读介质。

    Binding for business workflow processes
    2.
    发明授权
    Binding for business workflow processes 有权
    绑定业务工作流程

    公开(公告)号：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（可扩展标记语言）。 分离业务流程流程和绑定允许在各种不同的技术上实现相同的业务流程流程。 绑定将端口和消息映射到相应的代码单元和用于业务工作流过程建模的特定技术的调用。 绑定为用户提供了构建调度消息的能力，定义调度端口与代码单元的关系，定义调度操作与调用的关系，控制消息之间的数据流，提供调度条件的详细信息并指定交互 的具体技术行为。

    Model for business workflow processes
    3.
    发明授权
    Model for business workflow processes 有权
    业务流程流程模型

    公开(公告)号：US07409671B1

    公开(公告)日：2008-08-05

    申请号：US09560373

    申请日：2000-04-28

    申请人： Lucius Gregory Meredith ,  Amit Mital ,  Marc Levy ,  Brian Beckman ,  Anthony Andrews

    发明人： Lucius Gregory Meredith ,  Amit Mital ,  Marc Levy ,  Brian Beckman ,  Anthony Andrews

    IPC分类号： G06F9/44 ,  G06F11/00 ,  G06F9/46

    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.

    摘要翻译： 提供了一种将过程代数减少到促进业务工作流程建模的语言的方法。 流程代数减少到业务流程流程的模型。 然后将该模型简化为调度编程语言，以允许用户通过在模型的特征与常规建模特征之间进行选择来创建业务流程模型。 调度编程语言可以表示为可转换成以可编程语言编写的调度语言的图形用户界面程序。 本发明提供了通过将相互依赖的交易与独立交易分开来明确地表示业务工作流程中的并行性。 某些事务的隔离是放松的，使得用户可以定义事务边界，以便在行动级别增加交易的粒度，并在中间步骤提供交易的可见性。

    System and method utilizing a graphical user interface of a business process workflow scheduling program
    4.
    发明授权
    System and method utilizing a graphical user interface of a business process workflow scheduling program 有权
    利用业务流程工作流调度程序的图形用户界面的系统和方法

    公开(公告)号：US07184967B1

    公开(公告)日：2007-02-27

    申请号：US09800163

    申请日：2001-03-06

    申请人： Amit Mital ,  Lucius Gregory Meredith ,  Marc Levy ,  Brian C. Beckman ,  Anthony D. Andrews ,  Terry J. Myerson

    发明人： Amit Mital ,  Lucius Gregory Meredith ,  Marc Levy ,  Brian C. Beckman ,  Anthony D. Andrews ,  Terry J. Myerson

    IPC分类号： G05B19/418

    CPC分类号： G06Q10/10 ,  G05B2219/31449 ,  G05B2219/32128 ,  G05B2219/36025 ,  G06Q10/06316

    摘要： A graphical user interface (GUI) scheduler program is provided for modeling business workflow processes. The GUI scheduler program includes tools to allow a user to create a schedule for business workflow processes based on a set of rules defined by the GUI scheduler program. The rules facilitate deadlock not occurring within the schedule. The program provides tools for creating and defining message flows between entities. Additionally, the program provides tools that allow a user to define a binding between the schedule and components, such as COM components, script components, message queues and other workflow schedules. The scheduler program allows a user to define actions and group actions into transactions using simple GUI scheduling tools. The schedule can then be converted to executable code in a variety of forms such as XML, C, C+ and C++. The executable code can then be converted or interpreted for running the schedule.

    摘要翻译： 提供了图形用户界面（GUI）调度程序，用于对业务工作流程进行建模。 GUI调度程序包括允许用户基于由GUI调度程序定义的一组规则为业务工作流处理创建调度的工具。 这些规则有助于在时间表内不发生死锁。 该程序提供用于创建和定义实体之间的消息流的工具。 此外，该程序还提供允许用户定义调度和组件（如COM组件，脚本组件，消息队列和其他工作流程表）之间的绑定的工具。 调度程序允许用户使用简单的GUI调度工具来定义操作并将操作分组到事务中。 然后可以将调度表转换为各种形式的可执行代码，如XML，C，C ++和C ++。 然后可以转换或解释可执行代码来运行计划。

    Structured message process calculus
    7.
    发明授权
    Structured message process calculus 有权
    结构化消息处理演算

    公开(公告)号：US07685566B2

    公开(公告)日：2010-03-23

    申请号：US10881142

    申请日：2004-06-30

    申请人： Allen L. Brown, Jr. ,  Lucius Gregory Meredith ,  Cosimo Laneve

    发明人： Allen L. Brown, Jr. ,  Lucius Gregory Meredith ,  Cosimo Laneve

    IPC分类号： G06F9/44 ,  G06F9/45

    CPC分类号： G06F9/546

    摘要： Trees are a common semantic denominator of XML data types and process calculi. This indicates a potential tight intertwining of the syntax and semantics of data and processes. The invention provides this intertwining via a process calculus wherein the data language syntax is a fragment of the programming language syntax.

    摘要翻译： 树是XML数据类型和处理结果的常见语义分母。 这表明数据和过程的语法和语义之间可能存在紧密的交织。 本发明通过过程演算提供了这种交织，其中数据语言语法是编程语言语法的一部分。

    XML-based representation of mobile process calculi
    8.
    发明授权
    XML-based representation of mobile process calculi 有权
    基于XML的移动处理结果表示

    公开(公告)号：US07376663B1

    公开(公告)日：2008-05-20

    申请号：US10306531

    申请日：2002-11-27

    申请人： Lucius Gregory Meredith

    发明人： Lucius Gregory Meredith

    IPC分类号： G06F7/00 ,  G06F17/00 ,  G06F9/44

    CPC分类号： G06F17/30896 ,  G06F8/30 ,  G06F17/2205 ,  G06F17/2247 ,  Y10S707/99942 ,  Y10S707/99943

    摘要： A methodology is provided for encoding mobile process calculi in XML. Mobile process calculi (e.g., Π-calculus, Join Calculus, Blue Calculus) are often employed in modeling business processes. The present method provides for encoding a mobile process algebra in XML by providing a mobile process algebra, reducing the process algebra to infix notation, transforming the mobile process algebra from infix notation to prefix notation, and then transforming the prefix notation to a set of tags via structural induction. Annotating tags can then be provided around the basic process algebra constructors. The set of tags represent an XML schema. The XML schema can then be reduced to a programming language. An example of reducing a specific algebra (combinators—a derivative of Π-calculus) to an XML schema is provided. The XML schema is reduced to a programming language ideal for business workflow processes.

    摘要翻译： 提供了一种用于在XML中编码移动处理结果的方法。 移动过程结论（例如，Pi演算，连接微积分，蓝微积分）通常用于建模业务流程。 本方法提供了通过提供移动过程代数来将移动过程代数编码为XML，将过程代数缩减为中缀符号，将移动过程代数从中间符号转换为前缀符号，然后将前缀符号变换为一组标记 通过结构感应。 然后可以在基本过程代数构造函数周围提供注释标签。 该标签集合表示XML模式。 然后可以将XML模式简化为编程语言。 提供了将特定代数（组合器 - Pi演算的导数）减少到XML模式的示例。 XML模式简化为业务流程流程理想的编程语言。

    XML-based representation of mobile process calculi
    9.
    发明授权
    XML-based representation of mobile process calculi 有权
    基于XML的移动处理结果表示

    公开(公告)号：US06516322B1

    公开(公告)日：2003-02-04

    申请号：US09560223

    申请日：2000-04-28

    申请人： Lucius Gregory Meredith

    发明人： Lucius Gregory Meredith

    IPC分类号： G06F1730

    CPC分类号： G06F17/30896 ,  G06F8/30 ,  G06F17/2205 ,  G06F17/2247 ,  Y10S707/99942 ,  Y10S707/99943

    摘要： A methodology is provided for encoding mobile process calculi in XML. Mobile process calculi (e.g., &pgr;-calculus, Join Calculus, Blue Calculus) are often employed in modeling business processes. The present method provides for encoding a mobile process algebra in XML by providing a mobile process algebra, reducing the process algebra to infix notation, transforming the mobile process algebra from infix notation to prefix notation, and then transforming the prefix notation to a set of tags via structural induction. Annotating tags can then be provided around the basic process algebra constructors. The set of tags represent an XML schema. The XML schema can then be reduced to a programming language. An example of reducing a specific algebra (combinators—a derivative of &pgr;-calculus) to an XML schema is provided. The XML schema is reduced to a programming language ideal for business workflow processes.

    摘要翻译： 提供了一种用于在XML中编码移动处理结果的方法。 移动过程结论（例如，pi演算，连接微积分，蓝微积分）通常用于建模业务流程。 本方法提供了通过提供移动过程代数来将移动过程代数编码为XML，将过程代数缩减为中缀符号，将移动过程代数从中间符号转换为前缀符号，然后将前缀符号变换为一组标记 通过结构感应。 然后可以在基本过程代数构造函数周围提供注释标签。 该标签集合表示XML模式。 然后可以将XML模式简化为编程语言。 提供了将特定代数（组合器 - pi演算的导数）减少到XML模式的示例。 XML模式简化为业务流程流程理想的编程语言。

    Reputation system for web services
    10.
    发明授权
    Reputation system for web services 有权
    Web服务的声誉系统

    公开(公告)号：US07467206B2

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

    申请号：US10328714

    申请日：2002-12-23

    申请人： George Moore ,  Lucius Gregory Meredith

    发明人： George Moore ,  Lucius Gregory Meredith

    IPC分类号： G06F15/173

    CPC分类号： G06F17/30864

    摘要： A system and method for automating the web service selection based on reputation information, to help negotiate a contractual web service binding between a client and a server. Reputation information may be schematized into behavioral attributes such as web service responsiveness, web service latency, web service uptime, cost data, business solvency and other trustworthiness and business-related data. Some of the reputation data may be empirically determined, and provided by an independent or other trusted auditor. In one implementation, a client queries a search engine, which returns a ranked list of web services, with the ranking based on reputation scores computed for each web service as collected by an auditor. Clients may provide computational data to weigh the attributes separately. A corporate internet can maintain reputation data for web services to act as an auditor, and a web service server can also execute trusted code to act as an auditor.

    摘要翻译： 一种用于基于信誉信息自动化Web服务选择的系统和方法，以帮助协商客户端和服务器之间的合同Web服务绑定。 信誉信息可以被示意为诸如web服务响应性，Web服务延迟，web服务正常运行时间，成本数据，业务偿付能力以及其他可信赖度和业务相关数据的行为属性。 一些声誉数据可以经验确定，并由独立或其他可信任的审核员提供。 在一个实现中，客户端查询搜索引擎，其返回网络服务的排名列表，其中基于由审计师收集的针对每个web服务计算的信誉分数的排名。 客户可以提供计算数据来分别衡量属性。 公司互联网可以维护Web服务的信誉数据，以充当审核员，并且Web服务服务器还可以执行可信代码以充当审核员。