LOTOS语言相关论文
基于ＬＯＴＯＳ规范语言，文章从系统功能规范出发，结合实际系统的分布特性，指导出符合实际 模块化规范的转换方法，用标注的完全ＬＯＴＯＳ语言规范表达复杂......
<正>分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真......
1 引言传统需求工程应用于分布式系统开发的一个主要缺点是:传统需求工程中的每一个过程里只能有一个全局规格.这一点与实际的分布......
Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强，Ｐｅｔｒｉ网是分析系统的有效工具，本文提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转网方法，并提出南非进一步考虑的问题。......
ＬＯＴＯＳ是一种基于进程代数ＣＣＳ的协议规范语言，面向协议验证，但它不能描述协议的某些性质。本文提出了一种ＬＯＴＯＳ的扩充语言ＥＬＯＴＯＳ，它在ＬＯＴＯＳ的基础上引入了异步通......
本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍,较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述,给出......
