lotos

Investigation of application of LOTOS specification styles in service and protocol design

LOTOS规范风格在服务和协议设计中的应用研究

A real-time extension of formal description technique LOTOS and its application

形式描述技术LOTOS的实时扩展及应用

Decomposition Transformation for the Distributed Implementation of Full LOTOS Specification

分布实现完全LOTOS规范的转换方法

Application of step-wise refinement design to mutual exclusion access system based on LOTOS

LOTOS渐进细化设计方法在互斥访问系统中的应用

Realization of LOTOS formal specification is one of indispensable steps in protocol design .

LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。

LOTOS Specification and Implementation for Distributed System

分布式系统的LOTOS规范及其实现

The structure of a system model can be presented by lotos specification styles in the describing specification .

Lotos规范风格在系统规范描述中可以体现系统模型的结构性。

Realization of Formal Specification Based on LOTOS

基于LOTOS形式规范的目标实现

The Implementation of Graphical LOTOS and Petri-net Model on PC

图形LOTOS和Petri同模型在PC机上的实现

LOTOS is a process algebra fit for describing and verifying temporal specifications of embedded software .

LOTOS是一种适合于描述与验证嵌入式软件时序规约的进程代数方法。

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

LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。

The step-wise refinement concept is presented and a mutual exclusion access system in LOTOS Specification is described .

提出了渐进细化的概念，并将其应用于互斥访问系统中，同时用LOTOS规范进行描述。

And the lotos rose , quietly , quietly ,

荷花升起了，悄悄地，悄悄地，

Macro-oriented specification style based on Lotos

基于Lotos的面向宏的规范风格

LOTOS ( language of temporal ordering specification ) is a language that fits the requirement of protocol engineering , distributed processing and parallel processing .

LOTOS（languageoftemporalorderingspecification）是一种适应协议工程、分布处理和并行处理要求而产生的语言。

The theory basis of GTSL is the theory of grey system and that of LOTOS , the language of temporal ordering specification .

本文呈现了我们构造的形式化灰色时序安全策略规范语言（GTSL）。GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。

In order to do conformance testing , we describe a standard router information protocol ( RIP protocol ) of Internet using formal description technology E LOTOS .

为了一致性测试Internet网上的一个标准路由信息协议（RIP协议），利用形式描述技术语言E-LOTOS对其进行了描述，然后把文本描述的E-LOTOS转换为GE-LOTOS。

For protecting of data consistency from BPEL to LOTOS , this paper , based on the basic semantic mapping rules , provide BPEL-to-LOTOS data type mapping .

为保障LOTOS中数据与BPEL中数据的一致性，本文在基本语义映射规则的基础上给出了BPEL到LOTOS的数据类型映射。

Lotos , the world 's most expensive glasses supplier brand , which was founded in1872.The products include watches , eyewear and jewelry .

全球最贵的眼镜供应商，品牌创始于一八七二年，产品包括手表、眼镜和珠宝等。

Taking a communications system as an example , it describes and analyzes the specification styles and features of petri net , LOTOS , relational notation , Z and object-Z.

文中以一个通信系统为例子，论述和分析了Petri网、LOTOS、关系表示法、Z表示法，以及面向对象Z等形式描述技术的形式描述风格及其特征。

This thesis mainly includes four parts : First , the application field of ADT in protocol project , the background and the development of LOTOS technology are briefly introduced and the foundation of LOTOS language is described .

第一部分：简要介绍了形式描述技术在协议工程中的应用范围，LOTOS技术的背景和发展状况（第一章）；然后介绍了LOTOS的语言基础（第二章）。

After a brief introduction to the formal description technique LOTOS and ISO / OSI session layer standard , this paper specifies the OSI session layer in detail and an architectural model and some important models are given .

本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍，较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述，给出了其结构模型及一些重要的模块结构描述。

Finally , the application method of LOTOS specification styles in network services and protocol design , the concept of formal structural model and its design approach , the transformation of LOTOS specification to C or C + + are produced .

第四部分：提出了LOTOS规范风格在网络服务和协议设计中的应用方法、形式结构模型的概念及实现方法、渐进细化设计方法、LOTOS规范的C、C++实现方法（第五章）；

Indicates the formal description technology of developing network protocol , the architecture concept , level of abstraction and specification styles of LOTOS The principles of structuring are presented and the method of modeling formal structure is figured , which are based on the technology of LOTOS .

简要介绍了开发网络协议的形式描述技术、网络协议的结构概念、等级抽象和LOTOS描述规范风格。