And, the expanded RBAC model-ERBAC model and the formal description are given.
给出了扩展的RBAC模型—ERBAC模型，并给出了其形式化描述。
With the formal description of the adaptor generating process, we can automatically generate the adaptor.
通过适配器生成过程的形式化描述可以自动生成该适配器。
This paper gives the formal description of the two-party protocol, and discusses the security, authenticability and verifiability for two-praty protocols.
论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
At last, the author USES an example to show that using the formal description of UML state machine semantics can justify the important properties of those systems described by UML.
最后，作者通过一个实例说明UML状态机语义的形式化描述可以证明那些用uml描述的系统的一些重要属性是正确的。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
By setting up a hierarchical mechanism motion model for conceptual design through the formal description of function symbol we provide a solid support to the computer aided conceptual motion design.
通过功能符号形式化描述建立分层次的机构概念运动模型，实现对计算机辅助概念运动设计的支持。
With either of these approaches, it is critical to get formal approval of the manager's new job description from his or her manager (for example, the Engineering Director, or department head).
使用任何这些方法，最关键的是得到他或她的经理(比如，工程总监或是部门主管)对新的工作描述的正式批准。
A formal description of a system, or a detailed plan of the system at component level to guide its implementation.
系统的正式描述，或用于指导其实现的组件级别的系统详细计划。
A formal service description is definitely important and the drawbacks of WSDL should not be the grounds for its complete dismissal.
规范的服务描述无疑是重要的。而且，WSDL的缺点不应成为全盘抛弃它的原因。
Thus, the semantic characteristics in the provider description (formal or informal) are reflected in the semantic characteristics of the service specification, as shown by the solid arrow in Figure 4.
因此，服务规范的语义特征反映(正式或非正式的)提供者描述中的语义特征，见图4中的实线箭头。
Get formal approval of the manager's new job description from his or her manager (for example, the Engineering Director, or department head).
得到他或她的经理(比如，工程总监或是部门主管)对新的工作描述的正式批准。
A classic perception of liars is that they are more anxious, and the 'Anxiety Hypothesis' is a formal description of the idea.
一种典型的观点认为，撒谎者更为焦虑，而“焦虑假说”是该观点的正式描述。
The value in describing REST Web services in a formal way is using the description as a formal contract between clients and service providers, and support for tools.
以正式的方式描述RESTWeb服务的价值是使用该描述作为客户端与服务提供者之间的正式契约，并支持工具。
Alternatively, the model could be processed into a WSDL file — again a formal description of a Web service.
或者模型被处理成wsdl文件，同样是Web服务的正式描述。
A service has syntax, semantics, and QoS characteristics that all have to be modelled; formal interface contracts have to cover more than the Web Services Description Language (WSDL) does.
服务具有语法、语义和QoS特征，所有这些都必须进行建模；正式的接口契约必须涵盖的比web服务描述语言(WebServices Description Language, WSDL)的多。
Formal syntactic models for the description of grammar, eg generative grammar, are a type of metalanguage.
正式句法模式描述语法，例如生成语法，是一种元语言。
Upon completion of construction, he must submit a project description outlining the LEED design features incorporated into the building for formal USGBC evaluation.
工程完工后，业主必须提交有关工程采用LEED设计要求的概况描述并申请美国绿色建筑委员会(usgbc)进行评估。
Focusing on what the company is really looking for — which isn't always in the formal job description — inevitably leads to your having a chance to mention where your skills and experience fit in.
关注公司真正需要的东西(往往不会在正式职务说明中提到)，肯定能让你有机会提到自己的能力和经验会在哪些地方派上用场。
Formal description of emergency plans is the precondition and basis to establish the theoretical framework for emergency plans.
应急预案形式化描述是建立应急预案理论框架的前提和基础。
"Many employers have specific requirements for the degrees, skills, and certifications they want in new hires," usually spelled out in the formal job description, Ulloa notes.
乌略亚表示：“许多雇主对于求职者的学位、能力和证书，都有具体的要求”，在正式的职位说明中通常说得很清楚。
It is given and discussed the hierarchical structure of general distributed application system, and given its formal description.
首先给出并讨论了一般分布式应用系统的层次化结构，并给出了其形式化描述。
Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
This method takes formal description of protocols as input, and is easy to be automated, also generates a shorter test sequence, promotes the test efficiency.
这种方法以协议的形式化描述为输入，易于自动化实现，同时生成的测试序列较短，提高了测试效率。
The translation of query expressions is demonstrated through a series of examples in the following. A formal description of the translation rules is provided in a later section.
查询表达式的转换通过一系列例子示范如下。正式的转换规则的描述在后面部分。
It is a formal description of the normal usage and management of the network system and it is a rule that the operators and managing staffs of the network system must obey.
是正常使用和管理网络系统的正式描述，是网络系统使用和管理人员必须遵守的规则。
The complementary definition method based on the frame can be used to be the description method of formal system used in automated software testing.
基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。
In this paper, gives a formal description of objects and attributes in TDBAM, then discusses the kinds and implement of limited-value attributes.
该文将给出tdbam数据对象的形式化描述，讨论有限取值属性的几种形式及其实现。
The third part lists various styles of the adjective reduplication in "Rickshaw Boy" in details and further studies them one by one, by the methods of statistics of quantity and formal description.
第三章主要采用量的统计和形式描写的方法，详尽地列举出《骆驼祥子》形容词重叠的各类形式，并对其逐一作详尽具体的考察。
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。
应用推荐