首页> 中文期刊> 《软件学报》 >分布实现完全LOTOS规范的转换方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |1999年第6期|642|共1页
作者
谢冰; 陈火旺; 王兵山;
展开▼
作者单位

长沙工学院计算机科学系;

长沙工学院计算机科学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
进程代数; LOTOS语言; 规范分解; 通信协议;

相似文献

中文文献
外文文献
专利

1. 分布式系统的LOTOS规范及其实现 [J] . 谢冰 ,张晨东 . 计算机科学 . 1998,第001期
2. 基于LOTOS形式规范的目标实现 [J] . 王继曾 ,张键 . 计算机工程 . 2005,第012期
3. 基于ALE规范的分布式RFID中间件研究与实现 [J] . 应俊 ,王社周 ,吉福生 . 计算机应用与软件 . 2016,第007期
4. 基于角色的分布式策略管理规范的设计与实现 [J] . 李庆海 ,张德运 ,段中兴 . 西安交通大学学报 . 2004,第006期
5. 分布式系统管理策略的规范说明与实现模型 [J] . 房鼎益 ,华庆一 . 小型微型计算机系统 . 1998,第004期
6. LOTOS语言及其在通信协议的规范中的应用 [C] . 彭汉伟 . 首届青年计算机开发应用和计算机仿真学术会 . 1987
7. 基于完全分布式P2P网络的哨位管理系统设计与实现 [A] . 刘威 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号