从增强的LOTOS(E-LOTOS)说明到Petri网的转换

Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强，Ｐｅｔｒｉ网是分析系统的有效工具，本文提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转换方法。

E-LOTOS的图形化编译软件的扩充和完善

在赵玉兰的编译软件的基础上完成了对相同节点的合并;实现了对递归的处理;用两种方法实现了loop循环语句以及实现了多层次调用子程序的功能.此外,还对原编译软件的图形移动和图形扩展功能进行了完善.最后将由E＿LOTOS描述后的部分RIP协议用该软件转化为GE＿LOTOS.

LOTOS在网关体系结构设计中的应用

本论文从实践LOTOS语言的角度出发,采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。

基于翻译模式的BPEL到LOTOS映射方法研究

为了实现由BPEL描述的Web服务组合到LOTOS的自动化转换,提出一种基于翻译模式的转换算法。从BPEL语言的XML schema定义出发,分析BPEL本身的语言结构,得到BPEL语言的产生式。再根据BPEL到LOTOS的语义映射规则,设计BPEL到LOTOS的翻译模式。同时,在基本映射规则之上,给出BPEL到LOTOS的数据类型和故障处理机制的转换规则。最后结合Web服务实例,验证该工具的可行性。

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

Lotos规范风格在系统规范描述中可以体现系统模型的结构性。在已存在的4种Lotos规范风格中,引入了宏的思 想,构思了一种新的Lotos描述风格,即面向宏的规范风格,并分析了基于此风格的规范进程设计方法,以及将此进程应 用于系统实现的方法。该风格适合于描述分层的、内部模型具有相似结构的分布式系统。

从E-LOTOS到图形E-LOTOS的一个编辑和自动转换的编译软件

Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版．本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法，称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）．然后利用面向对象程序设计语言Ｊａｖａ 开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件．该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来．

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

LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。该文对基于LOTOS的形式描述规范的实现方法进行了研究,包括目标实现环境的特点、实现中的空白因素、抽象模型到实现模型的转换、规范的最终目标实现,并对如何将LOTOS规范转换为C、C++语言实现进行了探讨。

形式描述技术:直观LOTOS的提出和研究

计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组织ISO/TC97/SC21/WG1关于FDT特别小组提出的。本文在研究了标准LOTOS的基础上,对其进程语法表示方法进行了重大改进,提出直观LOTOS的概念。

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

在复杂系统的设计流程中,每个设计阶段都要制定标准的设计方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能否实现一个特定功能分离开来。提出了渐进细化的概念,并将其应用于互斥访问系统中,同时用LOTOS规范进行描述。

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

分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用于AB服务和协议的描述.

基于像素法的Lotos亚属睡莲叶面积回归方程

为寻求便捷地测定Lotos亚属睡莲叶面积的方法,以柔毛齿叶睡莲不同发育时期的叶片为材料,采用直尺测量和数码相机拍照采集原始数据,运用Photoshop软件测定叶面积,建立其叶长、叶宽及叶长×叶宽与叶面积的回归方程,并进行检验及筛选。结果表明:Lotos亚属睡莲叶片形状和尺寸随叶序有较大变化,但叶长、叶宽、叶长×叶宽与叶面积之间均具有极显著的相关性;叶长×叶宽对叶面积的线性方程拟合效果最好,叶宽的二次、三次方程次之,叶长的二次、三次、四次方程再稍次。这6个方程均可较好准确地测算Lotos亚属睡莲,且相互之间无显著差异。

一种有效的形式描述技术:GE-LOTOS

利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所有子过程动态展开 .而且为了方便用户 ,满足工业界和其它领域的要求 ,给出了一个从 GE-LOTOS到 E-LOTOS描述的一个算法 .

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

LOTOS(LanguageofTemporalOrderingSpecification)是一种基于进程代数CCS的协议描述语言.这里提出LO TOS的实时扩展ET LOTOS,是TimedLOTOS的增强版.它增加了时间控制的操作器,对LOTOS的操作语义进行了实时的扩充,支持定量时间的观点,提高了形式方法的表达力.

图形E-LOTOS的一个编辑软件和执行算法

给出了图形Ｅ－ＬＯＴＯＳ编辑软件的主要组成和特点，同时提出了图形Ｅ－ＬＯＴＯＳ的一种执行算法．试图为今后的系统设计、验证、执行和测试工作提供一个良好的环境．

执行LOTOS形式说明的编译器支持

LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体，抽象实体与实际实体都有效地作用于环境，并且允许环境影响说明特性。本篇文章描述了由LOTOS转向C或Ada代码的TOPO鳊译器。

OSI环境传输层协议的LOTOS描述

本文主要阐述计算机网络OSI环境中传输层协议的LOTOS语言描述，主要介绍了结构说明和静态结构、动态结构；传输连接的标识和规程；TPDUs和NSP与TSPs和TPDUs间的关系；传输连接的释放；显式流控；失败后重新分配和差错恢复；重新同步等。

LOTOS国内最大专柜落户杭州大光明眼艺圈

近日，GBV大光明眼镜眼艺圈视觉会所特邀德国百年珠宝眼镜品牌LOTOS在美丽的西子湖畔呈献了一场百万手工珠宝品鉴会，来自全国各地的眼镜爱好者、收藏家和鉴赏家共襄名品盛事。

关于LOTOS并发操作符行为特性的探讨

LOTOS是ISO制定的描述并发通信系统的标准化形式语言。并发组合操作符行为特征复杂,虽然给出了语义,但在编写及分析LOTOS规格说明文件时,仍然容易混淆。本人对并发操作符的可结合,可交换,多路同步,隐藏等机制进行分析和探讨。有助于LOTOS的学习者理解并发行为的本质,提高编写和分析LOTOS规格说明文档的能力。

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

基于ＬＯＴＯＳ规范语言，文章从系统功能规范出发，结合实际系统的分布特性，推导出符合实际系统结构的模块化规范的转换方法．用标注的完全ＬＯＴＯＳ语言规范表达复杂的系统分布特性，研究了使用广播通信方式进行协同的。

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

分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真等分布交互系统。