给出了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.
然而由于UML归根结底是一种非形式化的语言，模型的一致性很难保证。
However, UML is at last a semi-formal language, so it's difficult to maintain model consistency.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
应用推荐