软件过程建模及驱动技术研究

作     者：田立 

作者单位：解放军信息工程大学 

学位级别：硕士

导师姓名：曾光裕

授予年度：2010年

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：GJB5000A 软件过程 元模型 过程建模 XML 支持执行 过程驱动 

摘      要：软件质量高度依赖于软件的开发过程。军用软件研制能力成熟度模型GJB5000A为我国军用软件装备研发提供了过程实施、评价和改进的标准模型。目前，由于缺乏有效支撑的环境工具，致使GJB5000A在军用软件研发单位的应用效果和效率难以保证。建立支撑GJB5000A标准的软件过程建模及驱动环境，将有利于促进该标准的推广和应用。 本文首先针对现有过程建模技术难以有效支持GJB5000A标准的问题，采用“夏用+扩展的元建模方法，从元模型层对软件过程及GJB5000A标准体系进行抽象，建立了支持GJB5000A标准元素并兼顾过程执行的软件过程元模型***(GJB5000ASollware Process Metamodel)。 其次，使用xML Schema设计了GJB5000A-sPM元模型的xML,文本语法——XSPDL(xML Soflware Process Descriptpion Language)，细化了元模型中元素和属性的数据类型，实现了基于xML的软件过程模型定义和描述，使用户建立的软件过程模型能够被计算解释并执行。 再次，基于元模型提供的软件开发活动执行语义元素，设计了软件过程执行的驱动引擎，并对该引擎采用的过程驱动规则进行了形式化定义，以支持计算机对软件过程模型的解释执行。 最后，采用R/s架构，利用Java语言的JGaph图形化工具开发包及基于DOM的xML解析等技术，构建了图形化过程建模及过程驱动环境，通过建模实例验证了该环境能够有效支持实施GJB5000A研制单位的软件过程建模及解释执行。