公开(公告)号：CN102436376B

公开(公告)日：2016-01-13

申请号：CN201110340478.5

申请日：2011-10-19

Applicant: 微软技术许可有限责任公司

Inventor： L·缪 ,  P·宋 ,  L·张 ,  M·G·塔塔

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3612 ,  G06F11/3447 ,  G06F11/3476 ,  G06F11/3608 ,  G06F11/3692

Abstract: 本发明公开了用于分布式应用确认的模型检查。此处描述了模型检查系统，该模型检查系统通过提供模型和通用框架来检查应用不变属性、检测异常行为并监视应用健康从而更有效地验证和确认分布式应用的设计。模型检查系统针对从应用的正式描述所导出的应用模型来检查在线应用行为。该系统将具体应用制定为抽象模型以及期望在所有条件下适用于应用的多个规则或属性。模型检查器将实际应用执行与模型相比较，并且确认属性保持为真或是报告属性被违反。由此，模型检查系统提供了在更现实的生产条件下对分布式应用的更有效且全面的确认。

公开(公告)号：CN104737133B

公开(公告)日：2019-06-18

申请号：CN201380054074.7

申请日：2013-10-16

Applicant: 微软技术许可有限责任公司

Inventor： M·G·塔塔 ,  G·K·R·卡基瓦亚 ,  A·古普塔

IPC: G06F9/50

CPC classification number: G06F9/5072

Abstract: 实施例针对使用服务组来管理多个不同类型的应用。在一种场景下，计算机系统接收关于一个或多个应用依存关系和特征的指示，该应用依存关系和特征在要当在分布式主机计算机系统上提供应用时实现。计算机系统创建应用清单，该应用清单为各个不同的服务组声明性地定义了应用依存关系和特征。每个服务组包括与声明性地定义的应用依存关系和特征相匹配的应用。计算机系统还将该清单发送至分布式主机计算机系统，该分布式主机计算机系统根据该清单中所指定的服务组来将符合清单标准的那些应用加载到分布式主机计算机系统的可用节点上。