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

2008年 l0月 北 京 航 空 航 天 大 学 学 报 0ctober 2008 第34卷 第10期 JournalofBeijingUniversityofAeronauticsandAstronautics Vo1．34 No．10 面 向开发过程的产 品结构形式化建模 孙 飞 唐晓青 段桂江 (北京航空航天大学 机械工程及 自动化学院，北京 100191) 摘 要：为满足开发过程产品结构数据的动态结构配置、动态任务协作、动态 目标求 解、动态状态跟踪等应用需要，在对开发过程产 品结构属性及其相互关系进行分析的基础上， 提 出了一种面向开发过程应用的产品结构形式化模型．结合产 品开发活动的时域行为特征 ，给 出了产品结构的时域定义，并以此为基础构建 了产 品结构模型的时域扩展定义．通过分析产品 状态与开发任务时域行为的映射关系，在产品结构时域扩展定义的基础上，提出了基于时间截 面的开发过程产 品结构状态追踪方案及算法 ，并通过模拟产 品对象在开发过程中的状态变迁 过程，验证 了模 型及相关应用方案的实用性和有效性． 关 键 词：产品开发过程；产品结构模型；形式化建模 ；时间截面 中图分类号 ：TP391；TH 166 文献标识码 ：A 文 章 编 号 ：1001—5965(2008)10—1222—06 Productstructureformalmodelinginproductdevelopment SunFei TangXiaoqing DuanGuijiang (SchoolofMechanicalEngineeringandAutomation，BeijingUniversityofAeronauticsandAstronautics，Beijing100191，China) Abstract：Basedontheanalysisofproductstructurepropertiesandtheirrelationshipsthroughoutproduct developingprocess，aformalproductstructuremodelwasproposedtosatisfyapplicationrequirementsofdy— namiestructureconfiguration，dynamictaskscollaboration，dynamicobjectivessolutionanddynamicstate tracking．Consideringtheperformanceandcharacteristicsofproductdevelopingactivitiesintimedomain，time domaindefinitionofproductstructurewaspresentedonthebasisofwhichtheproductstructuremodelextend— ed intimedomainwasestablished．Byanalyzingthemappingrelationshipbetweenproductstateandtimedo— mainperformanceofproductdevelopingactivities，productstatetracingschemeandrelated arithmeticbased ontimesectionwereprovided，whichwouldplayan importantpartduringtheprocessofputtingtheproduct structuremodelintopractice．Finally，practicabilityandvalidityoftheformalproductstructuremodelandits relatedtheoreticsweredemonstratedbysimulatingaproductstatetracinginstance． Keywords：productdevelopi