期刊文献+

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

Decomposition Transformation for the Distributed Implementation of Full LOTOS Specification
下载PDF
导出
摘要 基于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.
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部