公开(公告)号：US07949787B2

公开(公告)日：2011-05-24

申请号：US10801999

申请日：2004-03-15

申请人： Donald F. Box ,  Christopher G. Kaler ,  David E. Langworthy ,  Steven E. Lucco ,  John Shewchuk ,  Luis Felipe Cabrera ,  Craig A Critchley ,  Geary L. Eppley ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  David Wortendyke ,  Henrik F. Nielsen

发明人： Donald F. Box ,  Christopher G. Kaler ,  David E. Langworthy ,  Steven E. Lucco ,  John Shewchuk ,  Luis Felipe Cabrera ,  Craig A Critchley ,  Geary L. Eppley ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  David Wortendyke ,  Henrik F. Nielsen

IPC分类号： G06F15/16

CPC分类号： G06F9/546 ,  H04L51/066 ,  H04L67/02 ,  H04M1/22

摘要： Systems and methods for open content model Web service messaging in a networked computing environment are described. In one aspect, a transport neutral message is generated that includes message recipient, endpoint addressing information, and one or more reference properties. The reference properties include selectively opaque message context. The transport neutral message is bound to a transport protocol for communication to the message recipient. At least a portion of the selectively opaque message context is not directed to the message recipient.

摘要翻译： 描述了用于开放内容的系统和方法在网络计算环境中的Web服务消息传递。 在一个方面，生成包括消息接收者，端点寻址信息和一个或多个参考属性的传输中性消息。 引用属性包括选择性地不透明的消息上下文。 传输中性消息被绑定到用于与消息接收者通信的传输协议。 选择性地不透明消息上下文的至少一部分不指向消息接收者。

公开(公告)号：US07254579B2

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

申请号：US10801998

申请日：2004-03-15

申请人： Luis Felipe Cabrera ,  Geary L. Eppley ,  Jeffrey C. Schlimmer ,  David Wortendyke ,  Bradford H. Lovering ,  Craig A Critchley

发明人： Luis Felipe Cabrera ,  Geary L. Eppley ,  Jeffrey C. Schlimmer ,  David Wortendyke ,  Bradford H. Lovering ,  Craig A Critchley

IPC分类号： G06F17/30

CPC分类号： H04L67/02

摘要： Systems and methods for using endpoint references in a publish-subscribe system are described. In one aspect, an endpoint reference is created by a component of the pub-sub system. The endpoint reference includes an endpoint address and one or more contexts. Each context is directed to a respective component of the pub-sub system. Each context is transparent to the respective component, and selectively opaque to all other pub-sub system components.

摘要翻译： 描述在发布订阅系统中使用端点引用的系统和方法。 在一个方面，由pub-sub系统的组件创建端点引用。 端点引用包括端点地址和一个或多个上下文。 每个上下文被引导到公共子系统的相应组件。 每个上下文对于相应的组件是透明的，并且对所有其他公共子系统组件选择性地不透明。

公开(公告)号：US08949784B2

公开(公告)日：2015-02-03

申请号：US12244981

申请日：2008-10-03

申请人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

发明人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

IPC分类号： G06F9/44

CPC分类号： G06F8/10 ,  G06F8/31

摘要： An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.

摘要翻译： 提供了一种高效，逻辑和表达型的系统，用于灵活定义声明式编程语言的类型，从而可以生成有效和结构紧凑的数据密集型应用程序。 类型系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 对于类型系统，类型可以表示为其他类型的交集和/或联合。 因此，可以在真实世界数据存储中可以找到的全部数据类型有效地表示类型。

公开(公告)号：US08321833B2

公开(公告)日：2012-11-27

申请号：US12244949

申请日：2008-10-03

申请人： David E. Langworthy ,  Bradford H. Lovering ,  Donald F. Box ,  Giovanni M. Della-Libera ,  Jeffrey S. Pinkston ,  Jeffrey C. Schlimmer ,  John D. Doty ,  John L. Hamby

发明人： David E. Langworthy ,  Bradford H. Lovering ,  Donald F. Box ,  Giovanni M. Della-Libera ,  Jeffrey S. Pinkston ,  Jeffrey C. Schlimmer ,  John D. Doty ,  John L. Hamby

IPC分类号： G06F9/44

CPC分类号： G06F8/51 ,  G06F8/31

摘要： The subject disclosure relates to a syntax for a scripting language that allows data intensive applications to be written in a compact, human friendly, textual format. The scripting language can be a declarative programming language, such as the “D” programming language, which is well suited to the authoring of data intensive programs. A compact query syntax is provided for D that simplifies the expression of complex and data intensive programs. In another non-limiting aspect, conventional operator precedence is modified to accommodate the compact syntax and other unique features of a general purpose declarative programming language.

摘要翻译： 主题公开涉及一种脚本语言的语法，其允许以紧凑，人性化的文本格式写入数据密集型应用。 脚本语言可以是一种声明式编程语言，如D编程语言，非常适合于编写数据密集型程序。 为D提供了紧凑的查询语法，简化了复杂和数据密集型程序的表达。 在另一个非限制性方面，修改常规运算符优先级以适应通用声明式编程语言的紧凑语法和其他独特特征。

公开(公告)号：US20100192129A1

公开(公告)日：2010-07-29

申请号：US12244988

申请日：2008-10-03

申请人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

发明人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

IPC分类号： G06F9/44

CPC分类号： G06F8/437

摘要： An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. Various embodiments verify the validity of subtyping relationships by translating to first-order logic, and invoking a general-purpose theorem prover with the first-order logic as input. In contrast to treating formulas as types, types are translated into formulas of standard first-order logic. Moreover, to represent data structures of the programming language as first-order logic, universal and existential quantifiers of first-order logic, and function symbols in terms, are exploited. Data intensive applications can be generated, verified, and deployed with greater speed and scale.

