给出了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.
因此，在UML模型上添加形式化语言是必要的。
Thus, it is necessary to add formal language into current UML model.
作为一个基于XML的描述性规范语言，WS -CDL缺乏形式化的模型和验证机制，难以保证协作和交互的正确性。
As a XML-based descriptive language, WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.
针对目前自然语言形式化研究中存在的问题，就歧义性、形式化与系统模型等几个基本问题做了进一步的分析与讨论。
Seeing that problem is present in natural language formalization research, this paper tries to make analysis and discuss for few basic problem on ambiguity and formalization and system model.
语言是一种描述转换系统相关数据特征的形式化语言，然而不适合建立动态行为的模型。
The Z language is a formal language for specifying data-related characteristics of transformational systems. however, it is not designed to model behaviour.
介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
文章建立了基于DFA的攻击模型，并在此基础上利用Z语言对之进行了有效的形式化描述。
In this paper an attack model based on DFA is constructed and Z is employed to formally depict network attack.
把UML和形式化语言进行融合，通过形式化的方法来弥补UML语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。
It is also the focus of this paper to integrate the UML and formal language, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.
本文走从语言文字描述至符号化再到形式化的崭新道路，首先为一般性的智能控制系统提出并建造了结构模型，然后利用形式语言理论将结构模型推导成了一种上下文无关文法。
First, a structural model has been put forward and constructed for general ICS ', then by utilization of formal language theory, the structural model formulated as a kind of context-free grammar.
本文走从语言文字描述至符号化再到形式化的崭新道路，首先为一般性的智能控制系统提出并建造了结构模型，然后利用形式语言理论将结构模型推导成了一种上下文无关文法。
First, a structural model has been put forward and constructed for general ICS ', then by utilization of formal language theory, the structural model formulated as a kind of context-free grammar.
应用推荐