On the other hand, a universal calculation method of the temporal semantics provided in this paper can localize the descriptions of temporal in all languages into the temporal axis.
同时，本文提供通用的时间语义计算方法，将各语言的时间描述映射到时间轴上。
Temporal constraints are introduced in the user assignment and permission assignment to express and realize more powerful access control semantics.
在用户分配和权限分配中引入时间约束，表示和实现了更为丰富的访问控制语义。
A dynamic grey temporal system (DGTS) and a grey temporal security policy specification Ianguage (GTSL) based on the dynamic semantics of DGTS are presented in this paper.
本文详细描述了DGTS，以及基于DGTS的动态语义设计的灰色时序安全策略规范语言gtsl。
In linguistic field, the study on temporal features mainly focuses on the internal structure of language such as morphology, syntax, semantics, aspectual study and pragmatics.
语言学领域对于时间特征的研究主要集中在语言内部的结构上，包括诸如词汇、语义、句法、时态及语用方面的研究。
The XYZ/ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/E.
对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。
The XYZ/ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/E.
对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。
应用推荐