摘要翻译： 一种高效，逻辑和表达型的系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 各种实施例通过转换为一阶逻辑来验证子类型关系的有效性，并且以一阶逻辑作为输入来调用通用定理证明器。 与将处理公式作为类型相反，类型被转换为标准一阶逻辑的公式。 此外，为了将编程语言的数据结构表示为一阶逻辑，利用一阶逻辑的通用和存在量词，以及术语中的函数符号。 可以以更快的速度和规模生成，验证和部署数据密集型应用程序。

公开(公告)号：US08762942B2

公开(公告)日：2014-06-24

申请号：US12244967

申请日：2008-10-03

申请人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

发明人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

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

CPC分类号： G06F8/437

摘要： An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. A bidirectional type checking algorithm is provided for the type system including synthesis and checking steps to statically verify types of code based on the type system.

摘要翻译： 一种高效，逻辑和表达型的系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 为类型系统提供了双向类型检查算法，包括综合和检查步骤，以静态验证基于类型系统的代码类型。

公开(公告)号：US20100088679A1

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

申请号：US12244967

申请日：2008-10-03

申请人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

发明人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

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

CPC分类号： G06F8/437

摘要： An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. A bidirectional type checking algorithm is provided for the type system including synthesis and checking steps to statically verify types of code based on the type system.

摘要翻译： 一种高效，逻辑和表达型的系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 为类型系统提供了双向类型检查算法，包括综合和检查步骤，以静态验证基于类型系统的代码类型。

公开(公告)号：US08473897B2

公开(公告)日：2013-06-25

申请号：US12244998

申请日：2008-10-03

申请人： Donald F. Box ,  Bradford H. Lovering ,  John D. Doty ,  Jeffrey C. Schlimmer ,  John L. Hamby ,  David E. Langworthy

发明人： Donald F. Box ,  Bradford H. Lovering ,  John D. Doty ,  Jeffrey C. Schlimmer ,  John L. Hamby ,  David E. Langworthy

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

CPC分类号： G06F8/437 ,  G06F8/31 ,  G06F8/42

摘要： A common intermediate representation for a data scripting language is provided for efficient representation and direct specification of programming constructs in memory. The common intermediate representation of data scripts allows data intensive applications to be created and analyzed in a machine accessible format, and the elements of the common intermediate representation can be stored independent of underlying storage specifics. Stored elements of the common intermediate representation of code are thus available for fast loading in memory when desired by other applications and programs by mapping the stored elements to the in memory intermediate representation.

摘要翻译： 提供了一种用于数据脚本语言的常用中间表示形式，用于有效地表示和直接指定存储器中的编程结构。 数据脚本的公共中间表示允许以机器可访问格式创建和分析数据密集型应用程序，并且可以独立于底层存储细节存储公共中间表示的元素。 因此，当通过将存储的元素映射到存储器中间表示中时，通过其它应用和程序的需要，代码的公共中间表示的存储元件可用于在存储器中快速加载。

公开(公告)号：US08413119B2

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

申请号：US12244988

申请日：2008-10-03

申请人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

发明人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

IPC分类号： G06F9/44

CPC分类号： G06F8/437

摘要： An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. Various embodiments verify the validity of subtyping relationships by translating to first-order logic, and invoking a general-purpose theorem prover with the first-order logic as input. In contrast to treating formulas as types, types are translated into formulas of standard first-order logic. Moreover, to represent data structures of the programming language as first-order logic, universal and existential quantifiers of first-order logic, and function symbols in terms, are exploited. Data intensive applications can be generated, verified, and deployed with greater speed and scale.

摘要翻译： 一种高效，逻辑和表达型的系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 各种实施例通过转换为一阶逻辑来验证子类型关系的有效性，并且以一阶逻辑作为输入来调用通用定理证明器。 与将处理公式作为类型相反，类型被转换为标准一阶逻辑的公式。 此外，为了将编程语言的数据结构表示为一阶逻辑，利用一阶逻辑的通用和存在量词，以及术语中的函数符号。 可以以更快的速度和规模生成，验证和部署数据密集型应用程序。

公开(公告)号：US20100088666A1

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

申请号：US12244998

申请日：2008-10-03

申请人： Donald F. Box ,  Bradford H. Lovering ,  John D. Doty ,  Jeffrey C. Schlimmer ,  John L. Hamby ,  David E. Langworthy

发明人： Donald F. Box ,  Bradford H. Lovering ,  John D. Doty ,  Jeffrey C. Schlimmer ,  John L. Hamby ,  David E. Langworthy

IPC分类号： G06F9/44

CPC分类号： G06F8/437 ,  G06F8/31 ,  G06F8/42

摘要： A common intermediate representation for a data scripting language is provided for efficient representation and direct specification of programming constructs in memory. The common intermediate representation of data scripts allows data intensive applications to be created and analyzed in a machine accessible format, and the elements of the common intermediate representation can be stored independent of underlying storage specifics. Stored elements of the common intermediate representation of code are thus available for fast loading in memory when desired by other applications and programs by mapping the stored elements to the in memory intermediate representation.

摘要翻译： 提供了一种用于数据脚本语言的常用中间表示形式，用于有效地表示和直接指定存储器中的编程结构。 数据脚本的公共中间表示允许以机器可访问格式创建和分析数据密集型应用程序，并且可以独立于底层存储细节存储公共中间表示的元素。 因此，当通过将存储的元素映射到存储器中间表示中时，通过其它应用和程序的需要，代码的公共中间表示的存储元件可用于在存储器中快速加载。