该文根据建模基础的不同，对目前处在研究热点中的几个重要协议形式模型进行了分类分析。
In this paper, some kinds of critically formal models for security protocols, which have recently catched much researcher's attentions, are analyzed in terms of their different modeling bases.
本文首先给出了RMS的形式模型，而后，重点讨论了系统中用以消除矛盾的一致性维护问题。
This paper first introduces the formal model of RMS. Then, it puts stress on discussing the consistency preservation problem to remove contradicts in reasoning systems.
DBLP模型作为可用于系统设计的形式模型，它在多方面改进了现有文献中的工作，使模型更实用。
As a model that can be used to develop practical system, DBLP model has been designed based on some researches improving those works described in literature relevant to confidentiality policy models.
本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。
This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
因为混沌理论的基本观点是这样的“模型”不存在——不存在确定的形式，只有发展变化中的模式。
Because the basic idea of chaos theory is that there aren't any "models" as such—there aren't guaranteed forms, but rather patterns of change in development.
这不仅为您提供了另一种形式的可视化，而且还使用了底层的正式技术模型。
This not only provides you with another form of visualization, but it also uses a formal, technical model underneath.
一个游泳冠军的线框模型划开水面，她的双臂以慢动作的形式划动。
A wire-frame model of a champion swimmer slices through the water, her arms moving in slow motion.
还可以以动态模型的形式来表示动态行为，但在那样做之前，我们必须确定动态行为是什么。
Dynamic behavior can also be formalized into something called the dynamic model, but before we can do that, we have to figure out what the dynamic behavior is.
这样的资产没有被实现，它们代表一个抽象的形式，比如模型或者文档。
Such assets have no implementation, and are represented in an abstract form such as a model or document.
对ejb可视化编辑器以前版本做的另一个改进是以uml形式引入了交叉模型引用标记。
Another improvement from the previous version of the EJB Visual Editor is the introduction of Cross Model Reference decorations in UML shapes.
因此，要达到最佳性能，您最好还是使用XML数据库或一些其它形式的索引模型。
For best performance, then, you're still better off using an XML database or some other sort of indexing model.
利用网关形式，模型中的分支和联接点会更加明确。
Gateway form makes the branching and joining points in the model more explicit.
数据将以模型对象的形式在层与组件之间来回传递。
Data is passed back and forth between tiers and components in the form of model objects.
架构师通常设计与所需的结构紧密一致的解决方案，而这在很多情况下采用的是用例模型的形式。
Architects often design a solution that is closely aligned to the structure of the requirements, which in many cases takes the shape of a use case model.
确定了模型的相应形式后，需要根据每个系统体系结构区域的主题对信息进行组织。
After you decide on an appropriate form for your model, you need to organize your information according to the theme of each of the system architectural areas.
没有现成的指南或过程样品、模型、形式和实例可供你复制。
There are no policy or process samples, no templates, no forms, and no examples to copy.
接下来是撰写过程，它负责将简化的模型翻译为代码形式。
The writing phase follows, which translates the simplified model into code.
利用这些模式，可设计出形式良好的模型结构，从而避免因随意使用网关而导致的建模错误。
These patterns lead to a well-formed structure for the models, which avoids many modeling errors that otherwise occur when gateways are used in an arbitrary way.
对于仅显示控制流的模型，这两种形式可以互换，模型将保留其本身的语义。
For models that show control flow only, both forms can be used interchangeably and the models will preserve their execution semantics.
有两种相关的模型形式：表示形式和组织形式。
There are two interrelated model forms: the representational form and the organizational form.
至少以EMF模型的形式对OMG的ReqIF标准创建一种净室实现，还包括能够编辑这些模型的一些基本工具。
to have at least one clean-room implementation of the OMG ReqIF standard in form of an EMF model and some rudimentary tooling to edit these models.
治理模型：SOA项目的正确形式。
熟悉各种模型形式，如实体关系图(Entity - Relationship Diagram,ERD)、UML和其他面向系统的建模方法，将提供广泛的建模选项。
Familiarity with a variety of model forms, such as entity-relationship diagrams (ERDs), UML, and other system-oriented modeling approaches, will provide you with a wide range of modeling options.
请尝试在您的模型中采用这两种形式之一，以减少使用的模型元素数。
Try to adopt one of the two possible forms for your models to reduce the number of used model elements. This technique leads to a more homogeneous modeling style
被证明有效的使用新广告形式的收入模型。
WBIModeler以业务流程执行语言(BPEL)、XSD和WSDL构件相结合的形式输出流程模型以及相关的业务级别的对象定义。
The WBI Modeler exports the process model and its associated business-level object definitions in a combination of business process Execution Language (BPEL), XSD, and WSDL artifacts.
您需要创建存储库动态Web服务，而不采用将代码存储在基于活动和资源的服务上的形式引用模型。
You need to create Repository Dynamic Web services without references to a model as a way of storing and retrieving code on activity - and resource-based services.
考虑到本文的目的，我们将使用上面列出的第一种和第二种模型的组合形式。
For the purpose of this article, we will be using a combination of the first and second models, listed above.
使用模型发布你可以用HTML形式发布模型；另外，你可以从建立的模型中创建和生成你自己的报告。
Using model publishing you can publish the model as HTML; in addition, you can create and generate your own reports from the models you have created.
应用推荐