基于Alloy语言的指挥信息系统服务组合验证技术研究

《基于Alloy语言的指挥信息系统服务组合验证技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号TP393.0学号10050072ＵＤＣ密级公开军事学硕士学位论文基于Alloy语言的指挥信息系统服务组合验证技术研究硕士生姓名沈陈平学科专业军事运筹学研究方向指挥控制系统优化指导教师黄光奇副教授国防科学技术大学研究生院二〇一二年十一月ResearchonServicesEvolutionVerificationofCommandInformationSystemBasedonAlloyCandidate：ShenChen-pingAdvisor：HuangGuang-qiSubmittedinpartialfulfillmentoftherequirementsfo

2、rthedegreeofMasterofMilitaryScienceinMilitaryOperationalResearchGraduateSchoolofNationalUniversityofDefenseTechnologyChangsha，Hunan，P.R.China（November，2012）国防科学技术大学研究生院硕士学位论文目录摘要................................................................................................................

3、.iABSTRACT..........................................................................................................ii第一章绪论......................................................................................................11.1研究背景.........................................................

4、..................................................11.1.1面向服务的体系架构............................................................................11.1.2基于服务的指挥信息系统....................................................................21.1.3Web服务.....................................................

5、............................................31.1.4服务组合及服务组合验证....................................................................41.2国内外研究现状...............................................................................................61.2.1Web服务组合方法........................................

6、.........................................61.2.2服务组合验证相关工作........................................................................71.3研究目标与主要内容.....................................................................................101.4论文的组织结构...................................................

7、..........................................11第二章服务组合验证的体系架构及描述语言..................................................122.1服务组合验证的体系架构.............................................................................122.1.1体系架构和各部分功能.....................................