采用更新的自动开发方法

摘要

本发明涉及一种具有更新的自动开发方法，由利用变换规则的几个设计步骤组成，可以从一个步骤到另一个步骤。本发明的特征在于将具有元素的至少一个可追溯性链接与在设计过程中自动生成的每个模型元素相关联，所述链接基于其依照变换规则所发源的元素。

主权项

1.一种利用变换规则的自动开发方法，可以利用更新来从一个模型到另一个模型，依照所述方法，通过生成分析文档、继而生成设计文档，并且最后通过生成根据设计步骤所产生的程序，来构造符合问题规约的解决方案规约，其特征在于将具有元素集的至少一个可追溯性链接与每个自动生成的模型元素相关联，所述可追溯性链接依照变换规则根据元素集发源，并且意在允许在开发期间手动引入新的信息。