论文部分内容阅读
该文着重研究由COOZ设计规约到可执行代码的转换技术,目标是集各家所长,在分析COOZ规约的基础上提出合适的技术,并开发出现COOZ规约编辑工具高度集成的转换工具,通过机器辅助技术实现从软件规约到应用程序代码的转换.该文首先介绍了COOZ中的一些重要的概念和表示法,以及现有的COOZ规约编辑工具;然后讨论了基于COOZ的求精技术:通过COOZ设计规约到C++的框架转换、规约语句的操作精华、抽象数据类型的转换及代码生成这几个步骤得到C++源程序代码;最后详细介绍了转换系统的设计与实现.