JACKSON程序规格说明到过程蓝图的映射

摘要

本文在ＪＡＣＫＳＯＮ程序规格说明和过程蓝图的形式化定义基础上，给出了从ＪＡＣＫＳＯＮ程序规格说明出发，导出过程蓝图的转换映射方法。使用过程蓝图取代结构文本作为ＪＡＣＫＳＯＮ程序规格说明和最终目标源代码的中间表示，改进了传统ＪＡＣＫＳＯＮ结构化程序设计方法。