摘要
基于LOTOS规范语言,文章从系统功能规范出发,结合实际系统的分布特性,推导出符合实际系统结构的模块化规范的转换方法.用标注的完全LOTOS语言规范表达复杂的系统分布特性,研究了使用广播通信方式进行协同的。
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.
出处
《软件学报》
EI
CSCD
北大核心
1999年第6期642-646,共5页
Journal of Software
基金
国家自然科学基金
国家863高科技项目基金
关键词
进程代数
LOTOS语言
规范分解
通信协议
Distributed system, process algebra, LOTOS specification, specification decomposition.