形式化

Therefore, it is hard to make a unified, definitive and formal mathematical model.

因而很难给出其统一的、确定的、形式化的数学模型。

A multi-grain formal model for service composition is proposed in this paper.

提出一种多粒度的服务组合形式化模型。

A formal model is proposed to describe time character of constraint in this paper.

提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。

And, a formal deadlock definition in OO model and practical detection algorithm is proposed for the first time.

首次给出基于面向对象模型的死锁问题的形式化定义及实用检测算法。

Our goal is to establish a formal and unified time workflow model for the processes in distributed cooperative work environment.

本文研究目标就是要建立一个适合分布式协同工作环境中业务过程特点的、具有良好形式化描述的、统一的时间工作流模型。

Based on attributed graph theory, we give the formal definition of WSCG model.

同时，我们也给出了WSCG模型的形式化定义。

Also the formal definition of the HURBAC model is presented in the paper.

本文对HURBAC模型的模型元素、角色层次和职责分离依次进行了形式化定义。

Our research provides formal description results for MSMQ model in Grid system.

研究结果提供了形式化描述调度模型，为大规模和复杂的网格系统的建立提供了定量分析和预测评价。

In order to improve the design and implementation quality of web service compositions, formal methods are used to model them and certain properties are verified.

为了提高组合web服务的设计和实现质量，使用形式化方法对其进行建模并对其关键性质进行验证。

Secondly,the main formal models and methods of system are analysed.

其次 ，分析了几种主要的系统形式化模型和方法。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。