| 摘要: |
| 根据MHSC(methodology for high-level specification construction)方法论,提出一种 支持可执行定义的进化式软件开发模型MHSC/DM(MHSC/development model).详细介绍了模型 的各组成角色及其相互关系,并对变换类型、系统生成与配置以及系统结构进行了论述.此模 型较好地实现了从需求到原型系统的进化式开发的自动支持和一致性保证. |
| 关键词: 可执行定义 变换 进化 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(69703005);浙江省自然科学基金资 助项目(697006) |
|
| An Evolutionary Development Model Supporting Executable Specification |
|
WU Ming-hui,YING Jing,HE Zhi-jun
|
| Abstract: |
| In this paper, an evolutionary development mo del MHSC/DM (methodology for high-level specification construction) is proposed based on MHSC, which supports the executable specification, and the composing r oles and their interrelations are illustrated. This paper addresses the transfor mation classification, system generation and configuration, and architecture of the model. The development model can be used to support automatic generation of prototype system quite well from requirements through evolution and can keep sys tem consistent. |
| Key words: executable specification transformation evolution |
