The Command object encapsulates the name and information related to the semantics of an action.
Command对象封装了与动作的语义相关的名称和信息。
We construct three kinds of systems of knowing action, prove that they have the frame soundness and frame completeness with respect to the matched semantics, respectively.
我们提出三类知道活动的系统,分别证明它们相对匹配的语义有框架可靠性和框架完全性。
A policy language was introduced and its syntax and semantics were defined formally, and control policies were given according to action characteristics of core models of Usage control (UCON).
在给出了一种策略语言后,对其语法和语义进行了形式定义,并根据使用控制(ucon)模型族的行为特性给出了控制策略。
The application of semantics description in practice can be beneficial to design process. It will strengthen reflection-in-action and be an effective guide to further inquiry.
在此基础上,提出将连续性形式语意描述应用于实践,能有利于设计过程的延续和行动反思的强化,是引导进一步探索的有效方式。
The application of semantics description in practice can be beneficial to design process. It will strengthen reflection-in-action and be an effective guide to further inquiry.
在此基础上,提出将连续性形式语意描述应用于实践,能有利于设计过程的延续和行动反思的强化,是引导进一步探索的有效方式。
应用推荐