基于特征模型和特征形式化规格说明的产品派生方法

摘要

本发明公开了一种基于特征模型和特征形式化规格说明的产品派生方法，首先根据用户需求从特征模型中选择派生特定产品的特征，确定特征融合顺序。然后融合特征形式化规格说明的声明部分，同时利用功能场景表示每个特征的行为，生成功能场景路径。最后按照特征融合顺序，以特征两两融合的方式，对特征的功能场景路径进行匹配，将每对特征形式化规格说明进行融合，直到得出完整产品的形式化规格说明。通过结合结构化面向对象的形式化语言(Structured Object‑Oriented Formal Language,SOFL)描述每个特征的具体行为，以及结合特征模型生成特征融合序列，以特征对形式进行特征形式化规格说明的行为保持融合，使派生得到的产品有详细描述，从而进一步提高派生产品的质量。