查询词典 specification

We first introduce the state of the art of Web Services Composition, and then analyze the relation between Web Service Composition and related theoretical backgrounds. Concerning the two key technologies, service composition method and service composition system, we demonstrate our work.1. Based on semantic Web Service and OWL-S specification, a first-order logic Situation Calculus planning method for services composition is introduced.

本文首先对现有的服务组合相关工作做了比较详细的阐述，在分析了语义Web服务自动组合所涉及的主要理论背景之间的关系和作用之后，针对我们所关注的两个主要技术层面——服务组合方法和服务组合系统阐述了我们的工作： 1、在语义Web服务规范OWL-S的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Corresponding with the system logic diagram and hardware specification.

必须提供完整的与系统逻辑图和硬件说明相对应的L2硬件设备清单。

The configuration view is the logic architecture of product specification data base that is partial of product data base. So the solution of physical design is resultant of Bill Of Material of design product. The BOM is the set of maunfacturable physical entities that can be assembled.

由于结构视图是产品数据库中产品说明数据的逻辑结构，所以物理设计的结果可以生成构成产品系统的物理制造实体的物料清单(BOM，Bill Of Materials)。

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems.

一、引言形式描述技术是用形式语义语法语言，而不是象英语那样用自然语言来定义一个系统的性能。

Combined with the application of OOD in formal specification of distributed multimedia system, a scheme building on ground of LOTOS/QTL (or Esterel/QL) and adopting the idea of OOD has been given. This method can be used to construct time model and synchronization model in distributed multimedia systems.

结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析，本文提出了一种以LOTOS/QTL或Esterel/QL为基础，融合面向对象技术的形式化描述方案，该方案可用于建立分布式多媒体系统的时间模型和同步模型。

Combined with the application of OOD in formal specification of distributed multimedia system, a scheme building on ground of LOTOS/QTL (or Esterel/QL) and adopting the idea of OOD has been given.

结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析，本文提出了一种以LOTOS/QTL或Esterel/QL为基础，融合面向对象技术的形式化描述方案，该方案可用于建立分布式多媒体系统的时间模型和同步模型。

The outstanding problem is to map abstract entities onto real entities,both effectively act on the environment,and to allow the environment to influence specification behavior.The paper describes the opportunities provided by TOPO,a compiler from LOTOS into C or Ada code.

对于通信系统的抽象说明，LOTOS语言被设计成为高级别的说明语言，它拥有强有力的多路径汇聚结构，允许用户请求的精确描述，而不是任何一个详细的执行，通过按时间排序的微小事件LO-TOS来模化实际。

The second one: Discussed the application spectrum of technology based on LOTOS in network protocol design in detail, which including LOTOS specification styles, LOTOS transformation, LOTOS validation, LOTOS implementation, ELOTOS and LOTOS toolkit, etc.

第二部分：详细描述了在网络协议设计中基于LOTOS相关技术的应用领域及在这些领域中的应用方法，包括：LOTOS规范风格、LOTOS转换、LOTOS验证、LOTOS实现、ELOTOS以及LOTOS工具集等。

Macr;Participate in definition and development of testing specification for new products.

参与新产品测试规范的确定和开发。

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。