|
|||||
|
|
| 分布实现完全LOTOS规范的转换方法 | |
| 作者姓名： | 谢冰 陈火旺 王兵山 |
| 作者单位： | 长沙工学院计算机科学系,长沙,410073;长沙工学院计算机科学系,长沙,410073;长沙工学院计算机科学系,长沙,410073 |
| 基金项目： | 本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
| 摘 要： | 基于LOTOS规范语言,文章从系统功能规范出发,结合实际系统的分布特性,推导出符合实际系统结构的模块化规范的转换方法.用标注的完全LOTOS语言规范表达复杂的系统分布特性,研究了使用广播通信方式进行协同的、直接处理多模块划分的规范分解算法. |
| 关 键 词： | 分布式系统 进程代数 LOTOS规范语言 规范分解. |
| 收稿时间： | 1998-01-16 |
| 修稿时间： | 1998-07-08 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |