特征设计的形式化描述

摘要

Benefiting from advances in feature-based design in design can not be expected before a formal methodology is established.This paper makes attempt to establish a domain-independent description formalism for feature-based design from two aspects:formalized definition and design process description. A formal definition and implementation scheme of feature-based design including feature taxonomy,feature operator,feature model validation and feature transformation are presented in the paper. The operational and processive representations of feature-based design process are described respectively. A framework of feature-based design algorithm is outlined correspondingly. The proposed scheme contributes to several aspects of feature-based design research,especially to provides elementarily a formal methodology for feature-based design system development and operation in a structural way.%特征设计方法在设计中的成功应用取决于其形式化设计理论的建立。文章从形式化定义和设计过程描述这两个方面研究了特征设计的形式化描述方法。文中提出了特征定义、特征表示的形式化方法，探讨了特征设计过程的操作性和过程性描述，并给出了相应的设计算法。为解决特征设计系统开发和运行缺乏统一方法学这一课题作了有益的尝试。