| 摘要: |
| 基于LOTOS规范语言,文章从系统功能规范出发,结合实际系统的分布特性,推导出符合实际系统结构的模块化规范的转换方法.用标注的完全LOTOS语言规范表达复杂的系统分布特性,研究了使用广播通信方式进行协同的、直接处理多模块划分的规范分解算法. |
| 关键词: 分布式系统,进程代数,LOTOS规范语言,规范分解. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
|
| Decomposition Transformation for the Distributed Implementation of Full LOTOS Specification |
|
XIE Bing,CHEN Huo-wang,WANG Bing-shan
|
| 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. |
| Key words: Distributed system, process algebra, LOTOS specification, specification decomposition. |
