利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

27 条记录 (耗时 0.035 秒)

    Integration of runtime environments
    1.
    发明授权
    Integration of runtime environments 有权
    集成运行时环境

    公开(公告)号：US08522260B2

    公开(公告)日：2013-08-27

    申请号：US12211737

    申请日：2008-09-16

    申请人： John David Doty ,  Geoffrey M. Kizer ,  Jeffrey C. Schlimmer

    发明人： John David Doty ,  Geoffrey M. Kizer ,  Jeffrey C. Schlimmer

    IPC分类号： G06F3/00

    CPC分类号： G06F9/4881

    摘要： The integration of two runtimes. The integration may be accomplished via the sharing of all or a portion of the environments of each of the runtimes with each other. For instance, as one runtime executes a particular application, control may be passed at an appropriate point to the second runtime. The second runtime may pass control back to the first runtime at an appropriate time. This passing of control between runtimes may happen perhaps a number of times during the execution of the application. The applications might be expressed entirely declaratively in a manner that integrates both runtimes as the application executes. Thus, the application may take advantage of the strengths of each runtime at the appropriate time.

    摘要翻译： 两个运行时的整合。 可以通过将每个运行时的所有或一部分环境彼此共享来实现集成。 例如，当一个运行时执行特定应用程序时，控制可以在适当的点传递到第二个运行时间。 第二个运行时可以在适当的时间将控制权传回第一个运行时。 运行时间之间的这种控制可能在执行应用程序期间可能会发生多次。 应用程序可能会以应用程序执行时集成运行时的方式完全声明性地表达。 因此，应用程序可以在适当的时间利用每个运行时的优点。

    INTEGRATION OF RUNTIME ENVIRONMENTS
    2.
    发明申请
    INTEGRATION OF RUNTIME ENVIRONMENTS 有权
    运行环境的整合

    公开(公告)号：US20100070983A1

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

    申请号：US12211737

    申请日：2008-09-16

    申请人： JOHN DAVID DOTY ,  Geoffrey M. Kizer ,  Jeffrey C. Schlimmer

    发明人： JOHN DAVID DOTY ,  Geoffrey M. Kizer ,  Jeffrey C. Schlimmer

    IPC分类号： G06F13/00

    CPC分类号： G06F9/4881

    摘要： The integration of two runtimes. The integration may be accomplished via the sharing of all or a portion of the environments of each of the runtimes with each other. For instance, as one runtime executes a particular application, control may be passed at an appropriate point to the second runtime. The second runtime may pass control back to the first runtime at an appropriate time. This passing of control between runtimes may happen perhaps a number of times during the execution of the application. The applications might be expressed entirely declaratively in a manner that integrates both runtimes as the application executes. Thus, the application may take advantage of the strengths of each runtime at the appropriate time.

    摘要翻译： 两个运行时的整合。 可以通过将每个运行时的所有或一部分环境彼此共享来实现集成。 例如，当一个运行时执行特定应用程序时，控制可以在适当的点传递到第二个运行时间。 第二个运行时可以在适当的时间将控制权传回第一个运行时。 运行时间之间的这种控制可能在执行应用程序期间可能会发生多次。 应用程序可能会以应用程序执行时集成运行时的方式完全声明性地表达。 因此，应用程序可以在适当的时间利用每个运行时的优点。

    Continuation-based runtime callback invocation
    3.
    发明授权
    Continuation-based runtime callback invocation 有权
    基于连续的运行时回调调用

    公开(公告)号：US08276165B2

    公开(公告)日：2012-09-25

    申请号：US12129594

    申请日：2008-05-29

    申请人： Donald F. Box ,  Geoffrey M. Kizer ,  Kenneth David Wolf ,  Jeffrey C. Schlimmer ,  Edmund Samuel Victor Pinto

    发明人： Donald F. Box ,  Geoffrey M. Kizer ,  Kenneth David Wolf ,  Jeffrey C. Schlimmer ,  Edmund Samuel Victor Pinto

    IPC分类号： G06F9/44 ,  G06Q10/00

    CPC分类号： G06F9/542

    摘要： Activity callbacks in a continuation-based runtime. At framework-definition time, a framework activity is authored. The framework activity may have an environmental logic portion the processes input or output parameters whose values will be supplied to and/or received from an activity callback. The framework activity also includes a callback invocation portion that, during execution time, will actually provide parameter value(s) to and/or receive parameter value(s) from the activity callback. The framework activity serves as a framework that operates with any activity callback that has one or more characteristics. Such activity callbacks may not even be defined at framework-definition time. Instead, the framework activity may be used multiple times in the same applications, or in different applications to thereby provide core framework functionality, while allowing application developers to plug in activity callbacks that meet the custom needs of the application.

    摘要翻译： 基于连续运行时的活动回调。 在框架定义的时候，编写框架活动。 框架活动可以具有环境逻辑部分，其值将被提供给活动回调和/或从活动回调中接收的过程输入或输出参数。 框架活动还包括回调调用部分，其在执行时间期间实际上将向活动回调提供参数值和/或接收参数值。 框架活动可用作具有一个或多个特征的任何活动回调的框架。 这样的活动回调在框架定义时间可能不会被定义。 相反，框架活动可以在相同的应用程序或不同应用程序中多次使用，从而提供核心框架功能，同时允许应用程序开发人员插入满足应用程序自定义需求的活动回调。

    Continuation-Based Runtime Callback Invocation
    5.
    发明申请
    Continuation-Based Runtime Callback Invocation 有权
    基于连续的运行时回调调用

    公开(公告)号：US20090300648A1

    公开(公告)日：2009-12-03

    申请号：US12129594

    申请日：2008-05-29

    申请人： Donald F. Box ,  Geoffrey M. Kizer ,  Kenneth David Wolf ,  Jeffrey C. Schlimmer ,  Edmund Samuel Victor Pinto

    发明人： Donald F. Box ,  Geoffrey M. Kizer ,  Kenneth David Wolf ,  Jeffrey C. Schlimmer ,  Edmund Samuel Victor Pinto

    IPC分类号： G06F9/44

    CPC分类号： G06F9/542

    摘要： Activity callbacks in a continuation-based runtime. At framework-definition time, a framework activity is authored. The framework activity may have an environmental logic portion the processes input or output parameters whose values will be supplied to and/or received from an activity callback. The framework activity also includes a callback invocation portion that, during execution time, will actually provide parameter value(s) to and/or receive parameter value(s) from the activity callback. The framework activity serves as a framework that operates with any activity callback that has one or more characteristics. Such activity callbacks may not even be defined at framework-definition time. Instead, the framework activity may be used multiple times in the same applications, or in different applications to thereby provide core framework functionality, while allowing application developers to plug in activity callbacks that meet the custom needs of the application.

    摘要翻译： 基于连续运行时的活动回调。 在框架定义的时候，编写框架活动。 框架活动可以具有环境逻辑部分，其值将被提供给活动回调和/或从活动回调中接收的过程输入或输出参数。 框架活动还包括回调调用部分，其在执行时间期间将实际地向活动回调提供参数值和/或从活动回调中接收参数值。 框架活动可用作具有一个或多个特征的任何活动回调的框架。 这样的活动回调在框架定义时间可能不会被定义。 相反，框架活动可以在相同的应用程序或不同应用程序中多次使用，从而提供核心框架功能，同时允许应用程序开发人员插入满足应用程序自定义需求的活动回调。

    Streaming object instantiation using bookmarks
    7.
    发明授权
    Streaming object instantiation using bookmarks 有权
    使用书签流对象实例化

    公开(公告)号：US07979566B2

    公开(公告)日：2011-07-12

    申请号：US12020427

    申请日：2008-01-25

    申请人： John David Doty ,  Jeffrey C. Schlimmer ,  Christopher Lee Anderson ,  Martin James Gudgin

    发明人： John David Doty ,  Jeffrey C. Schlimmer ,  Christopher Lee Anderson ,  Martin James Gudgin

    IPC分类号： G06F15/16

    CPC分类号： G06F9/544 ,  G06F9/4493

    摘要： Bookmarking of tokens in a set of streaming tokens, each representing an instantiation instruction or instantiation context. A navigator receives a set of streaming tokens, and provides the tokens to the instantiation manager. However, if the navigator receives an instruction to bookmark a particular token, the navigator buffers the set of streaming instructions at least beginning at the bookmarked token (and possible even earlier if there were prior bookmarks). The navigator replays the set of streaming tokens beginning at a bookmark in response to an instruction from an instantiation manager. The instantiation manager receives the set of streaming tokens. If the instantiation manager is not presently capable of handling the instruction of a particular token, the instantiation manager instructs the navigator to bookmark the particular token. When the instantiation manager later receives a token that permits the instantiation manager to return to the bookmark, the instantiation manager returns to the bookmark to replay the instantiation instructions beginning at the bookmark.

    摘要翻译： 在一组流令牌中标记令牌，每个表示一个实例化指令或实例化上下文。 导航器接收一组流令牌，并向代理管理器提供令牌。 然而，如果导航器接收到用于对特定令牌进行书签的指令，导航器至少从加书签的令牌开始缓冲流传输指令集（并且如果存在先前的书签，则可能甚至更早）。 导航器响应于来自实例化管理器的指令，重放从书签开始的一组流令牌。 实例化管理器接收一组流令牌。 如果实例化管理器当前不能处理特定令牌的指令，则实例化管理器指示导航器将特定令牌加入书签。 当实例化管理器稍后接收到允许实例化管理器返回书签的令牌时，实例管理器返回到书签以从书签开始重放实例化指令。

    STREAMING OBJECT INSTANTIATION USING BOOKMARKS
    8.
    发明申请
    STREAMING OBJECT INSTANTIATION USING BOOKMARKS 有权
    使用书签流行对象实现

    公开(公告)号：US20090193136A1

    公开(公告)日：2009-07-30

    申请号：US12020427

    申请日：2008-01-25

    申请人： John David Doty ,  Jeffrey C. Schlimmer ,  Christopher Lee Anderson ,  Martin James Gudgin

    发明人： John David Doty ,  Jeffrey C. Schlimmer ,  Christopher Lee Anderson ,  Martin James Gudgin

    IPC分类号： G06F15/16

    CPC分类号： G06F9/544 ,  G06F9/4493

    摘要： Bookmarking of tokens in a set of streaming tokens, each representing an instantiation instruction or instantiation context. A navigator receives a set of streaming tokens, and provides the tokens to the instantiation manager. However, if the navigator receives an instruction to bookmark a particular token, the navigator buffers the set of streaming instructions at least beginning at the bookmarked token (and possible even earlier if there were prior bookmarks). The navigator replays the set of streaming tokens beginning at a bookmark in response to an instruction from an instantiation manager. The instantiation manager receives the set of streaming tokens. If the instantiation manager is not presently capable of handling the instruction of a particular token, the instantiation manager instructs the navigator to bookmark the particular token. When the instantiation manager later receives a token that permits the instantiation manager to return to the bookmark, the instantiation manager returns to the bookmark to replay the instantiation instructions beginning at the bookmark.

    摘要翻译： 在一组流令牌中标记令牌，每个表示一个实例化指令或实例化上下文。 导航器接收一组流令牌，并向代理管理器提供令牌。 然而，如果导航器接收到用于对特定令牌进行书签的指令，导航器至少从加书签的令牌开始缓冲流传输指令集（并且如果存在先前的书签，则可能甚至更早）。 导航器响应于来自实例化管理器的指令，重放从书签开始的一组流令牌。 实例化管理器接收一组流令牌。 如果实例化管理器当前不能处理特定令牌的指令，则实例化管理器指示导航器将特定令牌加入书签。 当实例化管理器稍后接收到允许实例化管理器返回书签的令牌时，实例管理器返回到书签以从书签开始重放实例化指令。

    Type system for declarative data scripting language
    9.
    发明授权
    Type system for declarative data scripting language 有权
    键入用于声明性数据脚本语言的系统

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

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