面向方面可信软件过程建模方法研究

【摘要】可信软件基于软件过程在开发或演化条件下的方法论是当前可信软件及软件工程领域国内外的关注重点。不同于普通软件,可信软件的可信性由其功能需求和非功能需求共同来体现,对可信软件需求进行研究,以及在可信软件生命周期全过程中融入可信性是实现可信软件生产及演化的一个有效途径。在软件过程建模领域,软件演化过程建模方法已经有效地解决了软件开发及演化的通用流程架构,是一种提高软件开发与演化质量以及效率的重要方法。然而,当面对可信软件时,其对非功能需求的特殊依赖,致使我们对软件过程建模方法提出了新的需求。依托本人主持的国家自然科学基金项目“基于演化的可信软件过程建模研究”(61262025),基于软件演化过程建模方法,使用面向方面方法,提出面向方面的可信软件过程建模方法,解决软件生命周期全过程融入可信性的问题,为可信软件的生产及演化提供可靠的软件过程模型,为实现这一目标,本文从理论、方法以及技术方面给予了全面的支持。在理论方面,针对非功能需求对可信软件的重要性,本文首先提出了分析可信软件需求以及通过可信软件需求获取过程策略的相关理论,在此基础之上,提出了基于面向方面方法扩展软件演化过程建模方法的相关理论,在保证软件演化过程建模方法提供可重用的通用过程模型的同时,可以灵活可控地融入通过可信软件需求推导出的相关过程策略。在方法方面,本文提出了可信软件需求获取、建模与推理方法,通过可信软件需求获取满足可信需求的过程策略。在此基础之上,提出了面向方面的可信软件过程建模方法,可信软件过程建模方法以软件演化过程建模方法为基础,依赖软件演化过程建模方法实现软件有关功能需求的过程建模,然后,使用面向方面方法将过程策略定义的可信方面通过合成机制织入软件演化过程模型,实现可信性融入软件生命周期全过程的需要,其中,重点解决了可信方面织入冲突控制及检测的问题。在技术方面,本文开发了可信需求推理辅助工具和可信软件过程建模辅助工具,为可信软件过程建模提供技术支持。最后,通过在两个可信软件的案例中使用本文提出的理论、方法和技术,说明本文提出的理论和方法是可行的,开发的辅助工具是有效的,可信软件过程建模方法可以通过软件生命周期全过程的可信性保证达到可信软件生产的目标。
【作者】张璇；
【导师】李彤；
【作者基本信息】云南大学，系统分析与集成，2014，博士
【关键词】软件过程建模；可信软件；需求建模；可满足性；Petri网；面向方面建模；冲突；

