形式化CHAM语言的软件设计辅助工具

Software Design Assistant-Tool of Formalization CHAM Language

化学抽象机（Chemical Abstract Machine）是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型。它借用化学反应的隐喻，通过化学中分子和化学反应的概念和抽象机模型的特点来描述系统状态的动态变化，但复杂的形式和缺乏工具支持限制了它的使用。本文以上知识的基础上编写的一款CHAM化学抽象机形式化语言书写支持工具，用来支持CHAM的设计工具。本文对工具的界面和程序和功能进行介绍，在此基础上，分析此工具的优缺点，并给出改进的方法和方向。

Chemical Abstract Machine designed by Berry and Boudol in 1990 was used for asynchronous parallel computing,which borrows the metaphor of chemical reactions.The CHAM model dvscript the system changes though molecular and chemical reactions inthe concept and characteristics of the abstract machine model.But the complexity and lack of tool support in the form of restricted its use.On the basis of knowledge of chemical abstract machine.We design a writing support tools using formalization CHAM language to support the CHAM language.In this paper, interfaces and functions will be introduced in this paper.Then,the analysis of advantages and disadvantages of this tool will be introduced,and give an improved method and direction at last.