公开(公告)号：CN1551006A

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

申请号：CN200410033027.7

申请日：2004-03-05

Applicant: 微软公司

Inventor： G·C·亨特 ,  G·奥斯莱德 ,  B·塔巴拉 ,  K·格里利希 ,  R·蒙辛

IPC: G06F15/16

CPC classification number: G06F9/465 ,  G06F9/4492

Abstract: 描述了一种在分布式计算系统上设计、部署和管理分布式应用程序的体系结构和方法。

公开(公告)号：CN101297277B

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

申请号：CN200680040117.6

申请日：2006-10-16

Applicant: 微软公司

Inventor： G·C·亨特 ,  J·R·劳瑞斯 ,  M·阿巴迪 ,  M·埃肯 ,  P·巴罕姆 ,  M·A·范德瑞 ,  C·霍伯利特泽 ,  O·霍德森 ,  S·列维 ,  N·墨菲 ,  B·斯汀斯嘉德 ,  D·泰迪蒂 ,  T·沃伯 ,  B·齐尔

IPC: G06F12/00 ,  G06F13/00

Abstract: 此处描述了允许隔离进程(230、240和250)之间的静态可验证进程间通信的操作系统的一个或多个实现。而且，此处描述了促进具有进程间通信的静态可验证隔离进程的开发的编程工具的一个或多个实现。

公开(公告)号：CN101297280A

公开(公告)日：2008-10-29

申请号：CN200680040116.1

申请日：2006-10-16

Applicant: 微软公司

Inventor： G·C·亨特 ,  J·R·劳瑞斯 ,  M·A·范德瑞 ,  O·霍德森 ,  S·P·莱维 ,  B·斯汀斯嘉德 ,  D·R·泰迪蒂 ,  M·斯帕尔斯 ,  M·卡宾 ,  M·阿巴迪 ,  M·埃肯 ,  P·巴罕姆 ,  T·沃伯 ,  B·齐尔 ,  C·霍伯利特泽 ,  N·墨菲

IPC: G06F15/00 ,  G06F15/16 ,  G06F13/10

Abstract: 本文中描述的是用于描述和/或解决软件系统的应用程序、扩展、设备驱动程序(300)和其它组件的配置要求的一个或多个实现。

公开(公告)号：CN1619490A

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

申请号：CN200410088250.1

申请日：2004-03-05

Applicant: 微软公司

Inventor： G·C·亨特 ,  G·乌斯瑞德 ,  B·塔巴拉 ,  K·格里利斯 ,  R·门申

IPC: G06F9/44

CPC classification number: H04L41/145 ,  G06F8/65 ,  H04L41/12 ,  H04L67/1002

Abstract: 根据某一方面，一个系统的集成设计，部署和管理阶段，包括使用一个系统定义模块来设计一个系统。接着，在一个或多个计算装置上，使用该系统定义模块部署该系统，并且，在系统部署之后，使用该系统定义模块管理在一个或多个计算装置上所部署的系统。