公开(公告)号：US08156472B2

公开(公告)日：2012-04-10

申请号：US10816558

申请日：2004-03-30

申请人： L. Gregory Meredith ,  Allen L. Brown, Jr. ,  David Richter ,  George Moore

发明人： L. Gregory Meredith ,  Allen L. Brown, Jr. ,  David Richter ,  George Moore

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

CPC分类号： G06F9/46 ,  G06F8/314

摘要： A reflective process algebra called the ρ-calculus facilitates the serialization of processes at the level of the reflective process algebra. The reflective process algebra because of its reflective properties, can be used on computing systems with finite resources. The reflective process calculus can be made to be sensitive to resources, such as memory and bandwidth, hence facilitating its use as a programming language at the machine level. The reflective process calculus causes the dual nature of a computation entity to be exposed. A name can be caused to become a process and a process can be caused to become a name.

摘要翻译： 称为“积分”的反射过程代数有助于反射过程代数级别的过程的序列化。 反射过程代数由于其反射特性，可用于具有有限资源的计算系统。 可以使反射过程微积分对诸如存储器和带宽的资源敏感，因此有助于其在机器级上用作编程语言。 反射过程演算导致计算实体的双重性质暴露出来。 一个名字可能会成为一个过程，一个过程可能会成为一个名字。

公开(公告)号：US07216335B2

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

申请号：US10303343

申请日：2002-11-22

申请人： L. Gregory Meredith ,  Steve Bjorg ,  David Richter

发明人： L. Gregory Meredith ,  Steve Bjorg ,  David Richter

IPC分类号： G06F9/44

CPC分类号： G06F9/544 ,  G06F8/314 ,  G06F9/4843

摘要： A program includes expressions written in a process-based language. A process kernel executes sets of operational semantics rules governing the meanings of the expressions in the program. A first expression is parsed. The first expression describes that a process is a choice of two processes. The first process of the two processes expresses that a first query is submitted to a queue, after which the first process continues with a first set of actions. The second process of the two processes expresses that a second query is submitted to the queue, after which the second process continues with a second set of actions. The first expression reduces to a second expression. The second expression describes that a third query is submitted to the queue after which the first process runs in parallel with the second process if the third query is in canonical form.

摘要翻译： 程序包括用基于过程的语言编写的表达式。 进程内核执行程序中表达式含义的操作语义规则集。 第一个表达式被解析。 第一个表达式描述了一个进程是两个进程的选择。 两个进程的第一个进程表示第一个查询被提交到队列，之后第一个进程继续执行第一组动作。 两个进程的第二个进程表示将第二个查询提交到队列，之后第二个进程继续执行第二组动作。 第一个表达式减少到第二个表达式。 第二个表达式描述了第三个查询被提交到队列，之后第一个进程与第二个进程并行运行，如果第三个查询是规范的形式。

公开(公告)号：US07117487B2

公开(公告)日：2006-10-03

申请号：US10303379

申请日：2002-11-22

申请人： L. Gregory Meredith ,  Steve Bjorg ,  David Richter

发明人： L. Gregory Meredith ,  Steve Bjorg ,  David Richter

IPC分类号： G06F9/45 ,  G06F17/28

CPC分类号： G06F8/31 ,  Y10S707/99933

摘要： A program that includes expressions written in a process-based language for representing protocol-based applications as processes is disclosed. The process kernel executes a set of equational laws governing structural equivalence of expressions written in the process-based language. A first expression is parsed. The first expression describes that a query is being executed in parallel with a process. The query has a head, which is empty, and a body, which contains a first name being bound to a second name. The first expression is translated as structurally equivalent to a second expression. The second expression describes that the query is executed in parallel with the process if the query is in canonical form. Each occurrence of the first name in the process is replaceable with the second name.

摘要翻译： 一种程序，其包括用基于过程的语言编写的表达式，用于表示基于协议的应用程序作为过程。 进程内核执行一组管理以基于流程的语言编写的表达式的结构等价的等式法则。 第一个表达式被解析。 第一个表达式描述了正在与进程并行执行查询。 该查询的头部是空的，并且包含一个名字被绑定到第二个名称的正文。 第一个表达式被翻译成结构上等同于第二个表达式。 第二个表达式描述如果查询是规范的形式，查询将与进程并行执行。 过程中每个出现的名字都可以用第二个名称替换。

公开(公告)号：US07702749B2

公开(公告)日：2010-04-20

申请号：US10338165

申请日：2003-01-07

申请人： L. Gregory Meredith ,  Steve Bjorg ,  David Richter

发明人： L. Gregory Meredith ,  Steve Bjorg ,  David Richter

IPC分类号： G06F15/16 ,  G06F3/00

CPC分类号： H04L67/16 ,  H04L29/12018 ,  H04L61/10 ,  H04L67/02 ,  H04L67/06 ,  H04L67/10 ,  H04L67/14 ,  H04L69/12 ,  H04L69/329

摘要： The joining of Web services is accomplished via a virtual contract through the use of safeties. The joining of Web services heightens the safe interoperability of Web services to create greater functionality than each Web service alone can provide. Web services are joined for interoperability when the type of a port of one Web service is compatible with the type of another port of another Web service.

摘要翻译： 通过使用安全性的虚拟合同来完成Web服务的加入。 Web服务的加入提高了Web服务的安全互操作性，以创建比单独提供的每个Web服务更大的功能。 当一个Web服务的端口的类型与另一个Web服务的另一个端口的类型兼容时，Web服务被加入以实现互操作。

公开(公告)号：US07055142B2

公开(公告)日：2006-05-30

申请号：US10303445

申请日：2002-11-22

申请人： L. Gregory Meredith ,  Steve Bjorg ,  David Richter

发明人： L. Gregory Meredith ,  Steve Bjorg ,  David Richter

IPC分类号： G06F9/45

CPC分类号： G06F9/546 ,  Y10S707/99933 ,  Y10S707/99934

摘要： A program that includes expressions written in a process-based language for representing protocol-based applications as processes is disclosed. A process kernel executes the expressions in the program. The process kernel parses an expression to obtain syntactical elements that represent a queue, a set of queue delimiters, a query, a sequence delimiter, and other actions. The process kernel further translates the expression as a process whose first action is submitting the query as another process to the queue and after which the process continues with other actions. The query includes an organization scheme formed from a customizable, tag-based language that contains data and describes data.