formalizing

This paper completes the formalizing describing and implementation of interaction interface services .

本文完成了交互接口服务的形式化描述及实现。

Formalizing Type Safety of the Java Virtual Machine

Java虚拟机安全性的形式化分析和验证

Formalizing Interactions and Interaction Protocols in Multi - Agent Systems

形式化多主体系统中的交互及交互协议

Formalizing the Procedure of Model-based Diagnosis on General Causal Theory

广义因果理论上基于模型诊断过程的形式化

The application of the formalizing theory

规范化理论及其应用

Formalizing extended events traces using formal specification language Z

用Z语言形式化扩展事件踪迹图

New extended workflow net for formalizing workflow patterns

一种支持工作流模式的扩展工作流网

This paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic .

在基于时间区间的时态逻辑基础上，提出了一种处理主体并行行为与并发事件的逻辑理论框架。

Formalizing Software Design Pattern in Z

用Z形式化描述的软件设计模式

Formalizing Workflow Patterns Based on the π - calculus

工作流模式的π演算形式化

Nowadays , there are lots of study results of formalizing UML , but they are limited .

目前，已经有很多UML形式化的研究成果，但都存在一定的局限性。

Each initiative team has a business team lead responsible for gathering and formalizing the business requirements .

每个计划团队都有一个业务主管，负责收集和确定业务需求。

Preliminary study on formalizing process of Changle Granule

长乐颗粒剂成型工艺的初步研究

Formalizing the Natural-language Descriptions about the Spatial Relations between Linear Geographic Objects

关于线状地理特征空间关系的自然语言描述的形式化表达

A Research on Formalizing the Teaching-by-Experiment in New Stage

新时期实验教学管理规范化研究

Formalizing PKI Interoperability Trust Models with Trust Logic

基于信任逻辑的PKI互通信任模型形式化

Before the Extenics was established , formalizing and systematic research on contradiction problem was always lacking .

在可拓学建立之前，一直缺乏形式化，系统性的矛盾问题研究。

Bahrain and Israel have signed a series of key agreements formalizing bilateral ties .

巴林和以色列签署了一系列重要协议，使双边关系正式化。

No reference to meaning is involved in the result of formalizing , and is an important prerequisite for formal implementation .

意义无涉既是形式化的逻辑结果，又是形式化的重要前提。

Finally , the whitepaper talks about formalizing service contracts and making services visible , typically using service registry .

白皮书在最后还谈到了服务契约规范化以及服务可视化，这通常是通过服务注册实现的。

But the role played by the heavens in formalizing the days of the week doesn 't stop there .

但天体对星期的形成所起的作用可并不止这些。

Formalizing user requirements .

软件需求形式化。

Brown made announcement at San Francisco , formalizing that many Californians have been aware for months .

布朗在旧金山发表了声明，称许多加州民众已经察觉到这个情况数月之久了。

Formalizing in Software Architecture and State-Oriented Style

软件体系结构的形式化与面向状态的形式化风格

A formalizing expression method of User Request is given , and then the acceptability of User Request is analyzed based on logic reasoning technology .

提出了用户请求的形式化表达方法，并基于逻辑推理技术，分析了用户请求的可接受性，只向系统传送可实现的用户请求，提高了服务组合的效率。

The implementation scheme of the model is introduced in the aspects of agent 's formalizing expression , mechanism of communication between agents and environment of system realization .

从agent形式化表示、agent间通信机制和系统实现环境方面介绍了系统的实现方案。

Formalizing Architectural Styles with XYZ / E

用XYZ/E形式化体系结构风格

Formalizing Mobile Agent Security with Seal-Calculus

基于Seal演算形式化描述移动Agent安全

The Process Isomorphism pattern , defined by Jason , is an important instrument for formalizing alignment between services and processes which could improve both .

由JasonBloomberg提出的流程同构模式是形式化服务和流程之间对齐的重要工具，同时也是改善两者的重要工具。

In some ways , the news conference and the royal endorsement were a way of formalizing the military 's seizure of power .

在某种意义上，新闻发布会的召开和国王的授权是对军方掌权的正式确认。