Formalizing Architectural Styles with XYZ/ E

1、

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间通信机制和系统实现环境方面介绍了系统的实现方案。

互联网摘选

2、

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

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

互联网摘选

3、

Formalizing in Software Architecture and State-Oriented Style

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

互联网摘选

4、

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

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

互联网摘选

5、

Formalizing user requirements.

软件需求形式化。

互联网摘选

6、

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

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

互联网摘选

7、

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

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

互联网摘选

8、

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

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

互联网摘选

9、

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

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

互联网摘选

10、

Formalizing PKI Interoperability Trust Models with Trust Logic

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

互联网摘选

11、

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

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

互联网摘选

12、

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

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

互联网摘选

13、

Preliminary study on formalizing process of Changle Granule

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

互联网摘选

14、

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

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

互联网摘选

15、

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

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

互联网摘选

16、

Formalizing Workflow Patterns Based on the π-calculus

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

互联网摘选

17、

Formalizing Software Design Pattern in Z

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

互联网摘选

18、

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

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

互联网摘选

19、

New extended workflow net for formalizing workflow patterns

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

互联网摘选

20、

Formalizing extended events traces using formal specification language Z

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

互联网摘选