In other words, they needed a formal model of computation.
换名话说，精确计算机需要一个正规的计算模式。
First, we developed a formal model, namely ISTWM, for transactional workflows.
本文首先提出了一个事务工作流模型IST WM。
A formal model is proposed to describe time character of constraint in this paper.
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。
This isn't a formal model (heh), it's simply my favorite analogy for software development.
这并不是一个非常正式的模型(呵呵)，我只是喜欢用它来代表软件开发。
Manufacturers can provide colorful formal model for color card for consumers to choose.
正规厂家能提供色彩丰富的样板色卡供消费者选择。
This paper USES the formal model to acquire Chinese Q-A patterns and Chinese-English terminology pairs.
本文将学习模型应用到中文问答对和中英文术语对的抽取中。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
The architecture is expressed as a formal model in UML, using a tool like Rational Software architect to create it.
体系结构采用UML表述为正式的模型，要使用Rational Software Architect之类的工具创建此模型。
A formal model that analyzes the conflicts and cooperation between different businesses will be adopted in this thesis.
本文中用一种正式的模型来分析企业之间的冲突与合作。
Facts may take the form of natural language statements or as attributions, relationships, or generalizations within a formal model.
事实可以采用自然语言语句的形式，也可以作为一个规范模型中的属性、关系或概要。
This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。
To what extent do you share the core intent of MDD - create a formal model and mathematically transform that model into correct and executing code?
你在何种程度上对MDD的核心意图进行了分享呢——是创建正式的模型，并且以数学的方式把模型转换为正确可执行的代码吗？
A formal model of PASCAL process blueprint, graphical notations of abstract logic structure diagram, and a fundamental programming procedure...
文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。
This paper proposes the role concept, discusses the dynamic access control of role-based workflow status, and describes and analyses the formal model.
本文将角色的概念加入进来，讨论了基于角色的工作流状态的动态访问控制，并对其模型进行了形式化描述和分析。
As a XML-based descriptive language, WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.
作为一个基于XML的描述性规范语言，WS -CDL缺乏形式化的模型和验证机制，难以保证协作和交互的正确性。
On the other hand, important specifications such as the Infoset (a formal model of the information nodes in an XML document) should be established at the foundations.
另一方面，象Infoset (XML文档中信息节点的正式模型)这样的重要规范应该建立在此基础上。
TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.
测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。
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.
本文首先给出了RMS的形式模型，而后，重点讨论了系统中用以消除矛盾的一致性维护问题。
On the progress of calling for structured or disciplined hypertext, people can use simply, direct and oriented application method except of using formal model of hypertext.
在人们寻求结构的或有规律的超文本过程中，除了使用形式化模型外，还有一种采用面向应用，简单、直观的方法。
We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
Usually, we try to represent the architecture of a system through a formal model, and, usually, this model is articulated in UML, using a tool to create the various perspectives mentioned above.
通常，我们尝试通过正式的模型表示系统的体系结构，而此模型通常采用UML进行说明，使用工具来创建上面提到的各种透视图。
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.
本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。
This not only provides you with another form of visualization, but it also uses a formal, technical model underneath.
这不仅为您提供了另一种形式的可视化，而且还使用了底层的正式技术模型。
This not only provides you with another form of visualization, it also USES a formal, technical model underneath.
这不仅为您提供了另一种形式的可视化，而且还使用了底层的正式技术模型。
They understood how to decide what practices to use and when, but they hadn't had enough experience with processes in general to be comfortable working with a more formal process model.
他们理解如何决定使用哪种实践以及何时使用，但是一般而言，他们并不具备足够的经验舒适的处理一个更加正式的过程模型。
This tutorial focuses on how to leverage queries to further analyze your model, and how to use formal reports to document the analysis results.
本教程侧重于如何利用查询来进一步分析模型，并说明如何使用正式的报告来对分析结果作文档记录。
You should have complete knowledge of the various UML model elements and diagram syntax and be able to use these effectively for communication and formal specification of the application.
您应该对各种uml模型元素和图表语法有全面的认识，并且能够有效地在交流和应用程序的形式化规范中使用它们。
Currently, there is no formal or standard way to declare this processing model to help automation.
目前还没有正式或标准的方法来声明这种处理模型以便帮助实现自动化。
Using this technique, it is possible to transpose the Business Processes into a Business Model and create formal traces between the two.
利用此技术，很可能将业务流程转化为业务模型，并在它们之间创建形式化的可追溯性。
If the customer is used to buying development with a fixed price model, or has formal guidelines, it can be quite a big-or even impossible-change for the customer.
如果客户习惯于以固定价格的模型购买开发工作，或者具有正式的指导原则，则采用敏捷开发流程对客户来说是非常大——甚至不可能——的更改。
应用推荐