本文作者：代飞；李彤；谢仲文；秦江龙；刘金卓；钱晔；成功正常投稿发表论文到《计算机工程》2014年01期,引用请注明来源400期刊网！

【摘要】：为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。
【论文正文预览】：1概述随着计算环境从以CPU为中心的单机环境,向以互联网为核心的网络环境发展,软件演化的频率和复杂性越来越高。其核心问题是软件如何随着用户需求和外部环境的不断变化而进行灵活的改变。在软件演化领域,雷曼等人在一系列研究工作的基础上,总结提出了8条著名的软件演化定律,
【文章分类号】：TP311.52
【稿件关键词】：演化过程元模型软件演化软件过程性质合理性Petri网元模型
【参考文献】:

• 谢仲文;李彤;代飞;卢萍;秦江龙;刘金卓;;基于EPMM的软件过程模型规范化研究[J];计算机工程与科学;2010年09期
• 谢仲文;李彤;秦江龙;李经磊;刘金卓;;基于EPMM的任务和活动的规范化研究[J];计算机应用与软件;2010年05期
• 代飞;李彤;谢仲文;于倩;卢萍;郁涌;赵娜;;一种软件演化过程模型的代数语义[J];软件学报;2012年04期
• 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
• 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
• 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
• 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期
• 熊杰;刘湘伟;周国辉;;基于MC的电子对抗情报系统ESCPN模型性能分析[J];兵工自动化;2010年08期
• 喻平;曹继平;宋建社;章涛;;改进的模糊Petri网算法及其在故障诊断中的应用[J];兵工自动化;2011年06期
• 王海燕;王红军;卓奕君;;基于Petri网的底盘总装线人员配置优化研究[J];北京信息科技大学学报(自然科学版);2009年04期
• 方可;马萍;杨明;;仿真可信度评估中的AHP超越权重[J];北京航空航天大学学报;2011年05期
• 左春荣;张志萍;;基于Petri网的第三方物流配送系统的建模研究[J];商业研究;2008年04期
• 谢富平;;基于Petri网的工作流系统不确定性时间信息的计算[J];江西师范大学学报(自然科学版);2012年01期
• 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
• 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
• 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量，努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集（下册）[C];2008年
• 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
• 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集（三）[C];2006年
• 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
• 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
• 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年
• 张雷;;一种计算机取证的时间Petri网推理方法[A];2008'中国信息技术与应用学术论坛论文集（二）[C];2008年
• 何晓升;余春艳;陈凤钦;;信号灯适应性控制的DSPN建模[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
• 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
• 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
• 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
• 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
• 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
• 吴镝;面向RP领域的Web服务自主组建方法研究与应用[D];上海大学;2011年
• 李宪华;服务机器人双臂协作技术研究及实现[D];上海大学;2011年
• 朱强;基于对等网络架构的新型控制系统研究与实现[D];上海大学;2011年
• 刘昌平;可信计算环境安全技术研究[D];电子科技大学;2011年
• 吴限德;快速响应小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年
• 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
• 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
• 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
• 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
• 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
• 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
• 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
• 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
• 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
• 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
• 费立蜀;顾庆;陈道蓄;;一种过程定义模型及其验证性分析[J];计算机科学;2004年01期
• 郁湧;柳青;李彤;彭斌;李虎群;;基于反馈的软件演化过程模型[J];计算机应用研究;2007年06期
• 谢仲文;李彤;秦江龙;李经磊;刘金卓;;基于EPMM的任务和活动的规范化研究[J];计算机应用与软件;2010年05期
• 杨芙清;软件工程技术发展思索[J];软件学报;2005年01期
• 李明树;杨秋松;翟健;;软件过程建模方法研究[J];软件学报;2009年03期
• 柳军飞，唐稚松;软件过程建模语言研究[J];软件学报;1996年08期
• 胡旷;董广智;田勇;柳军飞;;一种弹性的软件过程模型验证工具[J];计算机工程与设计;2007年07期
• 赵娜;赵锦新;李彤;;支持软件演化的扩展SDDM软件过程模型[J];计算机工程与应用;2007年13期
• 谢仲文;李彤;代飞;卢萍;秦江龙;刘金卓;;基于EPMM的软件过程模型规范化研究[J];计算机工程与科学;2010年09期
• 丁峰;软件过程改进的实现[J];计算机工程;2000年10期
• 唐培和;张伟刚;殷作勤;李春贵;刘连芳;;支持DBPM的数据库模型[J];计算机科学;1997年05期
• 李磊;李杰;苏建华;;在软件类毕业设计中实施软件过程[J];科技信息(学术版);2006年03期
• 周善琼,居德华,廖素萍;基于程序生成的软件过程模型[J];软件学报;1992年04期
• 梁琦;李宁;;开源开发模式与传统软件过程的关系研究[J];北京机械工业学院学报;2007年02期
• 王军;;软件过程模型分析及应用策略[J];计算机与数字工程;2008年06期
• 李明;柳军飞;;实例化过程模型的时间自动机描述方法研究[J];计算机应用与软件;2008年09期
• 刘述忠,郭立峰,邵维忠,梅宏;青鸟Ⅱ型软件开发环境中的软件过程管理系统[J];小型微型计算机系统;1997年02期
• 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年
• 徐享忠;王精业;王成;;XML在遗留仿真系统演化中的应用研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
• 李晖;张慧;赵海;蔡巍;;软件网络中的簇度相关性及演化分析[A];第八届沈阳科学学术年会论文集[C];2011年
• 周江辉;尉斌;程文倩;;基于DO-178B的软件开发过程模型的研究[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
• 张艳丽;江月松;;自主计算在数据生成中的应用[A];全国第一届信号处理学术会议暨中国高科技产业化研究会信号处理分会筹备工作委员会第三次工作会议专刊[C];2007年
• 浪潮通用软件有限公司SEPG 董乃文;软件过程模型初探[N];计算机世界;2002年
• 本报记者 谌力;AJAX催促软件演化[N];网络世界;2005年
• 本报记者 滕继濮;强晓春：科研是一种修炼[N];科技日报;2011年
• 本报记者 侯闯;中国软件在风雨中挺立[N];计算机世界;2003年
• 刘金卓;基于符号化模型检测的软件演化过程模型验证[D];云南大学;2013年
• 代飞;基于EPMM的软件演化过程模型验证[D];云南大学;2011年
• 詹剑锋;因特网环境下的软件演化与动态性研究[D];中国科学院研究生院（软件研究所）;2002年
• 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
• 黄万艮;基于消息和构件运算的软件体系结构演化研究[D];中南大学;2008年
• 段继男;基于需求驱动的企业应用程序演化方法研究[D];北京化工大学;2013年
• 刘奕明;基于体系结构、特征驱动的软件动态演化方法研究[D];复旦大学;2008年
• 袁霖;开源软件可信证据挖掘与分析[D];国防科学技术大学;2011年
• 王红春;网络化软件多粒度动态特性分析[D];武汉大学;2010年
• 冯在文;网络式软件系统需求演化建模方法及关键技术研究[D];武汉大学;2009年
• 林志欣;软件演化过程中任务功能分解工具的设计与实现[D];云南大学;2010年
• 付志涛;面向方面的软件演化过程研究[D];云南大学;2010年
• 熊必扬;软件过程模型的评估方法研究[D];湖南大学;2011年
• 王道红;面向目标的软件演化过程研究[D];云南大学;2013年
• 张昂;基于CSP的软件演化过程描述及研究[D];云南大学;2010年
• 张超;面向多层次演化的软件演化过程及实现[D];西安电子科技大学;2013年
• 吴鑫君;基于CPN的演化过程建立及规约验证研究[D];云南大学;2013年
• 高提雷;基于扩展EPMM的软件演化需求过程建模[D];云南大学;2012年
• 辛龙;基于O-SAM模型的QMS系统的设计与实现[D];南京大学;2011年
• 姜璐;一种改进的基于抽象语法树的软件演化分析技术研究[D];南京大学;2013年

【稿件标题】：水蒸气热力性质软件范文|基于EPMM的软件过程性质合理性研究
【作者单位】：云南大学软件学院;云南大学云南省软件工程重点实验室;
【发表期刊期数】：《计算机工程》2014年01期
【期刊简介】：《计算机工程》杂志是由中华人民共和国新闻出版总署、正式批准公开发行的优秀期刊，计算机工程杂志具有正规的双刊号，其中国内统一刊号：CN31-1289/TP，国际刊号：ISSN1000-3428。计算机工程杂志社由中国电子科技集团公司主管、主办，本刊为月刊。自创刊以来......更多计算机工程杂志社(http://www.400qikan.com/qk/6013/)投稿信息
【版权所有人】：代飞；李彤；谢仲文；秦江龙；刘金卓；钱晔；

更多科技类论文详细信息: 水蒸气热力性质软件范文|基于EPMM的软件过程性质合理性研究
http://www.400qikan.com/lunwen/keji/17590.html

相关专题：原子核物理评论首页 药学 《计算机工程》相关期刊

推荐期刊：

食品文摘

高端农业装备

药物与人

物理通报

班主任

教育学术月刊

陕西气象

新型建筑材料

语言与翻译

数位时尚.新视觉艺术

上一篇：【因子分析的模型范文】一种基于社会信任潜在因子模型的推荐方法
下一篇：不确定性原理范文|计及排污权交易和多种不确定性的发电投资决策