| 分布实现完全LOTOS规范的转换方法 |
| |
| 引用本文： | 谢 冰,陈火旺,王兵山. 分布实现完全LOTOS规范的转换方法[J]. 软件学报, 1999, 10(6): 642-646 |
| |
| 作者姓名： | 谢 冰 陈火旺 王兵山 |
| |
| 作者单位： | 长沙工学院计算机科学系,长沙,410073;长沙工学院计算机科学系,长沙,410073;长沙工学院计算机科学系,长沙,410073 |
| |
| 基金项目： | 本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
| |
| 摘 要： | 基于LOTOS规范语言,文章从系统功能规范出发,结合实际系统的分布特性,推导出符合实际系统结构的模块化规范的转换方法.用标注的完全LOTOS语言规范表达复杂的系统分布特性,研究了使用广播通信方式进行协同的、直接处理多模块划分的规范分解算法.
|
| 关 键 词： | 分布式系统 进程代数 LOTOS规范语言 规范分解. |
| 收稿时间： | 1998-01-16 |
| 修稿时间： | 1998-07-08 |
Decomposition Transformation for the Distributed Implementation of Full LOTOS Specification |
| |
| XIE Bing,CHEN Huo-wang and WANG Bing-shan. Decomposition Transformation for the Distributed Implementation of Full LOTOS Specification[J]. Journal of Software, 1999, 10(6): 642-646 |
| |
| Authors: | XIE Bing CHEN Huo-wang WANG Bing-shan |
| |
| Affiliation: | Department of Computer ScienceChangsha Institute of TechnologyChangsha410073 |
| |
| Abstract: | In this paper, based on the LOTOS specification language, the authors present the transformation which starts from the functional specification and the distributed properties of target system to the corresponding modular specification. The authors present the tagged specification to represent the complex distributed properties of the full LOTOS specifications and study the decomposition transformation of full LOTOS specification which using the broadcasting communication gates in the system's internal coordinating communications and directly decomposing the multiple subsets. |
| |
| Keywords: | Distributed system process algebra LOTOS specification specification decomposition. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
