公开(公告)号：US06907395B1

公开(公告)日：2005-06-14

申请号：US09696707

申请日：2000-10-24

申请人： Galen C. Hunt ,  Aamer Hydrie ,  Robert V. Welland ,  Bassam Tabbara ,  Steven P. Levi ,  Jakob Rehof

发明人： Galen C. Hunt ,  Aamer Hydrie ,  Robert V. Welland ,  Bassam Tabbara ,  Steven P. Levi ,  Jakob Rehof

IPC分类号： G06F9/44 ,  H04L9/00 ,  H04L12/24 ,  H04L29/08

CPC分类号： H04L41/069 ,  H04L41/0893 ,  H04L67/1002 ,  H04L67/1029 ,  H04L67/1031

摘要： A system facilitates the design and implementation of large-scale applications, such as Internet Services and Websites, for distributed computer systems, such as server data centers, Internet data centers (IDCs), Web farms, and the like. The system has a modeling system and a deployment system. The modeling system permits developers to architect the hardware and software used to implement the applications in an abstract manner. The modeling system defines a set of components used to describe the functionality of an application. The model components are arranged and interconnected to form a scale-independent logical model of the application. Once a logical model is created, the deployment system uses the logical model to automatically deploy various computer/software resources to implement the application. The deployment system converts each of the model components into one or more instances that correspond to physical resources.

公开(公告)号：US07113900B1

公开(公告)日：2006-09-26

申请号：US09695813

申请日：2000-10-24

申请人： Galen C. Hunt ,  Aamer Hydrie ,  Robert V. Welland ,  Bassam Tabbara ,  Steven P. Levi ,  Jakob Rehof

发明人： Galen C. Hunt ,  Aamer Hydrie ,  Robert V. Welland ,  Bassam Tabbara ,  Steven P. Levi ,  Jakob Rehof

IPC分类号： G06F17/50 ,  G06F7/62

CPC分类号： H04L41/12 ,  H04L41/024

摘要： A modeling system permits developers of applications for distributed computer system, such as those used in server data centers or Internet data centers (IDCs), to architect their hardware and software in an abstract manner. The modeling system defines a set of components that represent abstract functional operations of the application that will eventually be physically implemented by one or more computers and one or more software programs executing on the computers. Associated with the model components is a schema that dictates how the functional operations are to be specified. From the model components, the developers can create logical, scale-independent models of the applications that may be implemented by the distributed computer system. The application is scale-independent in that the application is invariant in respect to the number of computers and software programs that my eventually be used to implement it. The application may subsequently be converted to a physical blueprint that specifies the number and type of hardware/software resources and the physical layout of the distributed computer system.

公开(公告)号：US07155380B2

公开(公告)日：2006-12-26

申请号：US11008685

申请日：2004-12-09

申请人： Galen C. Hunt ,  Aamer Hydrie ,  Robert V. Welland ,  Bassam Tabbara ,  Steven P. Levi ,  Jakob Rehof

发明人： Galen C. Hunt ,  Aamer Hydrie ,  Robert V. Welland ,  Bassam Tabbara ,  Steven P. Levi ,  Jakob Rehof

IPC分类号： G06F9/44

CPC分类号： H04L41/069 ,  H04L41/0893 ,  H04L67/1002 ,  H04L67/1029 ,  H04L67/1031

摘要： A system facilitates the design and implementation of large-scale applications, such as Internet Services and Websites, for distributed computer systems, such as server data centers, Internet data centers (IDCs), Web farms, and the like. The system has a modeling system and a deployment system. The modeling system permits developers to architect the hardware and software used to implement the applications in an abstract manner. The modeling system defines a set of components used to describe the functionality of an application. The model components are arranged and interconnected to form a scale-independent logical model of the application. Once a logical model is created, the deployment system uses the logical model to automatically deploy various computer/software resources to implement the application. The deployment system converts each of the model components into one or more instances that correspond to physical resources.

