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

摘要

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