系统设计期间的验证技术方案

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

【技术实现步骤摘要】

本专利技术涉及系统的设计，更特别地涉及系统设计期间的验证。
技术介绍
过去的几年间，互联网的使用蓬勃发展并且还在继续扩大。人们已经很习惯万维网(或者简称为“网络”)提供的许多服务，例如电子邮件、在线购物、收集新闻和信息、听音乐、浏览视频剪辑、找工作，等等。为了跟上这种不断扩大的基于互联网服务的需求，在致力于宿主站点、为这些站点提供的后端服务以及存储相关站点数据的计算机系统方面也已经有了很大的发展。分布式计算机系统的一种类型是数据中心(例如互联网数据中心(IDC)或者企业数据中心(EDC))，该中心是特殊设计的包括多个宿主基于网络的服务的计算机的联合体。也被称为“网络群”或“服务器群”的数据中心典型地在一个气候可控的、物理上安全的建筑物中具有几百至几千台计算机。典型地，数据中心提供可靠地互联网访问、可靠地电力供应以及安全的操作环境。不同的数据中心可以对运行在该数据中心的应用程序有不同的要求。例如，不同的数据中心可能需要实施不同类型的安全措施，或者需要应用程序支持不同的通信协议。另外，一些数据中心可能在一段时间后要改变这些需求。由于为了使应用程序可以在需要的数据中心上运行，设计员要知晓这些不同的需求并且在设计应用程序的时候要考虑到这些，所以数据中心间的差异就使得应用程序的设计过程变得困难。进一步地，目前程序员在将他们的应用程序配置在数据中心时，一般仅仅可以评价他们的应用程序是否将运行在一个特殊的数据中心上。如果由于应用程序不能满足数据中心的一个或多个必要条件而使得程序运行不成功，那么设计员就要修补应用程序的问题并在数据中心上重新试验该应用程序的运行。此过程将被重复许多次，并且会造成效率低下和不如人意的设计过程的结果。这里将描述的系统设计期间的验证将解决这些和其他的问题。专利技术概述这里将描述系统设计期间的验证。根据系统设计期间的验证的某些方面，接收将被设计的系统的描述和环境的描述。这些描述都用于在设计系统时以及在配置系统之前对照环境来验证系统。附图的简要说明在整个附图中，相同的附图标记表示相同的特征。附图说明图1说明了一个示例性的网络设置。图2是一个说明使用系统定义模块的示例性体系结构的方框图。图3说明了一个示例性的分层设置。图4是一个说明用于设计期间的验证的示例性过程的流程图。图5A和5B是一个说明创建一实例空间的示例性的递归扩展过程的流程图。图6A和6B是一个说明用于评估信息流的示例性过程的流程图。图7A、7B、7C、7D和7E是一个说明评估约束条件的示例性过程的流程图。图8说明了一个示例性的SDM文档。图9说明了一个示例性的SDM定义。图10说明了一个示例性的SDM成员。图11说明了一个示例性的设置成员。图12说明了一个示例性的约束条件的定义。图13说明了一个示例性的描述对象。图14说明了一个将在一层中的网络应用程序映射到另一层中的网络服务器主机的实例。图15说明了一个示例性的嵌入式数据类型的分级结构。图16说明了一个上投射和下投射的例子。图17说明了一个类型变换的例子。图18说明了一个示例性的关系树。图19说明了一个利用授权公开主机实现的例子。图20说明了一个利用授权向父体公开一成员实现的例子。图21和22说明了一个通信连接的验证的例子。图23说明了一个区域边界的例子。图24说明了一个示例性的实体空间。图25说明了一个示例性的可以执行这里描述的技术的普通计算机环境。实施例的详细描述下面公开的内容描述了与系统设计期间的验证的结构有关的各个方面。此公开包括系统定义模型(SDM)的论述，其也可以认为是服务定义模型(SDM)。SDM向应用程序设计者提供工具和上下文用以设计抽象的分布式计算机应用程序和数据中心。该模块定义了一系列表示应用程序的功能单元的元素，该程序最终将被物理计算机资源和软件执行。与该模块元素相关的是规划表，其表示如何指定由成员表示的功能性操作。正如这里所使用，术语“接线”也可以认为是“连接”、“通信”或者“通信关系”。术语“系统”也可以认为是“模块”并且术语“资源空间”也可以认为是“资源”。另外，术语“应用空间”也可以认为是“应用程序”，并且术语“实体空间”也可以认为是“实体”。进一步地，术语“类”也可以认为是“抽象定义”，术语“端口”也可以认为是“端点”，以及术语“类型”也可以认为是“定义”。图1说明了一个示例性的网络设置100。在设置100中，多(x)计算设备102(1)，102(2)，...102(x)连接到网络106。网络106代表各种常规网络拓扑结构和类型(包括有线和/或无线网络)中的任意一种，其使用各种常规网络协议(包括公共和/或专有协议)中任意一种。网络106包括，例如局域网(LAN)、广域网(WAN)、互联网的一部分等等。设置100表示大量不同的设置中的任意一种，各种设置包括，例如数据中心(例如互联网数据中心(IDC))、办公或商业设置、家庭设置教育或研究设施、零售或销售设置、数据存储装置等等。计算设备102可以是各种常规计算设备中的任意一种，包括台式PC、工作站、大型计算机、服务器计算机、互联网仪器、游戏控制台、掌上电脑、移动电话、个人数字助理(PDA)等等。设备102的一个或多个设备可以是相同类型的设备，或者可选择地为不同类型的设备。另外，即使在多个设备是相同的设备类型的情况下，多个设备也可以进行不同的配置(例如，两个设备102可以都是服务器计算机，但是可以有不同的硬件配置，诸如，不同的处理器、不同数量的RAM、不同容量的硬盘驱动器，等等)。在添加到设置100中后，一个或多个设备102也可以进行重新配置。例如，特殊计算设备102使用一段时间(例如，类似于分钟、小时、天、月等)来执行一个功能，然后管理员可以决定需要不同的功能(例如，从服务器计算机改变为工作站计算机、从web服务器改变为本地文件服务器，等等)。图2是一个说明使用SDM的示例性体系结构200的方框图。SDM被设计成在系统的设计过程中使用，并且被用于在设计过程结束后使用和/或管理系统。一个系统是一组可以共同工作并完成共有的功能的相关联的软件和/或硬件资源。这样的系统的一个例子是应用程序，其是指一组可以被计算设备运行或执行来完成各种功能的指令。应用程序的实例包括诸如游戏的娱乐应用程序、诸如文字处理器的产出应用程序、诸如电子百科全书的参考应用程序、可以用于web服务或金融分析的分布式应用程序，等等。此系统的另一个实例是可以调度一应用程序(或另一环境)的环境。环境是指可以使用应用程序(或另一个环境)的软件和/或硬件资源。以上环境可彼此分层。一般地，在系统的设计过程或阶段(也被称为开发过程或阶段)中，支持SDM的开发工具用于定义一个由通信软件和/或硬件部件组成的系统。系统的定义包括使用和操作一个分布式系统必须的所有信息，其包括所需的资源、配置、可操作的特点、策略等。设计阶段完成之后，使用阶段也可以利用系统定义来使用该系统并且动态地分配和配置所需的软件和硬件(例如，服务器、存储器和网络)资源。相同的系统定义可以针对于不同的主机环境和不同程度的使用。体系结构200既使用SDM定义模型也使用定义了SDM定义模块内的函数运算的计划表。该定义模块包括各种不同类型的数据结构，该数据结构整体被称为“定义”。通过一个或多本文档来自技高网...

【技术保护点】
一种方法，包括：　　　　接收一个将要设计的系统的描述；　　　　接收一个将要设计的环境的描述；以及　　　　在所述系统正在设计期间并且将要配置所述系统之前，利用这两个所接收的描述相对于所述环境验证所述系统。

【技术特征摘要】
...

【专利技术属性】
技术研发人员：G奥斯莱德，K格里利希，R门辛，B塔巴拉，RV维兰德，
申请(专利权)人：微软公司，
类型：发明
国别省市：US[美国]