软件开发中的海洋模型

提出了软件开发的海洋模型，讨论了如何将软件开发的一般模型与海洋模型相结合，给出了一个海洋模型实现的实例－Ｈａｉｙａｎｇ系统，用ＳＯＫＭ／Ｌ语言对海洋模型进行了描述。