工兵团装备保障工作流模型建立与验证

《工兵团装备保障工作流模型建立与验证》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、国防科学技术大学硕士学位论文工兵团装备保障工作流模型建立与验证姓名：张晓旭申请学位级别：硕士专业：项目管理指导教师：廖良才20090501国防科学技术大学研究生院一1．：程硕十学位论文摘要“管装就是管胜利，爱装就是爱生命”。随着我军现代化发展，装备管理工作日益突显出其重要的地位。近年来，我国研制和交付了一大批新型武器装备；这些新装备科技含量有很大提高，技术成分复杂，造价昂贵，对管理和使用提出了很高的要求。尤其是对于我军应对信息化条件下多种安全威胁，完成多样化任务的装备保障能力提出了新的更高的要求。在这样的背景下，我们迫切需要适应

2、信息化发展，建立装备保障的新模式。在这个过程中装备保障工作流研究是非常关键的环节。而装备保障工作流建模更是其中具有决定意义的活动之一，可以用来优化装备保障过程、创新保障模式；也是装备保障信息化建设的顶层研究，事关装备保障的效益和信息化水平。抽象装备保障工作流模型，是实现工作流管理的前提，是完善保障机制的重要举措，符合军队发展的需要。本文在对工兵团装备保障业务过程所包括的实力管理、勤务管理、维修管理、维修器材管理、设施设备管理、人员管理、军械管理、数据库管理、消息管理、标准管理和系统维护、辅助决策、效能评估、革新管理、知识管理等方

3、面的分析和研究基础之上，综合运用了系统工程理论、项目管理思想和工作流建模技术，针对工兵团装备保障工作流管理的特点，考虑工兵团装备保障对团队组织的高度依赖性，建立了基于UML的工兵团装备保障工作流模型。主要通过UML的动态图来建模，用用例图描述装备保障过程需求分析；用行为图描述了装备保障业务过程间的状态转换；用交互图描述模型之间的消息传递机制。以装备维修保障为具体实例，在前面建模的基础上，采用SPIN对模型进行验证；分析UML的工作流模型的XML文件，按照规则转化(映射)成Promela的代码；再把Promela的代码输入SPIN

4、，设置参数进行模型验证。最后总结了全文，展望了工作流的分布式建模以及模型细化和精化、工作流建模中的意外处理、一个新的工作流模型验证思路以及模型验证的自动化问题。本文首次把UML模型和装备保障业务流程紧密结合，建立了工兵团装备保障工作流模型，并验证了所建模型。为适应任务使命牵引，创立装备保障新模式，做了非常必要的工作，促进了装备保障的信息化、高效化和决策的科学化。主题词：装备保障面向对象UML工作流模型建模SPIN验证第i页国防科学技术大学研究生院-L程硕十学位论文ABSTRACT“Managementofequipmentism

5、anagementofvictory，loveequipmentislovelire．”Withthemodernizationdevelopmentofourmilitary，themanagementiSfacinghigherrequirements．Inrecentyears，alargenumberofnewweaponsandequipmenthavebeendevelopedanddelivered．Scientificandtechnologicalcontentofnewequipmenthasgreatlyi

6、mproved．Atthesanletimethetechnicalcomponentiscomplexandcostly．Therearehighdemandstomanageanduse．Especiallyforourmilitarytoprovideequipmentsupportcapabilitytodealwithavarietyofsecuritythreats，tocompletethediversifiedtaskswiththeinformation—basedconditions．Ithassetnewa

7、ndhigherrequirements．Againstsuchabackground，weurgentlyneedtoadapttoinformationtechnologydevelopment，buildingthenewmodelofequipmentsupport．Theequipmentsupportworkflowresearchisoneofthekeyaspectsoftheprocess．BuildingequipmentsupportworkflowmodeliSoneofthedecisiveofthea

8、ctivities，Canbeusedtooptimizetheequipmentsupportprocess，innovatesupportmodel．Alsoisthetop’levelresearchofequipmentsupportinformatio