摘要翻译： 系统有助于诸如服务器数据中心，互联网数据中心（IDC），网络场等的分布式计算机系统的大规模应用（例如因特网服务和网站）的设计和实现。 该系统具有建模系统和部署系统。 建模系统允许开发人员以抽象的方式构建用于实现应用程序的硬件和软件。 建模系统定义了一组用于描述应用程序功能的组件。 模型组件被布置和互连以形成与应用程序无关的逻辑模型。 一旦创建了逻辑模型，部署系统使用逻辑模型来自动部署各种计算机/软件资源来实现应用程序。 部署系统将每个模型组件转换为与物理资源相对应的一个或多个实例。

公开(公告)号：US20060149838A1

公开(公告)日：2006-07-06

申请号：US11276608

申请日：2006-03-07

申请人： Galen Hunt ,  Aamer Hydrie ,  Robert Welland ,  Bassam Tabbara ,  Steven Levi ,  Jakob Rehof

发明人： Galen Hunt ,  Aamer Hydrie ,  Robert Welland ,  Bassam Tabbara ,  Steven Levi ,  Jakob Rehof

IPC分类号： G06F15/173

CPC分类号： H04L41/12 ,  H04L41/024

摘要： A modeling system permits developers of applications for distributed computer system, such as those used in server data centers or Internet data centers (IDCs), to architect their hardware and software in an abstract manner. The modeling system defines a set of components that represent abstract functional operations of the application that will eventually be physically implemented by one or more computers and one or more software programs executing on the computers. Associated with the model components is a schema that dictates how the functional operations are to be specified. From the model components, the developers can create logical, scale-independent models of the applications that may be implemented by the distributed computer system. The application is scale-independent in that the application is invariant in respect to the number of computers and software programs that my eventually be used to implement it. The application may subsequently be converted to a physical blueprint that specifies the number and type of hardware/software resources and the physical layout of the distributed computer system.

摘要翻译： 建模系统允许分布式计算机系统（如服务器数据中心或Internet数据中心（IDC）中使用的应用程序）的开发人员以抽象的方式构建其硬件和软件。 建模系统定义了一组代表应用程序的抽象功能操作的组件，最终将由一台或多台计算机物理实现并在计算机上执行一个或多个软件程序。 与模型组件相关联的是指定如何指定功能操作的模式。 从模型组件，开发人员可以创建可由分布式计算机系统实现的应用程序的逻辑，与规模无关的模型。 该应用程序是与规模无关的，因为应用程序对于我最终用于实现的计算机和软件程序的数量是不变的。 随后应用程序可以转换为指定硬件/软件资源的数量和类型以及分布式计算机系统的物理布局的物理蓝图。

公开(公告)号：US20050102538A1

公开(公告)日：2005-05-12

申请号：US11008685

申请日：2004-12-09

申请人： Galen Hunt ,  Aamer Hydrie ,  Robert Welland ,  Bassam Tabbara ,  Steven Levi ,  Jakob Rehof

发明人： Galen Hunt ,  Aamer Hydrie ,  Robert Welland ,  Bassam Tabbara ,  Steven Levi ,  Jakob Rehof

IPC分类号： G06F9/44 ,  H04L9/00 ,  H04L12/24 ,  H04L29/08

CPC分类号： H04L41/069 ,  H04L41/0893 ,  H04L67/1002 ,  H04L67/1029 ,  H04L67/1031

摘要： A system facilitates the design and implementation of large-scale applications, such as Internet Services and Websites, for distributed computer systems, such as server data centers, Internet data centers (IDCs), Web farms, and the like. The system has a modeling system and a deployment system. The modeling system permits developers to architect the hardware and software used to implement the applications in an abstract manner. The modeling system defines a set of components used to describe the functionality of an application. The model components are arranged and interconnected to form a scale-independent logical model of the application. Once a logical model is created, the deployment system uses the logical model to automatically deploy various computer/software resources to implement the application. The deployment system converts each of the model components into one or more instances that correspond to physical resources.

公开(公告)号：US07574343B2

公开(公告)日：2009-08-11

申请号：US11276608

申请日：2006-03-07

申请人： Steven Levi ,  Galen Hunt ,  Aamer Hydrie ,  Jakob Rehof ,  Bassam Tabbara ,  Robert Welland