【参考文献】
[1]侯丽敏.社会管理背景下的村庄权力结构研究[D].中国矿业大学,行政管理,2014,硕士.
[2]李方海.基于船体艉部变形耦合作用的推进轴系校中技术研究[D].武汉理工大学,轮机工程,2012,硕士.
[3]张首玉1,周婧琦2,李少华1,孙艳2,高愿军3.秋葵多糖与淀粉酶的相互作用及光谱学分析[J].食品工业科技.
[4]杨鸣春.辽河油田工程造价管理研究[D].大连理工大学,工商管理,2003,硕士.
[5]薛芸.路面铣刨机铣刨系统的设计分析[D].长安大学,机械设计及理论,2013,硕士.
[6]记者杨君.烯锌型防护涂料填补技术空白[N].光明日报,2014-11-18006.
[7]唐好林.新时期建设廉洁政府路径研究[D].西南大学,科学社会主义与国际共产主义运动,2014,硕士.
[8]张敬敬.成都市普通高校啦啦操开展现状调查与分析[D].西南交通大学,体育教育训练学,2012,硕士.
[9]沈朔.税制改革与税收征管中的道德风险分析[D].苏州大学,公共管理（专业学位）,2012,硕士.
[10]马菲.三元团簇CaMn_mO_n体系及其离子的理论化学研究[D].河北师范大学,物理化学,2014,硕士.
[11]马芸.内心生活与员工创造力关系研究[D].上海交通大学,应用心理学,2014,硕士.
[12]罗劲松.大型光伏电站低电压穿越技术研究[D].宁夏大学,电路与系统,2014,硕士.
[13]蒋海浪.近三届健美操世锦赛难度组合分析及创新发展对策研究[D].苏州大学,体育教育训练学,2012,硕士.
[14]于剑.专家寄语[J].计算机科学,2015,05:2.
[15]文奎.基于施工过程的边坡稳定性评价和设计研究[D].长安大学,建筑与土木工程（专业学位）,2014,硕士.
[16]穆闫琨.中印高中数学教科书比较研究[D].东北师范大学,课程与教学论,2012,硕士.
[17]米湘成,张金屯,张峰,上官铁梁,郑凤英.山西高原植被与气候的关系分析及植被数量区划的研究[J].植物生态学报,1996,06:549-560.
[18]吴笑谦.我国财产申报制度的失灵与对策研究[D].扬州大学,宪法学与行政法学,2011,硕士.
[19]李润兰.促进初中英语写作有效教学的对策研究[D].西南大学,课程与教学论,2013,硕士.
[20]张君豪.小组工作方法在提升单亲家庭子女社交能力中的实务研究[D].苏州大学,社会工作（专业学位）,2014,硕士.
[21]谢琼.国际法视野下碳排放权交易的法律制度研究[D].南京财经大学,国际法学,2012,硕士.
[22]迟延辉.民间借贷中的高利贷现象及其法律规制研究[D].浙江大学,法律（专业学位）,2012,硕士.
[23]杨培祥.国有企业经营者收入分配激励与约束机制研究[D].南京财经大学,政治经济学,2013,硕士.
[24]吕喆.可转债融资对企业绩效的影响研究[D].西北大学,企业管理,2013,硕士.
[25]陈娟.农民参与新型农民培训意愿影响因素分析[D].南京农业大学,农村与区域发展,2013,硕士.
[26]何菲.上海市嘉定区JDM项目定位研究[D].西南交通大学,工业工程,2012,硕士.
[27]王德宁,薛忠发,李伟权,谭礼同,何梁昌.测量电视与计算机自动拉制砷化镓单晶[J].冶金自动化,1980,02:1-7.
[28]赵飞.轮式路面冷铣刨机车轮滑转机理及其检测技术研究[D].长安大学,机械制造及其自动化,2014,硕士.
[29]王钢,李志铿,李海锋.±800kV特高压直流线路暂态保护[J].电力系统自动化,2007,21:40-43+48.
[30]王志强.班大院水库除险加固设计方案比选[D].吉林大学,项目管理,2013,硕士.
[31]边鑫.相变沥青混合料的制备与调温机理研究[D].哈尔滨工业大学,道路与铁道工程,2013,硕士.
[32]陈振宇.推荐智能控制学科方面的一本好书——《智能控制导论》[J].自动化学报,1998,06:136.
[33]班旭.三价铁介导下的通过芳香C-C键氧化环合构建菲啶酮及其衍生物的合成研究[D].天津大学,药物化学,2013,硕士.
[34]刘一飞.毛泽东“三大作风”思想述评[D].吉林大学,中共党史,2004,硕士.
[35]邱庆顺.视频图像运动估计和边缘检测的方法研究[D].西安电子科技大学,光学,2012,硕士.
[36]张瑞君.纳滤对聚驱采油废水的处理效能及膜污染研究[D].哈尔滨工业大学,建筑与土木工程,2014,硕士.
[37]杜亚轩,陈隽.三维地震勘探在江汉地区的应用[J].石油地球物理勘探,1983,01:5-19.
[38]吴率帅.锁定钢板和传统钢板治疗股骨骨折内固定断裂率的比较分析[D].河北医科大学,外科学（专业学位）,2013,硕士.
[39]王凤先,张岩,刘振鹏,王静红.基于系统调用的入侵检测规则的生成[J].计算机工程与应用,2005,03:75-76+136.
[40]士元.形形色色的移动卫星终端[J].世界电信.1999(06)
[41]王海明,凌亚娣.高校5S现场管理实例介绍——以浙江工业大学为例[J].现代物业(中旬刊),2012,06:48-49.
[42]段炼.包头市蒙古族流动人口调查与分析[D].内蒙古师范大学,马克思主义民族理论与政策,2012,硕士.
[43]胡耀娟,蔡称心.石墨烯及其纳米复合物在电化学领域的应用[J].南京晓庄学院学报,2012,06:43-49.
[44]熊新山.加入WTO后我国高等农业教育的发展对策研究[D].中国农业大学,种植业,2004,硕士.
[45]王森,蔡理,吴刚.量子细胞神经网络超混沌系统的追踪控制与同步[J].控制与决策,2008,02:204-207+212.
[46]佘维,叶阳东,陈倩.基于EFPN的模糊离散事件系统可诊断性分析[J].计算机科学,2014,07:62-67+101.
[47]王京池.舞台灯光控制技术与DMX512[J].广播与电视技术.2004(03)
[48]吴海珍,郑群明.Web记录挖掘及其在旅游电子商务中的应用[J].电脑学习,2005,05:41-42.
[49]张燕婷.论新历史主义视野下的托马斯·沃尔夫长篇小说[D].内蒙古大学,比较文学与世界文学,2014,硕士.
[50]丁宇.WebService高效安全数据传输技术研究及其企业级实现[D].北京工业大学,软件工程（专业学位）,2013,硕士.