面向开发过程的产品结构形式化建模

作     者：孙飞 唐晓青 段桂江 Sun Fei;Tang Xiaoqing;Duan Guijiang

作者机构：北京航空航天大学机械工程及自动化学院北京100191 

出 版 物：《北京航空航天大学学报》 (Journal of Beijing University of Aeronautics and Astronautics)

年 卷 期：2008年第34卷第10期

页      面：1222-1227页

核心收录：

学科分类：081203[工学-计算机应用技术] 08[工学] 080202[工学-机械电子工程] 0802[工学-机械工程] 0835[工学-软件工程] 0825[工学-航空宇航科学与技术] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家高技术研究发展计划(863计划)资助项目(2003AA413040) 北京航空航天大学博士研究生创新基金资助项目 

主　　题：产品开发过程 产品结构模型 形式化建模 时间截面 

摘      要：为满足开发过程产品结构数据的动态结构配置、动态任务协作、动态目标求解、动态状态跟踪等应用需要,在对开发过程产品结构属性及其相互关系进行分析的基础上,提出了一种面向开发过程应用的产品结构形式化模型.结合产品开发活动的时域行为特征,给出了产品结构的时域定义,并以此为基础构建了产品结构模型的时域扩展定义.通过分析产品状态与开发任务时域行为的映射关系,在产品结构时域扩展定义的基础上,提出了基于时间截面的开发过程产品结构状态追踪方案及算法,并通过模拟产品对象在开发过程中的状态变迁过程,验证了模型及相关应用方案的实用性和有效性.