收藏本站
《山东科技大学》 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程序表达式和程序之间可以相互转换,使得系统模型的反复验证成为可能。研究具有一定的理论意义和实践价值,有利于推动基于柔性的软件开发模式的进一步发展。
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 唐朝京 ,李情与;S-盒表达式的求法及最简化的研究[J];信息安全与通信保密;1987年02期
12 王国鸣;FORTRAN DO循环中某些赋值语句表达式的向量化[J];哈尔滨工业大学学报;1982年04期
13 曹文静,宫云战;基于错误的表达式测试研究[J];计算机工程与科学;2005年04期
14 张新奎;利用After Effects 6.0表达式制作“剧间休息”[J];电视字幕.特技与动画;2005年04期
15 龚永平;让Adobe After Effects表达式表达你的创意[J];电视字幕.特技与动画;2004年05期
16 张国华;图示均衡器的计算分析及改进与集成化的设想[J];电声技术;1986年05期
17 王双保,朱怀芳;一种最佳树深约化策略[J];青岛大学学报(工程技术版);1997年01期
18 Z.M.LOTFI ,王汉生 ,杨冬平;求解逻辑函数的最简积之模2和表达式组[J];计算机工程与设计;1981年03期
19 李建新;C-SURF曲面造型和雕塑曲面加工程序系统[J];机械设计与研究;1984年03期
20 周相略;;桩基础m法计算系数的统一表达式[J];公路;1993年06期
中国重要会议论文全文数据库 前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-62982499
  • 010-62783978