收藏本站
《山东科技大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

C_net到可编译表达式的映射方法

孙海春  
【摘要】:近几年,为了缩短软件的开发周期和提高软件的开发质量,柔性的软件开发模式被提出。柔性软件开发模式能灵活和快速地响应用户需求的变更。其主要特点有以下四点:模型是可模拟的;开发过程中建模过程自顶向下,模拟修改由底向上地进行;在验证模型正确的基础上生成代码;支持代码到模型的逆向变换,将原有的代码转化成模型,进行再次分析。Petri网具有直观、模拟能力强、具有严密的数学验证等优点,因此Petri可以较好地满足柔性软件开发的建模需求。但是,其中Petri网与程序间的转换问题仍然没有得到有效的解决。 论文主要研究Petri网模型到程序代码的自动转换过程中C_net到可编译表达式的映射方法部分。在分析关联矩阵的基础上,给出了C_net结构中变迁序列的确定算法,实现了C_net到结构表达式的具体转换。结合C_net中数据的读写关系,设计了C_net结构表达式到C_net程序表达式的转换算法。通过对ATM机中各个功能建立C_net模型为例,验证论文研究设计的映射方法的可行性。 另外,C_net是对系统局部功能的建模,为了满足增量式软件开发模式的需求,论文研究了C_net组合后的正确性判定问题,分别给出无读写冲突、考虑读写冲突和含有逻辑“或”结构时组合C_net正确性判定定理。 论文中定义的C_net程序表达式是计算机可识别编译的表达式,是连接C_net模型及其所对应的程序的桥梁。C_net表达式的可编译性,为C_net到程序的自动转换提供了一种可能的途径。C_net程序表达式与C_net和程序具有一一对应性,C_net模型、C_net程序表达式和程序之间可以相互转换,使得系统模型的反复验证成为可能。研究具有一定的理论意义和实践价值,有利于推动基于柔性的软件开发模式的进一步发展。
【学位授予单位】:山东科技大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP311.52

