给出了ERBAC的动态授权管理框架，最后用形式化语言描述了ERBAC模型满足的规则。

This paper first describes the ERBAC mainframe of the management of authorization, and then gives the formal rules that ERBAC model must meet.

youdao

然而由于UML归根结底是一种非形式化的语言，模型的一致性很难保证。

However, UML is at last a semi-formal language, so it's difficult to maintain model consistency.

youdao

因此，在UML模型上添加形式化语言是必要的。

Thus, it is necessary to add formal language into current UML model.

youdao