基于任务单元模型的研发流程验证

《基于任务单元模型的研发流程验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、第43卷第3期2013年5月航空计算技术AemnauticalComputingTechIliqueV01．43No．3May．2013基于任务单元模型的研发流程验证丁明，张军，朱沧，张昕(中航工业西安航空计算技术研究所，陕西西安710119)摘要：为了解决研发流程设计与需求的不一致性问题，提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法。方法应用任务单元模型分解研发流程，采用Pr哪ela语言描述模型，线性时序逻辑表示抽象的研发过程规则，通过模型检测器SpiIl完成验证工作，从而实现了对流程正确性的判断。关键词：研发流程；任务单元模型；

2、模型检测；线性时序逻辑中图分类号：哪!1文献标识码：A文章编号：1671．654x(2013)03-0089一03ve曲c娟onofRe鼢rclIandDevelopmentProc麟Based佃’‰kUnitModelDINGMing，ZHANGJun，ZHUCaJlg，ZHANGXin(瓜’口nAeroM以缸Cb唧撕昭Z砒n幻w如∞以胁t如姚，A啪，瓜’口n710119，吼iM)A换舡锄ct：Toresolvemeinconsistencybe伽eenresearchanddevelopmentprocessdesignaIldrequire

3、—ments，anoVelmetllodispropo跎d，whichisb鹪edont硒kunitmodel明dlineartempomllogic．Intllismet}lod，t鹊kunitmodelisemployedtoresolveresearchanddevelopIIlentprocess，promelaisusedt0de—scribet}lemodel，line盯temporallogicisdesignedtogivetlleabstr丑ctdescriptionof出eresearch粕dde—Velopmentproce

4、ssmle，spinII瑚elcheckerpresentstlleveri6cationresults，tllenitcandete眦inetllecor-rectIlessoft}leprocess．Keywords：research锄ddeVelopmentprocess；taskunitmodel；modelchecking；line盯tempo阳llo西c引言电子产品的研发是复杂的系统工程¨‘2J，其过程涉及大量的开发任务，需要众多学科的设计人员进行协同工作。要达到研发目标，先进的研发方法、研发工具、研发流程支持必不可少，有效的资源配置

5、、质量保证等管理支持也不可或缺。因此，具备良好研发流程管理的集成研发平台∞J，为复杂产品研发成功提供了有效的保障。在平台实施过程中，针对众多产品型号需设计大量的研发流程，同时由于复杂的业务规则，每个流程具有多任务节点、多任务路径、多流转规则等特点。采用人工测试的方法无法进行有效的测试，存在工作量大，测试效率低，覆盖流程全路径难等缺点。因此，如何保证研发流程的正确性、合理性，建立自动化的研发流程模型验证方法，成为当下关注的热点和难点，也将作为本文研究的重点。本文通过对复杂产品研制过程工作分解、模型验证等技术研究，提出了基于任务单元模型的研发流程验证

6、方法。首先将研发过程分解为多个具有交互关系的任务单元，并将其转化为Pmmela(Pm眦oL／ProcessMetaLanguage，协议／过程元语言)语言描述。其次将需求规则以线性时序逻辑抽象表示。最后通过模型检测工具进行验证，判断模型是否符合需求规则，为准确实现研发流程提供了保证。1任务单元模型通过将项目管理与流程管理融合为一体，建立高效的任务流程一体化管理系统，为高效的研发项目管理提供了有效的信息化支持。其中，依据研发过程中技术要求和人员分工等信息可将研发流程分解为多个任务单元，并建立相应的模型。任务单元模型包括输Ⅳ输出表、任务属性(基本属性

7、、时间属性、动态属性、扩展属性)、前／后序任务项索引、任务约束以及任务负责人员信息，是建立项目流程紧密集成的基础。任务单元模型由任务单元和任务单元之间关系两个主要对象组成，用xML表示，可通过接口程序转化为工作流描述，提供给流程引擎执行。任务单元定义为，其包括ID(编号)、N锄e(名称)、收稿日期：2013一04—03基金项目：国家自然科学基金项目资助(61172147)作者简介：丁明(1982一)，男，内蒙古鄂尔多斯人，助理工程师，硕士，主要研究方向为息化技术、形式化验证。航空计算技术第43卷第3期Decs(描述)等属性，以及

8、输入、输出<0utput>、应用规范、应用知识、负责人、等子对象。任务单元