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

1. 发明申请

US20050131978A1 Systems and methods that employ process algebra to specify contracts and utilize performance prediction implementations thereof to measure the specifications 审中-公开
标题翻译：使用过程代数来指定合同并利用其性能预测实现的系统和方法来测量规范
公开(公告)号：US20050131978A1
公开(公告)日：2005-06-16
申请号：US10903959
申请日：2004-07-30
申请人： Lucius Meredith , Allen Brown , David Richter
发明人： Lucius Meredith , Allen Brown , David Richter
IPC分类号： G06F9/50 , G06F7/38 , G06F17/00 , G06F17/30 , H04L12/24 , H04L12/44 , H04L12/56
CPC分类号： H04L41/5009 , H04L41/046 , H04L41/147 , H04L41/22 , H04L41/5006
摘要： The systems and methods of the present invention utilize stochastic calculus (e.g., pi calculus) to determine (e.g., specify, predict, etc.) quality of service that includes at least one of rate, uptime and capacity. The quality of service can be indicative of a level of service provided and/or required by an agent (e.g., a web service). The quality of service can be obtained by representing an agent's contract via a model (e.g., state diagram or mathematical algorithm) and decorating the model with cost functions that are utilized to compute transition costs that are employed to predict associated rates for respective transitions. The model can further be decorated with error states to determine uptime and employed to determine channel capacity. In general, the quality service of a requesting agent and a providing agent can be compared to determine whether the providing agent can satisfy the level of performance of the requesting agent.
摘要翻译：本发明的系统和方法利用随机演算（例如，pi演算）来确定（例如，指定，预测等）包括速率，正常运行时间和容量中的至少一个的服务质量。服务质量可以指示代理（例如，web服务）提供和/或要求的服务水平。可以通过经由模型（例如，状态图或数学算法）来代理代理人的合同并且利用用于计算用于预测相应转换的相关联速率的转换成本的成本函数来装饰模型来获得服务质量。该模型可以进一步用错误状态进行装饰，以确定正常运行时间并用于确定通道容量。通常，可以比较请求代理和提供代理的质量服务，以确定提供代理是否能够满足请求代理的执行级别。

2. 发明申请

US20050166183A1 Structured message process calculus 有权
标题翻译：结构化消息处理演算
公开(公告)号：US20050166183A1
公开(公告)日：2005-07-28
申请号：US10881142
申请日：2004-06-30
申请人： Allen Brown , Lucius Meredith , Cosimo Laneve
发明人： Allen Brown , Lucius Meredith , Cosimo Laneve
IPC分类号： G06F9/46 , G06F9/44
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数据类型和处理结果的常见语义分母。这表明数据和过程的语法和语义之间可能存在紧密的交织。本发明通过过程演算提供了这种交织，其中数据语言语法是编程语言语法的一部分。

3. 发明申请

US20050193286A1 Compensation framework for long running transactions 有权
公开(公告)号：US20050193286A1
公开(公告)日：2005-09-01
申请号：US11093793
申请日：2005-03-30
申请人： Satish Thatte , Lucius Meredith , Marc Levy , Bimal Mehta , Johannes Klein , Anthony Andrews
发明人： Satish Thatte , Lucius Meredith , Marc Levy , Bimal Mehta , Johannes Klein , Anthony Andrews
IPC分类号： G06Q10/00 , G06Q30/00 , G06F11/00
CPC分类号： G06Q10/10 , G06Q30/06
摘要： An error-handling framework is provided for business process transactions. The error-handling framework facilitates coordination of the invocation of exception and compensation handlers in response to errors. The error-handling framework includes support for custom ordering of compensation actions, data flow into and out of compensation actions, and management of the process state visible to compensation actions.

4. 发明申请

US20050234902A1 Model for business workflow processes 有权
标题翻译：业务流程流程模型
公开(公告)号：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
IPC分类号： G06F7/00 , G06Q10/00
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.
摘要翻译：提供了一种将过程代数减少到促进业务工作流程建模的语言的方法。流程代数减少到业务流程流程的模型。然后将该模型简化为调度编程语言，以允许用户通过在模型的特征与常规建模特征之间进行选择来创建业务流程模型。调度编程语言可以被表示为可转换成以可编程语言编写的调度语言的图形用户界面程序。本发明提供了通过将相互依赖的交易与独立交易分开来明确地表示业务工作流程中的并行性。某些事务的隔离是放松的，使得用户可以定义事务边界，以便在行动级别增加交易的粒度，并在中间步骤提供交易的可见性。

5. 发明申请

US20050182614A1 Systems and methods that facilitate quantum computer simulation 失效
标题翻译：促进量子计算机模拟的系统和方法
公开(公告)号：US20050182614A1
公开(公告)日：2005-08-18
申请号：US10903205
申请日：2004-07-30
申请人： Lucius Meredith
发明人： Lucius Meredith
IPC分类号： G06F9/44 , G06F13/10 , G06F13/12 , G06N99/00 , H01L29/06 , H01L31/0232 , H01L31/0328 , H01L31/0336 , H01L31/072 , H01L31/109
CPC分类号： G06N99/002 , B82Y10/00
摘要： The present invention provides systems and methods that facilitate simulating quantum computing and/or provide a language to program a quantum computer. The systems and methods translate received computer instructions (e.g., quantum computer based instructions) to a process algebra (e.g., rho and pi calculus) representation that can be executed by a classical computer to produce a result indicative of a quantum computer. Such mapping can include transformations between vectors, scalars, dual vector and operators in Hilbert space to processes, named processes (quoted names) and quote maps in rho calculus space. Thus, the systems and methods of the present invention can transform a classical computer into a quantum computer simulator. In addition, this process algebra representation can be executed on a quantum computer; thus, the representation can additionally be utilized as a computer language to program a quantum computer.
摘要翻译：本发明提供了有助于模拟量子计算和/或提供编程量子计算机的语言的系统和方法。系统和方法将接收到的计算机指令（例如，基于量子计算机的指令）转换为可由经典计算机执行以产生指示量子计算机的结果的处理代数（例如，rho和pi演算）表示。这种映射可以包括Hilbert空间中的向量，标量，双向量和运算符之间的变换，进程，命名进程（引用的名称）和rho演算空间中的引用映射。因此，本发明的系统和方法可以将经典计算机转换为量子计算机模拟器。此外，该过程代数表示可以在量子计算机上执行; 因此，该表示可另外用作计算机语言来编程量子计算机。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式