[发明专利]无需修改现有代码即可增加新软件特征的方法

权利要求书

1.一种无需修改现有代码即可添加新软件特征和开发彼此独立而无论其是否交互作用的库组件的方法，所述方法包括：

(A)开发应用模型；

(B)根据所述模型开发锚特征，每个锚特征至少包含一个程序单元；

(C)确定在开发的每个新锚特征至少一部分新程序单元是否与所述新锚特征的以前完成的程序单元交互作用；

(D)解决所述新锚特征的所述程序单元之间的所有交互作用；

(E)根据所述模型开发附加特征和至少一个锚特征，每个附加特征包含至少一个程序单元；

(F)确定在开发的每个新附加特征至少一部分新程序单元是否与所述新附加特征以前完成的程序单元交互作用，并解决所述新附加特征的所有程序单元之间的交互作用；

(G)选择特征程序包的特征，所述特征程序包中的每种所述特征包含一组锚特征和一组附加特征；

(H)确定所述特征程序包的各功能是否交互作用；以及

(I)解决所述特征程序包的所述特征之间的交互作用。

2.如权利要求1所述的方法，其特征在于：

所述模型包括域变量和事件接口；

每个事件接口定义事件类型集，每个事件类型具有唯一的名称和为了限制而采用的具有限定字段的数据结构；

所述域变量彼此无关并且是包括组合函数的布尔或域数据类型；

所述特征程序包中的每种特征仅引用所述模型且包括程序单元；

每个程序单元仅引用所述模型并包含条件部分，所述条件部分包括条件语句和事件语句及在所述条件语句为真时执行的主体部分。

3.如权利要求2所述的方法，其特征在于还包括，除非其条件部分为真的多个程序单元还具有程序员以前定义的优先顺序关系，否则，一次最多只允许有一个程序单元具有真条件部分。

4.如权利要求2所述的方法，其特征在于还包括，只允许所述程序体部分的原子执行，其中，从当前程序体发送的事件保持在队列中，并且只有在当前程序体部分退出后，才可使用所述域变量的最新值评估另一程序单元的所述条件部分。

5.如权利要求2所述的方法，其特征在于还包括自动检查：

相对于所述域变量的初始值，属于所述一个锚特征的至少一个程序单元的所述条件部分是否为真；

每个附加特征识别至少一个锚特征，并且所述附加特征的至少一个程序单元与所述附加特征引用的每个锚特征的一个程序单元交互作用；以及

所述特征程序包包括所述特征程序包中的一系列特征，所述特征程序包中的所有特征引用所述特征程序包中的至少一个所述锚特征。

6.如权利要求2所述的方法，其特征在于还包括，使程序单元集与所述程序单元集中程序单元之间优先顺序关系的优先顺序列表等效。

7.如权利要求1所述的方法，其特征在于还包括，在所述特征程序包中的两种特征传递性地彼此包含或者两个特征程序包传递性地彼此包含时检查循环包含。

8.如权利要求2所述的方法，其特征在于还包括，通过将交互作用的特征和交互作用的程序单元之一置于优先顺序列表中，解决特征组中各特征之间的交互作用。

9.如权利要求8所述的方法，其特征在于还包括，解决多个交互作用的程序单元之间的交互作用。

10.如权利要求2所述的方法，其特征在于还包括，通过将新元素添加到所述现有域变量的现有定义中或者扩展所述域变量或限定条件的现有值范围，扩展现有模型中现有域变量或接口事件的定义。

11.如权利要求10所述的方法，其特征在于还包括，扩展所述定义而无需删除现有元素或缩小所述现有值范围。

12.如权利要求10所述的方法，其特征在于还包括，扩展所述现有模型以包括在所述现有模型中定义的所有域变量和接口事件以形成扩展模型。

13.如权利要求12所述的方法，其特征在于还包括，重用所述扩展模型的特征程序包中现有模型的特征。

14.如权利要求13所述的方法，其特征在于还包括，将所述重用特征包括在所述扩展模型的特征程序包中的特征列表中。

15.如权利要求14所述的方法，其特征在于还包括，保持所述重用特征的程序单元之间的优先顺序关系。