一种软件演化过程建模、性质验证及性能分析方法

【摘要】本文在EPMM的基础上,建立了以CCS为主要形式工具的软件演化过程的元模型CEPMM,它以任务不可分割为前提,支持软件演化过程全局层、过程层和活动层的形式建模与验证。本文致力于基于CEPMM建立的软件演化过程的建模,性质验证及性能评价,论文的主要工作如下。(1)在全局层和过程层,提出了EPMM白盒方法建模与CEPMM建模的转化准则,在活动层,本文定义一种AML(ActivityModellingLanguage)非形式化规约语言,对活动建立非形式描述,同时给出了根据AML非形式规约借助于进程二叉树为活动的建模方法。(2)本文提出对模型的进行局部范围内的性质验证,为此定义了待验证的对象和DFA子活动概念,通过模型分解来挖掘模型中性质分析验证的对象。(3)对基于CEPMM建立的软件演化过程模型的结构合理性进行验证,即对模型的安全性与可达性进行验证。本文引入正则表达式来描述验证的性质,并分别针对模型的安全性和可达性的提出了正则表达式描述的方法,最后使用标号迁移系统LTS方法结合有限自动机提出有效的安全性与可达性验证方法。在模型验证中,借鉴CRA组合可达性分析的思想,为模型挑选安全性验证对象和可达性验证对象,对该模型安全性验证对象的集合下的划分中每个划分块的哈斯图,从哈斯图的极小元开始验证,对模型中安全性验证对象逐层进行验证,该方法在大大缩减状态空间的前提下,可以及时准确得定位模型中的问题使建模者能及时对模型进行改进,对可达性验证对象的集合下的划分中每个划分块的哈斯图每个划分块的最大元进行验证。(4)资源与软件演化过程性能密切相关,为此本文对软件演化过程涉及到资源进行分析,为资源进行分类,并根据每类资源的特点对其属性进行分析。(5)本文对软件演化过程的性能分析,为了支持软件演化过程进行性能评价,将进程代数CCS扩展了时间概率成本进程代数TCPCCS,TCPCCS支持软件演化过程时间、概率以及成本的分析,分析的结果可以作为决策的参考依据。
【作者】钱晔；
【导师】李彤；
【作者基本信息】云南大学，系统分析与集成，2014，博士
【关键词】EPMM；CEPMM；CCS；安全性；可达性；正则表达式；TCPCCS；

