LOTOS语言

作品数：9被引量：17H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈火旺何炎祥宋强吴建平史美林更多>>
相关机构：长沙工学院武汉大学清华大学复旦大学更多>>
相关期刊：《通信技术》《内蒙古大学学报（自然科学版）》《计算机工程与设计》《计算机与信息处理标准化》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多视点需求工程的模型研究被引量：7
《计算机科学》2001年第2期44-47,共4页何炎祥 宋强 
国家教育部重点项目资助;武汉大学自强科技创新基金
1 引言 传统需求工程应用于分布式系统开发的一个主要缺点是:传统需求工程中的每一个过程里只能有一个全局规格.这一点与实际的分布式系统的特点很不相符.大规模的分布式系统的开发必然会涉及到许多人员,这些人员由于各自目的和职责不同...
关键词：多视点需求工程 软件工程 LOTOS语言 Z语言 
分布实现完全LOTOS规范的转换方法
《软件学报》1999年第6期642-646,共5页谢冰 陈火旺 王兵山 
国家自然科学基金;国家863高科技项目基金
基于ＬＯＴＯＳ规范语言，文章从系统功能规范出发，结合实际系统的分布特性，推导出符合实际系统结构的模块化规范的转换方法．用标注的完全ＬＯＴＯＳ语言规范表达复杂的系统分布特性，研究了使用广播通信方式进行协同的。
关键词：进程代数 LOTOS语言 规范分解 通信协议 
从增强的LOTOS(E-LOTOS)说明到Petri网的转换
《内蒙古大学学报（自然科学版）》1998年第2期264-271,共8页李华 曹军 陈月惠 石立新 李文 
国家自然科学基金
Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强，Ｐｅｔｒｉ网是分析系统的有效工具，本文提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转换方法。
关键词：LOTOS语言 E-LOTOS语言 PETRI网 
分布式系统的LOTOS规范及其实现
《计算机科学》1998年第1期72-76,共5页谢冰 张晨东 陈火旺 
分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真等分布交互系统。
关键词：分布式系统 LOTOS语言 规范语言 分布式计算机 
协议形式化开发环境的规范语言被引量：5
《软件学报》1997年第11期817-823,共7页罗铁庚 陈火旺 齐治昌 龚正虎 
国家自然科学基金;国家863高科技项目
LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制...
关键词：协议规范语言 协议形式化 LOTOS语言 计算机网络 
LOTOS语言介绍
《计算机与信息处理标准化》1996年第3期19-44,共26页李伟 
本文简单介绍了形式描述技术（ＦＤＴ）的特点，对ＬＯＴＯＳ语言进行了指导性介绍。
关键词：LOTOS语言 形式描述技术 信息处理 
协议的形式描述与自动实现被引量：5
《通信技术》1994年第3期1-10,共10页杨家海 吴建平 史美林 
协议描述的形式化是协议研究和发展的趋势．本文在简单回顾协议描述的内容和目的之后，着重总结了两个国际性的标准组织ISO和CCITT在协议形式描述方面所进行的工作，对其形式描述语言（ISO的Es－telle和LOTOS语言及CCITT的SDL语言）的...
关键词：协议 形式描述 LOTOS语言 计算机网络 数据通信 
ISO形式描述语言LOTOS
《中国计算机用户》1990年第9期28-31,共4页闵京华 
关键词：ISO LOTOS语言 形式描述语言 
ISO/OSI会话层标准的形式化描述和开发被引量：1
《计算机工程与设计》1989年第5期30-39,共10页沈立涛 
本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍,较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述,给出了其结构模型及一些重要的模块结构描述。
关键词：会话层标准 形式化描述 LOTOS语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部