论文部分内容阅读
根据ＭＨＳＣ（ｍｅｔｈｏｄｏｌｏｇｙ ｆｏｒ ｈｉｇｈ－ｌｅｖｅｌ ｓｐｅｃｉｆｉｃａｔｉｏｎ ｃｏｎｓｔｒｕｃｔｉｏｎ）方法论，提出一种支持可执行定义的进化式软件开发模型ＭＨＳＣ／ＤＭ（ＭＨＳＣ／ｄｅｖｅｌｏｐｍｅｎｔ ｍｏｄｅｌ）。详细介绍了模型的各组成角色及其相互关系，并对变换类型、系统生成与配置以及系统结构进行了论述。此模型较好地实现了从需求到原型系统的进化式开发的自动支持和一致性保证。