模型开发方法及其原型工具系统mtool

本文根据作者近年来研讨软件开发方法的工作和开发软件工具的经验,总结了模型开发方法,提出了模型方法的支持工具mtool,文章归纳了模型方法的开发过程和描述手段,详细介绍了mtool的组成和工作过程,给出了模型描述语言msl的主要文法内容,讨论了mtool的设计思想和有关实现技术。