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

Decomposition Transformation for the Distributed Implementation of Full LOTOS Specification

作　　者：谢冰[1] 陈火旺[1] 王兵山[1] 

机构地区：[1]长沙工学院计算机科学系

出　　处：《软件学报》1999年第6期642-646,共5页Journal of Software

基　　金：国家自然科学基金;国家863高科技项目基金

摘　　要：基于ＬＯＴＯＳ规范语言，文章从系统功能规范出发，结合实际系统的分布特性，推导出符合实际系统结构的模块化规范的转换方法．用标注的完全ＬＯＴＯＳ语言规范表达复杂的系统分布特性，研究了使用广播通信方式进行协同的。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.

关 键 词：进程代数 LOTOS语言 规范分解 通信协议 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]