发明人： Steven Levi ,  Galen Hunt ,  Aamer Hydrie ,  Jakob Rehof ,  Bassam Tabbara ,  Robert Welland

IPC分类号： G06F17/50 ,  G06F7/62

CPC分类号： H04L41/12 ,  H04L41/024

摘要： A modeling system permits developers of applications for distributed computer system, such as those used in server data centers or Internet data centers (IDCs), to architect their hardware and software in an abstract manner. The modeling system defines a set of components that represent abstract functional operations of the application that will eventually be physically implemented by one or more computers and one or more software programs executing on the computers. Associated with the model components is a schema that dictates how the functional operations are to be specified. From the model components, the developers can create logical, scale-independent models of the applications that may be implemented by the distributed computer system. The application is scale-independent in that the application is invariant in respect to the number of computers and software programs that my eventually be used to implement it. The application may subsequently be converted to a physical blueprint that specifies the number and type of hardware/software resources and the physical layout of the distributed computer system.

摘要翻译： 建模系统允许分布式计算机系统（如服务器数据中心或Internet数据中心（IDC）中使用的应用程序）的开发人员以抽象的方式构建其硬件和软件。 建模系统定义了一组代表应用程序的抽象功能操作的组件，最终将由一台或多台计算机物理实现并在计算机上执行一个或多个软件程序。 与模型组件相关联的是指定如何指定功能操作的模式。 从模型组件，开发人员可以创建可由分布式计算机系统实现的应用程序的逻辑，与规模无关的模型。 该应用程序是与规模无关的，因为应用程序对于我最终用于实现的计算机和软件程序的数量是不变的。 随后应用程序可以转换为指定硬件/软件资源的数量和类型以及分布式计算机系统的物理布局的物理蓝图。

公开(公告)号：US20050125212A1

公开(公告)日：2005-06-09

申请号：US11008730

申请日：2004-12-09

申请人： Galen Hunt ,  Aamer Hydrie ,  Robert Welland ,  Bassam Tabbara ,  Steven Levi ,  Jakob Rehof

发明人： Galen Hunt ,  Aamer Hydrie ,  Robert Welland ,  Bassam Tabbara ,  Steven Levi ,  Jakob Rehof

IPC分类号： G06F9/44 ,  H04L9/00 ,  H04L12/24 ,  H04L29/08

CPC分类号： H04L41/069 ,  H04L41/0893 ,  H04L67/1002 ,  H04L67/1029 ,  H04L67/1031

摘要： A system facilitates the design and implementation of large-scale applications, such as Internet Services and Websites, for distributed computer systems, such as server data centers, Internet data centers (IDCs), Web farms, and the like. The system has a modeling system and a deployment system. The modeling system permits developers to architect the hardware and software used to implement the applications in an abstract manner. The modeling system defines a set of components used to describe the functionality of an application. The model components are arranged and interconnected to form a scale-independent logical model of the application. Once a logical model is created, the deployment system uses the logical model to automatically deploy various computer/software resources to implement the application. The deployment system converts each of the model components into one or more instances that correspond to physical resources.

摘要翻译： 系统有助于诸如服务器数据中心，互联网数据中心（IDC），网络场等的分布式计算机系统的大规模应用（例如因特网服务和网站）的设计和实现。 该系统具有建模系统和部署系统。 建模系统允许开发人员以抽象的方式构建用于实现应用程序的硬件和软件。 建模系统定义了一组用于描述应用程序功能的组件。 模型组件被布置和互连以形成与应用程序无关的逻辑模型。 一旦创建了逻辑模型，部署系统使用逻辑模型来自动部署各种计算机/软件资源来实现应用程序。 部署系统将每个模型组件转换为与物理资源相对应的一个或多个实例。

公开(公告)号：US07647587B2

公开(公告)日：2010-01-12

申请号：US10996730

申请日：2004-11-24

申请人： Todd B. Knoblock ,  Jakob Rehof

发明人： Todd B. Knoblock ,  Jakob Rehof

IPC分类号： G06F9/45

CPC分类号： G06F8/73