【参考文献】
[1]刘磊.人胎盘绒毛间充质干细胞在大鼠急性心肌梗死修复中的作用的实验研究[D].苏州大学,心胸外科学,2014,硕士.
[2]李玉梅.社会转型期人际交往伦理研究[D].西北师范大学,伦理学,2013,硕士.
[3]王军.海南农业全要素生产率及区域分层标杆研究[D].海南大学,农业经济管理,2014,硕士.
[4]朱恩洁.完善上海二次供水卫生监督法律的思考[D].上海交通大学,法律,2013,硕士.
[5]木亚萨木·阿斯哈尔.聚乙二醇/月桂酸纤维素酯共聚物相变材料的制备及性能[D].新疆大学,化学工程,2013,硕士.
[6]戴晓波.胃粘膜相关淋巴组织淋巴瘤临床、内镜、病理特征分析及胃泌素与bcl-2蛋白的表达[D].苏州大学,内科学,2003,硕士.
[7]刘群.男女图形符号的视觉探究[D].南京师范大学,设计艺术学,2012,硕士.
[8]马红城.复内积平均法在多自由度非光滑振动系统中的应用[D].天津大学,一般力学与力学基础,2004,硕士.
[9]陈振宇,刘凤翘,杨自厚.第三届国际冶金自动化会议综述(上)[J].冶金自动化,1981,01:1-12.
[10]杨科.旋转式合成孔径雷达三维成像方法研究[D].西安电子科技大学,信号与信息处理,2014,博士.
[11]刘鹏.产品内分工视角下中国贸易利益获取研究[D].山东大学,国际贸易学,2013,硕士.
[12]单新然.金及金钯核壳纳米粒子的形状、结构调控及其对铃木反应的催化性能研究[D].北京化工大学,化学,2013,硕士.
[13]谢美蓉.论张洁小说的女性形象与女性意识[D].江西师范大学,中国现当代文学,2004,硕士.
[14]宋铁征.库车坳陷断裂输导效率模拟与评价[D].东北石油大学,地质工程（专业学位）,2013,硕士.
[15]韦岩实.乾嘉时期《徽州文书》量词研究[D].广西师范大学,汉语言文字学,2013,硕士.
[16]代兵,张建良,姜喆,左海滨,国宏伟.高炉铸铜冷却壁热面状况计算模型的开发与实践[J].冶金自动化,2012,05:37-41.
[17]翟永军.青年网络公共参与的基本历程与发展趋势研究[D].天津商业大学,思想政治教育,2013,硕士.
[18]乔欢,吴小芹,王早.一株嗜松青霉JP-NJ4的解磷特性[J].微生物学通报,2014,09:1741-1748.
[19]沈丹.欧洲主权债务危机对中国经济的影响及应对策略研究[D].湖南科技大学,应用经济学,2013,硕士.
[20]邓黎.团体心理辅导对老年失地农民主观幸福感的干预研究[D].苏州大学,应用心理学（专业学位）,2014,硕士.
[21]魏占国.林木联合采育机底盘设计理论研究与应用[D].北京林业大学,2011.
[22]段艳男.基于含金融加速器的DSGE模型下人民币汇率对居民消费的关系研究[D].哈尔滨工业大学,金融学,2014,硕士.
[23]周燕.网络环境下医学知识服务研究[D].黑龙江大学,2004.
[24]张颖.现代农业园景观与CIS可识别性研究[D].南京农业大学,风景园林,2013,硕士.
[25]张树春,胡广大.跟踪机动再入飞行器的交互多模型Unscented卡尔曼滤波方法[J].自动化学报,2007,11:1220-1225.
[26]刘鹤龄.论高校公寓文化与大学生思想政治教育[D].安徽大学,思想政治教育,2013,硕士.
[27]武庭瑄,牛卫芬,双少敏,董川.海藻酸钠/聚乙烯醇/氧化石墨烯磁性微球去除水中阳离子染料的研究[A].中国化学会.中国化学会第29届学术年会摘要集——第27分会：多孔功能材料[C].中国化学会:,2014:1.
[28]周煜远.基于L0优化的纹理分析技术[D].浙江工商大学,计算机软件与理论,2013,硕士.
[29]姚博.泄浊化瘀方治疗早中期慢性肾衰竭患者肾脏纤维化的临床研究[D].贵阳中医学院,中西医结合临床,2012,硕士.
[30]唐惠.论电影中价值维度视角下的中西文化交融[D].长春工业大学,外国语言学及应用语言学,2013,硕士.
[31]余凰.婚内侵权民事责任研究[D].广东财经大学,法律（专业学位）,2014,硕士.
[32]都文超.星载高速大容量存储器的设计与实现[D].西安电子科技大学,电子与通信工程,2012,硕士.
[33]刘仕瑞.对兖矿集团Y煤矿突水的安全评价研究[D].中北大学,安全技术及工程,2013,硕士.
[34]崔敏.基于PDMS的光栅制备工艺研究[D].中北大学,电路与系统,2013,硕士.
[35]方显凯.浙江物产（迁安）国际供应链物流基地盈利模式创新研究[D].燕山大学,工商管理,2012,硕士.
[36]张海强.联通在线计费系统的设计与实现[D].厦门大学,软件工程,2014,硕士.
[37]李运祝.中职英语教学中的中国文化导入现状调查研究[D].鲁东大学,学科教学（专业学位）,2013,硕士.
[38]柳展梅.成人膝部和小腿高频超声检查及临床应用[D].遵义医学院,影像医学与核医学（专业学位）,2012,硕士.
[39]马临波.我国流通业运行效率及对城乡发展的影响[D].浙江工商大学,统计学,2012,硕士.
[40]吴枫,仲妍,吴泉源.基于增量核主成分分析的数据流在线分类框架[J].自动化学报,2010,04:534-542.
[41]张辉.国内英语教师转型汉语师资培养研究[D].山东大学,汉语国际教育（专业学位）,2012,硕士.
[42]马湘宁.二进制翻译关键技术研究[D].中国科学院研究生院（计算技术研究所）,2004.
[43]文杨虹.基于价值相关性的公允价值应用研究[D].山西财经大学,会计学,2014,硕士.
[44]朱小芳.人民币兑美元升值对我国服装对美贸易的影响[D].江苏科技大学,管理科学与工程,2013,硕士.
[45]塔娜.任务型教学法在初中英语写作教学中的应用[D].内蒙古师范大学,学科教学（专业学位）,2012,硕士.
[46]李静.陕西方言栏目剧现状解读与发展研究[D].南京师范大学,广播电视艺术学,2012,硕士.
[47]孟朝晖.证据理论中证据度量函数与可加性[J].计算机工程与应用,2005,30:72-74.
[48]史玲玲.面向机器人辅助腹腔镜虚拟手术的碰撞检测算法研究[D].哈尔滨工业大学,机械电子工程,2013,硕士.
[49]王莹.我国企业反向购买合并的会计处理研究[D].吉林财经大学,会计学,2014,硕士.
[50]嘉芬芬.西北地区上市公司高管薪酬水平、薪酬差距与公司业绩相关性研究[D].西北大学,技术经济与管理,2014,硕士.