5、从基于用例图的可用性需求生成AMF配置

从基于用例图的可用性需求生成AMF配置

在分布式实时系统的设计与实现中，可用性和安全性等可靠性方面至关重要。因此，在系统开发生命周期的早期阶段对可靠性需求进行建模和分析变得尤为关键。本文将探讨如何将高级可用性需求映射到可用性管理框架（AMF）配置中，使用的早期可用性需求通过用例图（UCM）语言表达。

1. 引言

可用性有多种定义。IEEE将系统的可用性定义为系统或组件在需要使用时可操作和可访问的程度；ITU - T建议E.800将可用性定义为在给定时刻或给定时间间隔内的任何时刻，假设提供所需的外部资源，项目能够处于执行所需功能的状态的能力；Wang和Trivedi将可用性定义为假设满足每个服务请求所需的时间短且可忽略不计的情况下，应请求提供服务的概率。

在电信服务等高度可用的系统中，可用性要求非常严格。为实现高可用性，出现了许多专有方法，但这些解决方案阻碍了应用程序在不同平台之间的可移植性。为解决这一问题，服务可用性论坛（SA Forum）应运而生，旨在定义和标准化系统与服务的高可用性解决方案。SA Forum开发了应用接口规范（AIS），其中包括可用性管理框架（AMF），它是中间件的核心组件，负责管理服务的高可用性。

已经有很多尝试从用户和供应商需求构建AMF配置。Salehi等人提出了一种基于模型的方法，使用UML概要文件生成AMF配置；Kanso等人采用了以代码为中心的方法，使用配置需求（CR）工件描述AMF中间件需求以实现自动生成；Colombo等人提出了一种从用户需求生成多组配置需求的方法。

用例图（UCM）语言是ITU - T用户需求表示法（URN）标准的一部分，是一种高级可视化的基于场景的建模语言。UCM可用于捕获和集成功能需