Abstract: In order to attain load balancing and high availability, large-scale commercial services are usually equipped with redundant resources and managed by certain management systems. However, the complex structures of services lay obstacles to the design and implementation of this kind of system. A formal model is defined, by which methods are created to describe the structures and status of the multi-tier applications and further build a platform environment. And most of complex commercial application services deployed in clusters can be governed under this kind of architecture.

Key words: Formal model, Commercial application, Application management, QoS, Cluster

摘要： 对于被集中部署到机群环境中的应用服务来说，为了保障服务的负载均衡和高可用特性，通常会配备冗余的软硬件资源，并采用相应的管理系统[1]，帮助调配这些资源、维持稳定的服务质量。然而，商业分布式应用的规模日益庞大，如何让管理系统适应其复杂结构，该文提出了一种解决方案。该方案通过定义形式化模型，建立了一套描述复杂多层次应用结构、判定应用运行状况的方法，并在此基础上构建了具有广泛适应性的平台环境，使得部署于机群之上的复杂商业应用在此架构下得到统一的管理。

关键词: 形式化模型, 商业应用, 应用管理, 服务质量, 机群

CLC Number: 

• TP399