On the basis of this method,an automatic transformatiOn system isdesigned. The system accepts specification written in ASL and the specification is transferredinto executable PROLOG programs through transformation rules.

• 在这种方法的基础上设计了一个自动转换系统，该系统接受ASL语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的PROLOG语言程序。