摘要： Systems, methods, and structures are discussed that enhance type reconstruction for programs. Whereas previous methods insufficiently provide the set of types necessary for program analysis, the embodiments of the present invention can accept any verifiable bytecode programs and produce a set of types needed for program analysis. The embodiments of the present invention provide a technique called subtype completion that transforms a subtyping system by extending its type hierarchy to a lattice. However, such transformation inserts only a minimal amount of elements so as to enhance the computation of reconstructed types.

摘要翻译： 讨论了增强程序类型重建的系统，方法和结构。 尽管以前的方法不足以提供程序分析所需的一组类型，但是本发明的实施例可以接受任何可验证的字节码程序并且产生用于程序分析所需的一组类型。 本发明的实施例提供了称为子类型完成的技术，其通过将子类型层级扩展到格子来转换子类型化系统。 然而，这种转换仅插入最少量的元素，以便增强重构类型的计算。

公开(公告)号：US07203924B2

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

申请号：US10136680

申请日：2002-04-30

申请人： Jakob Rehof ,  Sriram K. Rajamani

发明人： Jakob Rehof ,  Sriram K. Rajamani

IPC分类号： G06F9/44

CPC分类号： G06F11/3608 ,  G06F9/546 ,  H04L29/06 ,  H04L67/10 ,  H04L67/40 ,  H04L69/329

摘要： A system and method for modeling a message-passing program module using type annotations is disclosed. The message-passing program module is constructed with operations that communicate with operations of other message-passing program modules in an asynchronous computing environment. Type annotations are communication protocols that represent processes of input and/or output actions that the program module developer expects each operation to perform or take on a selected set of communication channels. During development of the program module, the type annotations are declared at each operation of the program module. Soundness of the type annotations and whether implementation of the program module conforms to the type annotations is checked using a type system. If the program module is well-typed and well-implemented, the type system abstracts a behavioral module of the message-passing program module that reflects the relevant processes expressed by the type annotations. A model checker determines whether the behavioral module is in fact a valid abstraction of the implementation, and if so, evaluates one or more properties of the behavioral module to render a conclusion about these properties for the program module.

摘要翻译： 公开了一种使用类型注释建模消息传递程序模块的系统和方法。 消息传递程序模块由在异步计算环境中与其他消息传递程序模块的操作进行通信的操作构成。 类型注释是表示程序模块开发者期望每个操作执行或占据所选择的一组通信信道的输入和/或输出动作的进程的通信协议。 在开发程序模块期间，在程序模块的每个操作中声明类型注释。 使用类型系统检查类型注释的声音以及程序模块的实现是否符合类型注释。 如果程序模块是良好的类型和良好的实现，类型系统抽象反映由类型注释表示的相关进程的消息传递程序模块的行为模块。 模型检查器确定行为模块是否实际上是实现的有效抽象，如果是，则评估行为模块的一个或多个属性以呈现关于程序模块的这些属性的结论。

公开(公告)号：US07694276B2

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

申请号：US10659221

申请日：2003-09-10

申请人： James R. Larus ,  Sriram K. Rajamani ,  Jakob Rehof

发明人： James R. Larus ,  Sriram K. Rajamani ,  Jakob Rehof

IPC分类号： G06F9/44

CPC分类号： G06F9/54 ,  G06F8/31

摘要： An asynchronous programming language that facilitates concurrent programming by utilizing futures, asynchronous calls, and joins on futures. For each of a client interface and a service interface of an asynchronous interface, respective models are automatically extracted. A behavioral contract is defined on the asynchronous interface. The client and service models are then passed to modular checking algorithm that checks to ensure that both the client and the service conform to the behavioral contract. The checking algorithm combines region-based type systems with model checking techniques to handle pointer aliasing in a sound manner.

摘要翻译： 一种异步编程语言，通过利用期货，异步调用和期货合并来促进并发编程。 对于异步接口的客户端接口和服务接口，自动提取各自的模型。 在异步接口上定义了行为契约。 然后将客户端和服务模型传递给模块化检查算法，以检查客户端和服务是否符合行为合同。 检查算法将基于区域的类型系统与模型检查技术相结合，以良好的方式处理指针别名。