收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

特征模型驱动的软件开发方法及相关技术研究

张俊  
【摘要】: 计算机软硬件技术的不断发展开拓了人类文明新的前进步伐,极大地提高了整个社会的劳动生产力和自动化水平,软件产品及其生产技术和水平在实际应用中也得到了极大的发展。然而,随着应用范围的不断扩大及应用程度的不断深入,应用领域高度的复杂性也为软件生产的进一步发展带来了极强的阻滞作用。首先,领域内产品的多样性使得软件企业因为软件具体需求的不同而重新编写整个系统;其次,新的软件理论和技术的产生一方面加快了产品开发的质量和速度,另一方面却使得企业耦合于旧技术的前期投资失去其价值;最后,领域业务逻辑的演进也会导致在线软件产品价值的流失。为了解决这些软件生产中遇到的问题,出现了一系列新的理论和方法。领域驱动技术试图通过分析领域需求的通用性和可变性为全领域相似需求产品提供一致性的需求表示和组织方式,并通过对特征模型的配置选择具体产品的特定需求解决领域产品批量化生产的问题。模型驱动技术则瞄准系统表示,通过抽象系统层次,把面向代码的系统创建过程转变为面向模型的过程,将系统描述为不同层次、不同视角的模型,使得系统构建人员以更贴近于人的思维方式描绘系统并通过定义不同转换规则自动地将人的思维模式转换为不同的机器代码。由于系统模型更自然、更直观且与具体实现技术解耦,所以模型驱动技术的提出可以从根本上解决新的编程技术和平台以及领域业务逻辑的变更对既有投资造成的损失,以更经济的方式——模型的变更实现系统的演进。 本文结合领域驱动技术和模型驱动技术,对特征模型驱动的软件方法的设计和实现作了深入的研究,包括支持方法工具集的体系结构、方法应用的过程以及方法不同里程碑产生的软件制品。同时,为了支持方法的应用,本文还设计了特征模型的元模型,特征模型冲突检测算法,特征模型向模型构件及参考体系结构模型转换方法等。具体说来,本文的主要研究工作包括以下几个方面: 1、对特征模型驱动软件开发方法(FDSDM)的研究。保护软件产品投资的最好方式是软件制品的复用。通过吸收领域驱动技术的思想,FDSDM使用特征模型描述领域产品的共性和可变性,为领域产品提供一致的需求描述方式,并通过配置过程选择具体产品需求,形成单独产品需求模型,从而实现模型在不同需求间的复用;通过采用模型驱动的思想,将相对稳定的模型看做是第一类的软件制品,开发过程从代码编写转变为模型创建,屏蔽了实现技术和平台的不断变化导致的投资贬值,从而实现了模型在实现技术上的复用。详细地说,本文从整体上介绍了FDSDM的特点,给出了FDSDM工具集及其组织结构,描述了FDSDM定义的软件过程以及各软件过程里程碑产生的软件制品。 2、特征模型元模型的建立。为了准确无歧义地描述特征模型,方便不同层次、视角的系统模型的相互转换,本文基于OMG的MOF标准扩展出特征模型元模型。元模型形式化地给出了特征模型元素的抽象语法和具体语法,半形式化地给出了这些元素的语义。同时,形式化地定义了特征模型间导入和合并机制,给出了特征模型冲突检测算法,为特征模型的自动化操作奠定了基础。 3、特征模型与模型构件转换方法的研究。为了方便特征模型向模型构件的转换,引入了角色的概念,并通过角色的中介作用将CIM特征模型转换为PIM模型构件。转换过程依次进行特征操作化、角色分析模型建立和模型转换过程。特征操作化过程是根据对特征需求规约的分析将特征分解为面向计算的角色的过程,该过程通过人的参与以特征为单位将CIM转变为计算机可以识别的模型形式;角色分析模型同样以特征为单位进行角色交互的分析,建立角色间的关联,为模型构件的创建提供基础;转换过程使用特征-角色-构件映射算法,最终生成可复用的系统构件,完成CIM到PIM的变换。 4、特征模型向参考体系结构转换方法的研究。本文通过分析特征模型可变性与参考体系结构描述语言的关系,给出了参考体系结构描述可变性的层次和影响因子。并根据这些层次和因子给出了特征模型可变性向参考体系结构可变性转换的转换规则,给出了创建产品族体系结构模型的方法,从而实现了“大同构,小异构”产品族参考体系结构半自动化生成过程。 本文的创新之处主要体现在以下几个方面: 1、结合领域驱动技术和模型驱动技术提出了一种特征模型驱动的软件开发方法。为了实现软件开发过程的可控性,本文设计了一种特征模型驱动的软件开发方法FDSDM。FDSDM方法以特征模型作为系统开发的起点和系统族需求提取和表达方式,使用模型转换作为系统开发前进的驱动力,将不同阶段和视角的系统模型作为系统开发的里程碑,最终(半)自动化地产生最终产品。FDSDM方法充分利用领域驱动技术和模型驱动技术的理论和技术优势,使系统开发更大程度的符合人的思维模式而非计算机的表示,减少因思维转换而产生的歧义和错误;最大限度地减少人在开发过程的干预程度,实现软件开发工程化,从而提高了整个行业的生产效率以及产品质量。 2、定义了一种基于MOF的形式化特征模型元模型,并实现了特征模型自动化冲突检测算法。为了准确无歧义地描述特征模型,方便不同系统模型间的相互变换,我们基于标准MOF规范形式化地定义了特征模型元模型。形式化元模型从更高的抽象层次描述了特征模型概念,保证了模型的清晰与精确,消除了模型理解中可能存在的歧义,使得相关人员可以一致性地理解系统需求。同时,基于MOF的元模型描述方便了特征模型向其它遵守MDA规范的系统模型的横向与纵向转换,也使得特征模型可以利用其它基于MOF的模型转换引擎向其它系统模型进行模型转换,大大扩展了特征模型的应用范围。另外,特征模型自动化冲突检测算法的实现及特征模型导入合并机制的定义为特征模型及FDSDM方法实际应用于大规模、高复杂度的系统提供了坚实的基础,使得企业当前在线产品(族)能够得到有效地表示和融合,因而可以平稳地过渡企业当前开发过程,最大限度地保护企业既有资产的价值。 3、提出了一种从特征模型(计算无关模型)向模型构件(平台无关模型)的转换方法。目前模型转换领域的研究方向主要集中在PIM-PSM及PSM-代码间转换理论及规则定制上,对于如何实现系统需求(CIM)向系统模型(PIM)的转换却提之甚少。本文针对这种现状,结合FDSDM软件开发方法,提出了一种从产品族特征模型向模型构件的转换方法。该方法引入角色概念,并通过角色为中介者,利用特征-角色-构件模型算法将特征模型映射为模型构件,实现转换过程。在转换过程中,方法尽可能将人的活动限制在一个简单狭小的范围,最大限度地弥补人对复杂事物无法精确把握的缺陷,保证软件过程早期软件模型的正确性。本文提出的特征模型向模型构件的转换过程为CIM模型与PIM模型转换提供了一种可能的解决思路。 4、提出了一种从特征模型向产品族参考体系结构映射的模型变换规则。传统的软件体系结构描语言主要针对单一产品,很少有支持整个产品族的参考体系结构表示方法。为了解决产品族体系结构“大同构、小异构”的描述方法,本文分析了产品族特征模型可变性的来源和种类,将不同种类的特征模型可变性映射为体系结构概念中端口可变性和构件可变性两级,通过不同可变性的组合描述体系结构可变性。同时,针对不同的特征模型可变性给出了其产品族参考体系结构描述转换的规则,从而实现了特征模型向产品族参考体系结构描述的转换。 通过对开发方法和相关技术的研究,本文期望可以从思想和实践上为领域软件的开发寻找到一条经济、快捷的道路,有效解决领域复杂性与实现技术复杂性的高度耦合,提供软件产业的生产效率,实现软件生产的自动化,有效的保持和延长软件既有投资的价值。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 孙宏伟,张树生,周竞涛,王静;基于模型驱动的XML与数据库双向映射技术[J];计算机工程与应用;2002年04期
2 高宇,冯培恩;挖掘机器人仿真模型及其驱动引擎的设计[J];计算机工程与应用;2003年12期
3 蒋凌云;王汝传;;用于网格计算的复合代码生成技术研究[J];南京邮电大学学报(自然科学版);2005年06期
4 张静;孔芳;杨季文;;一个基于组件和模型驱动的ERP软件开发框架的设计[J];微电子学与计算机;2007年07期
5 白雪;肖宝弟;王建英;;基于MDA的对象-关系数据库开发方法研究[J];铁路计算机应用;2011年02期
6 崔轶;;模型驱动开发——可能改变—切的新技术[J];程序员;2005年05期
7 李征;;“数字校园”中信息集成平台的设计[J];黑龙江科技信息;2008年10期
8 郑建华;朱蓉;;基于MDD和DSM的CNC开发(英文)[J];仲恺农业技术学院学报;2008年04期
9 姜海涛;;基于模型驱动的构件库系统的研究与设计[J];电脑知识与技术;2009年20期
10 王立福;PDSS的结构研究与设计[J];北京大学学报(自然科学版);1989年05期
11 王凌,王雄,金以慧,萧德云;流程工业CIMS体系结构的探讨[J];自动化博览;2000年S1期
12 张浩华;赵海;赵明;;大型水电仿真系统的模型驱动架构设计[J];计算机工程与应用;2009年04期
13 方勇;刘淑芬;费廷伟;;基于模型驱动的工作流MIS定制平台[J];计算机工程;2010年24期
14 王瑞奇,陈家新;电解铝厂智能计划决策支持系统[J];洛阳工学院学报;1998年03期
15 向阳;沈洪;;基于Agent的智能决策支持系统[J];计算机工程;2006年16期
16 肖明霞;;基于知识的信息系统设计[J];软件导刊;2007年05期
17 熊磊;蒋句平;;基于UML和平台的嵌入式系统设计方法研究[J];计算机工程与设计;2007年10期
18 林哲;刘建宾;;可视化面向对象程序建模系统设计[J];汕头大学学报(自然科学版);2008年01期
19 朴海光;马荣珍;;体系结构新思维——基于模型驱动的体系结构[J];科技资讯;2008年04期
20 宋晓光;万淑超;杨燕;钟华;;一种模型驱动的门户网站快速开发方法研究[J];计算机应用与软件;2009年05期
中国重要会议论文全文数据库 前10条
1 谭文安;卢忠亚;杨赟;杨付军;;基于模型驱动的企业过程协同运作技术及其环境[A];第四届中国软件工程大会论文集[C];2007年
2 何明;刘晓明;郑翔;;基于模型驱动体系结构的新一代HLA研究[A];’2004系统仿真技术及其应用学术交流会论文集[C];2004年
3 侯金奎;万建成;王帅强;;一种模型驱动的Web应用系统开发方法[A];第四届中国软件工程大会论文集[C];2007年
4 王建民;谢婷;李红梅;由芳;;模型驱动的交互式数字电视界面设计方法[A];第七届和谐人机环境联合学术会议(HHME2011)论文集【oral】[C];2011年
5 张媛媛;高琴;;模型驱动体系综述[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
6 李汉;李忠俊;;浅谈基于组件的业务建模[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
7 董淑英;王凯;;关于建模与仿真技术的应用发展的几点看法[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
8 朱汉东;刘小荷;苟晓理;;基于MDA的空军作战仿真系统开发模式研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
9 魏新;廖闻剑;;J2EE中的基于JWAY模型驱动的框架[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
10 杨长水;高文;王兆其;陈益强;;个性化虚拟人体模型驱动方法[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 何可;威胁模型驱动的软件安全评估与测试方法的研究[D];天津大学;2010年
2 陈文智;Pcanel——基于模型驱动的嵌入式系统设计平台[D];浙江大学;2005年
3 周红桥;基于模型驱动的制造企业应用集成方法研究[D];华中科技大学;2010年
4 车颖;计算无关模型驱动的ERP系统重构关键技术研究[D];哈尔滨工业大学;2011年
5 吴雷;现代服务业ERP系统的模型驱动开发与优化研究[D];合肥工业大学;2012年
6 莫同;服务模型驱动的体系结构与服务构件重用技术[D];哈尔滨工业大学;2009年
7 张俊;特征模型驱动的软件开发方法及相关技术研究[D];吉林大学;2010年
8 徐选华;网络环境下模型驱动的复杂大群体决策支持系统研究[D];中南大学;2005年
9 刘懿;松耦合模型驱动的流域水资源管理决策支持系统研究及应用[D];华中科技大学;2013年
10 曹晓夏;面向服务的软件需求建模与求精研究[D];上海大学;2009年
中国硕士学位论文全文数据库 前10条
1 王志斌;基于模型驱动的Web服务组合方法的研究[D];中国石油大学;2010年
2 陆少鹏;嵌入式基于模型驱动验证及软件生产线的研究与实现[D];西南交通大学;2010年
3 刘益畅;模型驱动的3G网管接口测试系统的设计与实现[D];北京邮电大学;2010年
4 王新光;基于模型驱动的实时交互式三维场景构建方法及其在水利上的应用研究[D];河海大学;2002年
5 郭富磊;AADL在模型驱动中的应用研究[D];西南交通大学;2010年
6 文春艳;基于SOA的模型驱动快速开发架构及应用研究[D];中南大学;2010年
7 李静燕;基于MDA的构件开发方法的研究[D];河海大学;2004年
8 卢忠亚;基于模型驱动的工作流运作环境的研究[D];浙江师范大学;2007年
9 刘奎;基于模式的PIM到PSM模型变换方法的研究[D];合肥工业大学;2005年
10 阳新;基于MDA的软件设计方法研究与应用[D];南京航空航天大学;2005年
中国重要报纸全文数据库 前10条
1 Wayne Meikle 李雪;模型驱动降低金融信息服务风险[N];中国计算机报;2008年
2 ;灵活访问模型驱动的服务[N];网络世界;2007年
3 易水;模型驱动的体系结构(2)[N];计算机世界;2006年
4 易水;模型驱动的体系结构(1)[N];计算机世界;2006年
5 于翔;Telelogic Rhapsody:嵌入式开发的“狂想曲”[N];网络世界;2007年
6 刘涛;Accenture投资4.5亿美元发展SOA[N];电脑商报;2006年
7 宋扬;东方集团CAPP部署攻略[N];计算机世界;2007年
8 于翔;Telelogic Rhapsody 7.2强化自动化能力[N];网络世界;2008年
9 黄琮;RAW 让BI更智能[N];通信产业报;2004年
10 ;英美烟草公司:逐步构建SOA[N];计算机世界;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978