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

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

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描述风格,即面向宏的规范风格,并分析了基于此风格的规范进程设计方法,以及将此进程应 用于系统实现的方法。该风格适合于描述分层的、内部模型具有相似结构的分布式系统。

基于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亚属睡莲,且相互之间无显著差异。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。

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

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．

基于LOTOS对象模型的并发形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。

LOTOS事件结构语义模型的实现

本文以LOTOS为基础,简介了LOTOS进程代数的概念和算子。同时,以事件结构作为进程代数的语义模型,充分展示了形式化方法是如何对一个复杂系统进行静态或动态刻画。本文最后以上述理论为基础,开发出一款辅助软件工具。该软件具有两方面的用途:一是能对给定的一个LOTOS语言层次上的系统刻画,自动生成结构层次上的系统模型;二是进行等价性模型检测。此工具将形式化方法的推理过程可视化、实用化。