公开(公告)号：CN1570860B

公开(公告)日：2012-03-21

申请号：CN200410032700.5

申请日：2004-03-05

Applicant: 微软公司

Inventor： G·奥斯莱德 ,  K·格里利希 ,  R·门辛 ,  B·塔巴拉 ,  R·V·维兰德

IPC: G06F9/44

CPC classification number: G06F8/10

Abstract: 提供了由处理器执行以便在设计系统时相对于环境来验证系统的方法，包括：在由处理器上运行的程序进行设计的过程中，访问描述系统的系统描述；利用系统描述，相对于模拟的环境验证系统，其中相对于模拟的环境验证系统还包括：从系统描述中选择最高级定义；为实例空间，产生由最高级定义所描述的适当的实例；选择嵌套在最高级定义中的附加定义；根据选择的定义是限定了对象还是关系，为实例空间，产生由附加定义所描述的适当实例；以及继续进行附加定义的选择以及如附加定义所描述的适当实例产生，直到为实例空间产生了嵌套在最高级定义中的所有定义的实例为止。

公开(公告)号：CN100559366C

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

申请号：CN200410033027.7

申请日：2004-03-05

Applicant: 微软公司

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

IPC: G06F15/16

CPC classification number: G06F9/465 ,  G06F9/4492

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

公开(公告)号：CN1570860A

公开(公告)日：2005-01-26

申请号：CN200410032700.5

申请日：2004-03-05

Applicant: 微软公司

Inventor： G·奥斯莱德 ,  K·格里利希 ,  R·门辛 ,  B·塔巴拉 ,  R·V·维兰德

IPC: G06F9/44

CPC classification number: G06F8/10

Abstract: 根据系统设计期间的验证的一个某些的方面，要接收将被设计的系统的描述和环境的描述。这些描述都用于在设计系统时以及在配置系统之前对照环境来验证系统。

公开(公告)号：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: 描述了一种在分布式计算系统上设计、部署和管理分布式应用程序的体系结构和方法。