【参考文献】
中国期刊全文数据库 前8条
1 郭树行;兰雨晴;金茂忠;;软件构件的可信保证研究[J];计算机科学;2007年05期
2 顾莹莹,高建华;从UML类图到关系数据库表的代码生成方法[J];计算机工程;2005年10期
3 温衍博,吴泉源;MDA的代码生成技术在电子商务开发平台中的应用[J];计算机工程;2005年20期
4 林闯;杨宏坤;单志广;;Petri网在生物信息学中的应用[J];计算机学报;2007年11期
5 刘雪琴;桂盛霖;罗蕾;罗惠琼;;AADL模型代码自动生成技术研究[J];计算机应用研究;2008年12期
6 梅宏,陈锋,冯耀东,杨杰;ABC:基于体系结构、面向构件的软件开发方法[J];软件学报;2003年04期
7 杨芙清;软件工程技术发展思索[J];软件学报;2005年01期
8 夏传良;焦莉;陆维明;;Petri网共享PP-型子网合成性质分析[J];软件学报;2007年01期
中国硕士学位论文全文数据库 前2条
1 黄黎曦;代码生成过程模型及其运行平台的设计与实现[D];国防科学技术大学;2005年
2 温衍博;基于模型驱动的电子商务系统代码生成器的研究与实现[D];国防科学技术大学;2005年
【共引文献】
中国期刊全文数据库 前10条
1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
2 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
3 程淑玉;;基于元胞自动机的SA动态演化模型的构建[J];安徽科技学院学报;2008年01期
4 李龙澍;;软件体系结构风格综述[J];安庆师范学院学报(自然科学版);2006年04期
5 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
6 李德水;;软件技术的发展及未来展望[J];办公自动化;2006年13期
7 杜美萍;;基于.NET的高校教务管理系统的设计与实现[J];办公自动化;2009年12期
8 王娜;罗小明;;基于模糊Petri网的推理算法在C~4ISR系统效能评估中的应用[J];兵工自动化;2008年05期
9 宋朝河;戴羽;;基于面向对象Petri网的侦察配系评估模型[J];兵工自动化;2009年04期
10 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期
中国重要会议论文全文数据库 前10条
1 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
2 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
3 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
4 张元平;唐雁;曾一;林梅;;软件工程课程教学改革探索[A];2008年计算机应用技术交流会论文集[C];2008年
5 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
6 谭贺春;;基于Excel模板的报表导出框架的设计与实现[A];中国电子学会第十七届信息论学术年会论文集[C];2010年
7 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
8 马飞;唐文忠;;面向领域的Web应用程序自动生成器[A];2006中国控制与决策学术年会论文集[C];2006年
9 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
10 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 叶海智;面向分布式关键任务系统的自律恢复机制研究[D];哈尔滨工程大学;2010年
3 卜志国;海洋生态环境监测系统数据集成与应用研究[D];中国海洋大学;2010年
4 周萌;集成电路IP质量管理与度量:软件工程角度的研究[D];合肥工业大学;2010年
5 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
6 孟江涛;Xen虚拟机研究[D];电子科技大学;2010年
7 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
8 张晶;面向钢铁质量过程控制的分布式并行软件框架模型研究[D];昆明理工大学;2009年
9 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年
10 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
3 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
5 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
6 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
7 王钰;基于有机计算的动漫渲染集群系统管理技术的研究与应用[D];山东科技大学;2010年
8 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
9 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
10 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 田丽从,张莉,周伯生;基于UML的集成化软件开发环境的研究与实现[J];北京航空航天大学学报;2003年10期
2 刘然,陈英,赵小林;基于UML的CASE平台的代码自动生成[J];北京理工大学学报;2002年02期
3 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
4 黄罡,王千祥,曹东刚,梅宏;PKUAS:一种面向领域的构件运行支撑平台[J];电子学报;2002年S1期
5 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期
6 梅宏 ,常继传 ,杨芙清;Software component composition based on ADL and Middleware[J];Science in China(Series F:Information Sciences);2001年02期
7 王良斌,朱国进;本体论与构件复用[J];计算机工程与应用;2004年14期
8 栾静;顾君忠;;模型驱动的嵌入式系统设计与性能优化[J];计算机工程与应用;2006年14期
9 杨芙清;;软件复用及相关技术[J];计算机科学;1999年05期
10 杨芙清;梅宏;李克勤;袁望洪;吴穹;;支持构件复用的青鸟Ⅲ型系统概述[J];计算机科学;1999年05期
【相似文献】
中国期刊全文数据库 前10条
1 王学平;基于UG的表达式及其应用[J];机械制造;2003年06期
2 曾仲池,张森林;逻辑减及其应用[J];电子技术应用;1982年02期
3 何清超,管熠;After Effects 表达式的应用[J];电视字幕.特技与动画;2002年12期
4 陈莉;爱的表达式[J];青少年科学探索;2005年09期
5 李会军;;LINQ中的表达式目录树[J];程序员;2008年11期
6 邱建川;;Maya表达式(Expression)浅谈[J];电视工程;2003年01期
7 郭福顺,黄仲伟,罗昕;一类表达式及其典型形式的推广[J];软件学报;1992年03期
8 张文龙,周明润;与-或及与-异或表达式间的一种转换方法[J];上海师范大学学报(自然科学版);2004年02期
9 王尔乾;TTL中规模集成电路及其应用[J];电子技术应用;1980年03期
10 曹骏;;运用AE表达式建立震撼特效(上)[J];电视字幕(特技与动画);2006年04期
中国重要会议论文全文数据库 前10条
1 罗松涛;唐常杰;段磊;钟义啸;乔少杰;贠莹辉;;基于基因表达式编程的军事史料挖掘[A];第二十二届中国数据库学术会议论文集(研究报告篇)[C];2005年
2 段磊;唐常杰;左劼;陈宇;钟义啸;元昌安;;基于基因表达式编程的抗噪声数据的函数挖掘方法[A];第二十一届中国数据库学术会议论文集(研究报告篇)[C];2004年
3 禹诚;;基于UG的产品参数化设计方法[A];2003年11省区市机械工程学会学术会议论文集[C];2003年
4 易红亮;马鸣图;李志刚;;确定疲劳性能曲线表达式模型的方法[A];“技术创新与核心能力建设”重庆汽车工程学会2006年会论文集[C];2006年
5 陈玉玲;翁爱华;刘云鹤;;层状模型地下磁偶极子磁场响应数值分析[A];中国地球物理·2009[C];2009年
6 严辰松;;构式语法论要[A];第四届全国认知语言学研讨会论文摘要汇编[C];2006年
7 柴生秦;;论弗雷格的同一性难题[A];2000年逻辑研究专辑[C];2000年
8 黄志强;杨建梓;;归纳逻辑中的谓词表达式[A];逻辑教学·知识创新·素质教育研讨会论文集[C];2001年
9 杨跃民;沈东升;;P_r(x_1<y<x_2)的最大似然估计(ML)[A];数学·力学·物理学·高新技术研究进展——2002(9)卷——中国数学力学物理学高新技术交叉研究会第9届学术研讨会论文集[C];2002年
10 游贤伦;罗尧治;;基于表达式定义的钢结构节点三维实体建模方法[A];第六届全国现代结构工程学术研讨会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 吴秀生;寻找企业文化的中国表达式[N];人民政协报;2003年
2 记者张亚德;老教授黄建西发明“表达式制图语言”[N];保定日报;2009年
3 磁动力工作室 明浩;单片机C语言入门讲座(七)——运算符和表达式(2)[N];电子报;2005年
4 江苏 黄忠良;3DMAX中表达式动画的控制方法[N];电脑报;2001年
5 江西省抚州市教研室 陈小宁;你统计的成绩准确吗?[N];中国电脑教育报;2007年
6 曹明;NI发表视觉开发模块8.5具备新的边缘侦测表达式[N];电子资讯时报;2007年
7 张帆;五招提升你的AutoCAD计算能力[N];电脑报;2005年
8 重庆 杨清德;Word中输入数学表达式的另类方法[N];电子报;2004年
9 磁动力工作室 明浩;单片机C语言入门讲座(六)——运算符和表达式(1)[N];电子报;2005年
10 成都 立本;PIC单片机C语言程序[N];电子报;2007年
中国博士学位论文全文数据库 前10条
1 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
2 陈文;非线性电路与系统分析方法及符号仿真技术研究[D];华南理工大学;1994年
3 余厉阳;微型压电变压器的研究[D];浙江大学;2005年
4 常颖;汉、俄语言语行为动词语义对比研究[D];黑龙江大学;2008年
5 马晓东;C程序内存错误静态分析技术研究[D];国防科学技术大学;2009年
6 黄庆平;受对称与非对称载荷作用的轴对称机械结构弹塑性应力分析的边界元法[D];清华大学;1988年
7 朱俊逸;穿衣方法与离散可积系统[D];郑州大学;2006年
8 王泓;材料疲劳裂纹扩展和断裂定量规律的研究[D];西北工业大学;2002年
9 洪宇;基于语义结构和时序特征的话题检测与跟踪技术研究[D];哈尔滨工业大学;2009年
10 王欣;类型逻辑语法与现代汉语“是”和“的”[D];北京语言大学;2009年
中国硕士学位论文全文数据库 前10条
1 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
2 刘钦;基于可比较语料库双语多词表达式对抽取[D];大连理工大学;2011年
3 周丽丽;学习表达式的映射机制研究[D];苏州大学;2011年
4 邬桐;中文时间表达式识别研究[D];复旦大学;2010年
5 郭晶;基于参与者表达式的工作流动态授权模型[D];大连理工大学;2011年
6 宋艳秋;“A又非A”矛盾表达式研究[D];湖北师范学院;2012年
7 李明月;基于状态演算的并发纲要规划的研究[D];江苏大学;2010年
8 徐祎;英语听解释码过程中表达式的作用分析与应用研究[D];延边大学;2011年
9 朱红涛;XQuery查询语言研究[D];华中师范大学;2005年
10 朱海东;关于Hill应变率及其共轭应力的一般表达式[D];南昌大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026